default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPhilippe Besnard
Person information
- affiliation: IRIT, Toulouse, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[b5]Thomas Guyet
, Philippe Besnard:
Chronicles: Formalization of a Temporal Model. Springer Briefs in Computer Science, Springer 2023, ISBN 978-3-031-33692-8, pp. 1-90- [j35]Xiaolong Liu, Philippe Besnard, Sylvie Doutre:
Paraconsistent inference relations induced from inconsistency measures. Int. J. Approx. Reason. 152: 183-197 (2023) - [j34]Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex:
Generic logical encoding for argumentation. J. Log. Comput. 33(3): 623-704 (2023) - 2022
- [j33]Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex:
Explaining Semantics and Extension Membership in Abstract Argumentation. Intell. Syst. Appl. 16: 200118 (2022) - 2021
- [c69]Xiaolong Liu, Philippe Besnard, Sylvie Doutre:
Inducing Inference Relations from Inconsistency Measures. ECSQARU 2021: 486-498 - 2020
- [j32]Philippe Besnard, John Grant:
Relative inconsistency measures. Artif. Intell. 280: 103231 (2020) - [j31]Philippe Besnard, Claudette Cayrol, Marie-Christine Lagasquie-Schiex:
Logical theories and abstract argumentation: A survey of existing works. Argument Comput. 11(1-2): 41-102 (2020) - [c68]Philippe Besnard, Thomas Guyet:
Semantics of Negative Sequential Patterns. ECAI 2020: 1009-1015 - [c67]Thomas Guyet, Philippe Besnard, Ahmed Samet, Nasreddine Ben Salha, Nicolas Lachiche:
Énumération des occurrences d'une chronique. EGC 2020: 253-260 - [p4]Andreas Herzig, Philippe Besnard:
Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 45-68 - [p3]Leila Amgoud, Philippe Besnard, Claudette Cayrol, Philippe Chatalic, Marie-Christine Lagasquie-Schiex:
Argumentation and Inconsistency-Tolerant Reasoning. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 415-440 - [i5]Thomas Guyet, Philippe Besnard:
Semantics of negative sequential patterns. CoRR abs/2002.06920 (2020)
2010 – 2019
- 2019
- [j30]Leila Amgoud, Philippe Besnard:
A formal characterization of the outcomes of rule-based argumentation systems. Knowl. Inf. Syst. 61(1): 543-588 (2019) - [c66]Philippe Besnard, Thomas Guyet, Véronique Masson:
Admissible Generalizations of Examples as Rules. ICTAI 2019: 1488-1493 - [c65]Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard:
Assessing Arguments with Schemes and Fallacies. LPNMR 2019: 61-74 - 2017
- [j29]Leila Amgoud, Philippe Besnard, Anthony Hunter:
Foundations for a logic of arguments. J. Appl. Non Class. Logics 27(3-4): 178-195 (2017) - [j28]Philippe Besnard:
Basic Postulates for Inconsistency Measures. Trans. Large Scale Data Knowl. Centered Syst. 34: 1-12 (2017) - [c64]Philippe Besnard, Sylvie Doutre, Dominique Longin:
Le système Sesame : Spécifier des sémantiques argumentatives. APIA 2017 - [c63]Philippe Besnard, Victor David, Sylvie Doutre, Dominique Longin:
Subsumption and Incompatibility between Principles in Ranking-Based Argumentation. ICTAI 2017: 853-859 - 2016
- [c62]Philippe Besnard, Sylvie Doutre, Van Hieu Ho, Dominique Longin:
SESAME - A System for Specifying Semantics in Abstract Argumentation. SAFA@COMMA 2016: 40-51 - [c61]Philippe Besnard:
Forgetting-Based Inconsistency Measure. SUM 2016: 331-337 - 2015
- [j27]Philippe Besnard, Éric Grégoire, Badran Raddaoui:
Un système argumentatif pour le raisonnement sur des ressources limitées. Rev. d'Intelligence Artif. 29(3-4): 349-368 (2015) - [c60]Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez:
On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. AAAI 2015: 3710-3716 - [c59]Leila Amgoud, Philippe Besnard, Anthony Hunter:
Representing and Reasoning About Arguments Mined from Texts and Dialogues. ECSQARU 2015: 60-71 - [c58]Leila Amgoud, Philippe Besnard, Anthony Hunter:
Logical Representation and Analysis for RC-Arguments. ICTAI 2015: 104-110 - 2014
- [j26]Philippe Besnard, Alejandro Javier García, Anthony Hunter, Sanjay Modgil, Henry Prakken, Guillermo Ricardo Simari, Francesca Toni:
Introduction to structured argumentation. Argument Comput. 5(1): 1-4 (2014) - [j25]Philippe Besnard, Anthony Hunter:
Constructing argument graphs with deductive arguments: a tutorial. Argument Comput. 5(1): 5-30 (2014) - [j24]Philippe Besnard:
A Note on Directions for Cumulativity. FLAP 1(2): 77-82 (2014) - [j23]Leila Amgoud, Philippe Besnard, Srdjan Vesic:
Equivalence in logic-based argumentation. J. Appl. Non Class. Logics 24(3): 181-208 (2014) - [c57]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Arguments Using Ontological and Causal Knowledge. FoIKS 2014: 79-96 - [c56]Philippe Besnard, Sylvie Doutre, Andreas Herzig:
Encoding Argument Graphs in Logic. IPMU (2) 2014: 345-354 - [c55]Philippe Besnard:
Revisiting Postulates for Inconsistency Measures. JELIA 2014: 383-396 - [i4]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Arguments using ontological and causal knowledge. CoRR abs/1401.4144 (2014) - 2013
- [j22]Philippe Besnard, Éric Grégoire, Sébastien Ramon:
Overriding subsuming rules. Int. J. Approx. Reason. 54(4): 452-466 (2013) - [j21]Leila Amgoud, Philippe Besnard:
Logical limits of abstract argumentation frameworks. J. Appl. Non Class. Logics 23(3): 229-267 (2013) - [c54]Philippe Besnard, Éric Grégoire:
Handling Incoming Beliefs. KSEM 2013: 206-217 - [c53]Philippe Besnard, Éric Grégoire, Badran Raddaoui:
A Conditional Logic-Based Argumentation Framework. SUM 2013: 44-56 - [c52]Leila Amgoud, Philippe Besnard:
A Formal Characterization of the Outcomes of Rule-Based Argumentation Systems. SUM 2013: 78-91 - [i3]Philippe Besnard, Jérôme Lang:
Possibility and Necessity Functions over Non-classical Logics. CoRR abs/1302.6788 (2013) - [i2]Philippe Besnard, Steve Hanks:
Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (1995). CoRR abs/1304.3848 (2013) - 2012
- [j20]Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui:
Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. Rev. d'Intelligence Artif. 26(3): 209-224 (2012) - [c51]Philippe Besnard, Éric Grégoire, Sébastien Ramon:
Preemption Operators. ECAI 2012: 893-894 - [c50]Philippe Besnard, Éric Grégoire, Sébastien Ramon:
Logic-based fusion of legal knowledge. FUSION 2012: 587-592 - [c49]Philippe Besnard, Éric Grégoire, Badran Raddaoui:
An Argumentation Framework for Reasoning about Bounded Resources. ICTAI 2012: 540-547 - 2011
- [j19]Philippe Besnard:
A Logical Analysis of Rule Inconsistency. Int. J. Semantic Comput. 5(3): 271-280 (2011) - [c48]Philippe Besnard, Éric Grégoire, Sébastien Ramon:
Overriding Subsuming Rules. ECSQARU 2011: 532-544 - [c47]Leila Amgoud, Philippe Besnard, Srdjan Vesic:
Identifying the Core of Logic-Based Argumentation Systems. ICTAI 2011: 633-636 - [c46]Philippe Besnard, Éric Grégoire, Sébastien Ramon:
Enforcing Logically Weaker Knowledge in Classical Logic. KSEM 2011: 44-55 - 2010
- [c45]Philippe Besnard:
Absurdity, Contradictions, and Logical Formalisms. ICTAI (1) 2010: 369-374 - [c44]Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui:
MUS-based generation of arguments and counter-arguments. IRI 2010: 239-244 - [c43]Leila Amgoud, Philippe Besnard:
A Formal Analysis of Logic-Based Argumentation Systems. SUM 2010: 42-55 - [i1]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Ontology-based inference for causal explanation. CoRR abs/1004.4801 (2010)
2000 – 2009
- 2009
- [j18]Philippe Besnard, Anthony Hunter, Stefan Woltran:
Encoding deductive argumentation in quantified Boolean formulae. Artif. Intell. 173(15): 1406-1423 (2009) - [c42]Philippe Besnard, Éric Grégoire, Sébastien Ramon:
A Default Logic Patch for Default Logic. ECSQARU 2009: 578-589 - [c41]Philippe Besnard, Éric Grégoire:
About Agents that Reason by Case (Preliminary Report). IRI 2009: 405-410 - [c40]Leila Amgoud, Philippe Besnard:
Bridging the Gap between Abstract Argumentation Systems and Logic. SUM 2009: 12-27 - [p2]Philippe Besnard, Anthony Hunter:
Argumentation Based on Classical Logic. Argumentation in Artificial Intelligence 2009: 133-152 - 2008
- [b4]Philippe Besnard, Anthony Hunter:
Elements of Argumentation. MIT Press 2008, ISBN 978-0-262-02643-7, pp. I-X, 1-298 - [b3]Philippe Besnard, Anthony Hunter:
Elements of Argumentation. MIT Press 2008, ISBN 9780262250986 - [j17]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Ontology-based inference for causal explanation. Integr. Comput. Aided Eng. 15(4): 351-367 (2008) - [j16]Sébastien Konieczny, Pierre Marquis, Philippe Besnard:
Bipolarity in bilattice logics. Int. J. Intell. Syst. 23(10): 1046-1061 (2008) - [c39]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Deriving explanations from causal information. ECAI 2008: 723-724 - [e3]Philippe Besnard, Sylvie Doutre, Anthony Hunter:
Computational Models of Argument: Proceedings of COMMA 2008, Toulouse, France, May 28-30, 2008. Frontiers in Artificial Intelligence and Applications 172, IOS Press 2008, ISBN 978-1-58603-859-5 [contents] - 2007
- [j15]Philippe Besnard:
Remedying inconsistent sets of premises. Int. J. Approx. Reason. 45(2): 308-320 (2007) - [c38]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Ontology-Based Inference for Causal Explanation. KSEM 2007: 153-164 - 2006
- [c37]Philippe Besnard, Jérôme Lang, Pierre Marquis:
Variable Forgetting in Preference Relations over Propositional Domains. ECAI 2006: 763-764 - [c36]Philippe Besnard, Anthony Hunter:
Knowledgebase Compilation for Efficient Logical Argumentation. KR 2006: 123-133 - [c35]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Configurations for Inference Between Causal Statements. KSEM 2006: 292-304 - 2005
- [c34]Philippe Besnard, Anthony Hunter:
Practical First-Order Argumentation. AAAI 2005: 590-595 - [c33]Philippe Besnard, Marie-Odile Cordier, Yves Moinard:
Configurations for Inference from Causal Statements: Preliminary Report. AI*IA 2005: 282-285 - [c32]Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran:
Representing Paraconsistent Reasoning via Quantified Propositional Logic. Inconsistency Tolerance 2005: 84-118 - [c31]Philippe Besnard:
Remedying Inconsistent Sets of Premises. ECSQARU 2005: 427-439 - [c30]Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, Andreas Herzig:
Paraconsistent Reasoning for the Semantic Web. ISWC-URSW 2005: 104-105 - 2004
- [c29]Philippe Besnard, Sylvie Doutre:
Characterization of Semantics for Argument Systems. KR 2004: 183-193 - [c28]Philippe Besnard, Sylvie Doutre:
Checking the acceptability of a set of arguments. NMR 2004: 59-64 - 2003
- [j14]Philippe Besnard, Gisbert Fanselow, Torsten Schaub:
Optimality Theory as a Family of Cumulative Logics. J. Log. Lang. Inf. 12(2): 153-182 (2003) - [c27]Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran:
Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. ECSQARU 2003: 528-539 - [c26]Philippe Besnard, Paul Wong:
Modal (Logic) Paraconsistency. ECSQARU 2003: 540-551 - [c25]Philippe Besnard, Robert E. Mercer, Torsten Schaub:
Optimality Theory through Default Logic. KI 2003: 93-104 - 2002
- [j13]Salem Benferhat, Philippe Besnard:
Editorial - Symbolic and quantitative approaches to reasoning wth uncertainty. J. Appl. Non Class. Logics 12(2): 133-134 (2002) - [c24]Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran:
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. JELIA 2002: 320-331 - [c23]Philippe Besnard, Robert E. Mercer, Torsten Schaub:
Optimality theory through default logic. NMR 2002: 77-83 - [c22]Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran:
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. Paraconsistent Computational Logic 2002: 1-15 - 2001
- [j12]Philippe Besnard, Anthony Hunter:
A logic-based theory of deductive arguments. Artif. Intell. 128(1-2): 203-235 (2001) - [j11]Paul Wong, Philippe Besnard:
Paraconsistent Reasoning as an Analytic Tool. Log. J. IGPL 9(2): 217-230 (2001) - [j10]Isabelle Bloch, Anthony Hunter, Alain Appriou, André Ayoun, Salem Benferhat, Philippe Besnard, Laurence Cholvy, Roger M. Cooke, Frédéric Cuppens, Didier Dubois, Hélène Fargier, Michel Grabisch, Rudolf Kruse, Jérôme Lang, Serafín Moral, Henri Prade, Alessandro Saffiotti, Philippe Smets, Claudio Sossai:
Fusion: General concepts and characteristics. Int. J. Intell. Syst. 16(10): 1107-1134 (2001) - [e2]Salem Benferhat, Philippe Besnard:
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings. Lecture Notes in Computer Science 2143, Springer 2001, ISBN 3-540-42464-4 [contents] - 2000
- [j9]Philippe Besnard, Torsten Schaub:
What is a (non-constructive) non-monotone logical system? Theor. Comput. Sci. 238(1-2): 489-494 (2000) - [c21]Philippe Besnard, Anthony Hunter:
Towards a Logic-Based Theory of Argumentation. AAAI/IAAI 2000: 411-416 - [c20]Philippe Besnard, Torsten Schaub:
Significant Inferences : Preliminary Report. KR 2000: 401-410
1990 – 1999
- 1999
- [c19]Philippe Besnard, Marie-Odile Cordier:
Inferring Causal Explanations. ESCQARU 1999: 55-67 - 1998
- [j8]Philippe Besnard, Torsten Schaub:
Signed Systems for Paraconsistent Reasoning. J. Autom. Reason. 20(1): 191-213 (1998) - 1997
- [c18]Philippe Besnard, Jean-Marc Guinnebault, Emmanuel Mayer:
Propositional Quantification for Conditional Logic. ECSQARU-FAPR 1997: 183-197 - [c17]Philippe Besnard, Torsten Schaub:
Circumscribing Inconsistency. IJCAI (1) 1997: 150-155 - 1996
- [c16]Philippe Besnard, Yao-Hua Tan:
A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning. ECAI 1996: 55-59 - [c15]Philippe Besnard, Torsten Schaub:
A Simple Signed System for Paraconsistent Reasoning. JELIA 1996: 404-416 - [p1]Philippe Besnard, Luis Fariñas del Cerro, Dov M. Gabbay, Anthony Hunter:
Logical Handling of Inconsistent and Default Information. Uncertainty Management in Information Systems 1996: 325-342 - 1995
- [j7]Philippe Besnard, Torsten Schaub:
An Approach to Context-Based Default Reasoning. Fundam. Informaticae 23(2/3/4): 175-223 (1995) - [j6]Philippe Besnard, Jürg Kohlas:
Evidence Theory Based on General Consequence Relations. Int. J. Found. Comput. Sci. 6(2): 119-135 (1995) - [c14]Philippe Besnard, Anthony Hunter:
Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information. ECSQARU 1995: 44-51 - [e1]Philippe Besnard, Steve Hanks:
UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, Montreal, Quebec, Canada, August 18-20, 1995. Morgan Kaufmann 1995, ISBN 1-55860-385-9 [contents] - 1994
- [j5]Philippe Besnard, Marie-Odile Cordier:
Explanatory Diagnoses and Their Characterization by Circumscription. Ann. Math. Artif. Intell. 11(1-4): 75-96 (1994) - [j4]Philippe Besnard, Torsten Schaub:
Possible Worlds Semantics for Default Logics. Fundam. Informaticae 21(1/2): 39-66 (1994) - [j3]Philippe Besnard, Els Laenens:
A knowledge representation perspective: Logics for paraconsistent reasoning. Int. J. Intell. Syst. 9(1): 153-168 (1994) - [c13]Philippe Besnard, Yves Moinard:
Implication Connectives for Logics with Right Weakening. IPMU 1994: 360-369 - [c12]Philippe Besnard, Jérôme Lang:
Possibility and Necessity Functions over Non-Classical Logics. UAI 1994: 69-76 - 1993
- [j2]Philippe Besnard, Yves Moinard, Wilmer Pereira, Michael Clarke, Nic Wilson, Miguel Delgado, Serafín Moral, Juan Cano, Didier Dubois, Henri Prade, Luis Fariñas del Cerro, Jérôme Lang, Stéphane Amarger, John Fox, Paul J. Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramón López de Mántaras, Lluís Godo, E. H. Mamdani, John Bigham, Simon Parsons, Rudolf Kruse, Olivier Paillet, Pierre Siegel, Philippe Smets, Yen-Teh Hsia, Alessandro Saffiotti, Robert Kennes, Hong Xu, Elizabeth Umkehrer, Kurt Sundermeyer, Chris Whitney:
DRUMS: Defeasible Reasoning and Uncertainty Management Systems. AI Commun. 6(1): 27-46 (1993) - [c11]Philippe Besnard, Torsten Schaub:
A Context-Based Framework for Default Logics. AAAI 1993: 406-411 - 1992
- [c10]Philippe Besnard, Robert E. Mercer:
Non-Monotonic Logics: A Valuations-Based Approach. AIMSA 1992: 77-84 - [c9]Philippe Besnard, Marie-Odile Cordier:
Explanatory Diagnoses and their Computation by Circumscription. ECAI 1992: 724-728 - [c8]Philippe Besnard, Éric Grégoire:
About Deductive Generalization. JELIA 1992: 212-231 - 1991
- [c7]Philippe Besnard:
Default Logics. ECSQARU 1991: 38-41 - [c6]Philippe Besnard, Éric Grégoire:
Deductive Generalization in a Default Logic Setting. Nonmonotonic and Inductive Logic 1991: 141-152 - 1990
- [c5]Philippe Besnard:
Logics for Automated Reasoning in the Presence of Contradictions. AIMSA 1990: 33-42
1980 – 1989
- 1989
- [b2]Philippe Besnard:
An introduction to default logic. Symbolic computation, Springer 1989, ISBN 978-3-540-51566-1, pp. I-XI, 1-208 - [b1]Philippe Besnard:
An introduction to default logic. Symbolic computation : artificial intelligence, Springer 1989, ISBN 0387515666, pp. I-XI, 1-208 - [j1]Philippe Besnard, Yves Moinard, Robert E. Mercer:
The Importance of Open and Recursive Circumscription. Artif. Intell. 39(2): 251-262 (1989) - 1988
- [c4]Philippe Besnard, Pierre Siegel:
Supposition-Based Logic for Automated Nonmontonic Reasoning. CADE 1988: 592-601 - [c3]Philippe Besnard, Jean Houdebine, Raymond Rolland:
A Formula Circumscriptively both Valid and Unprovable. ECAI 1988: 516-518 - 1985
- [c2]Philippe Besnard:
Sur la détection des boucles infinies en programmation en logique. SPLT 1985 - 1983
- [c1]Philippe Besnard, Rene Quiniou, Patrice Quinton:
A Theorem-Prover for a Decidable Subset of Default Logic. AAAI 1983: 27-30