Philippe Besnard Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Éric Grégoire, Sébastien Ramon: A Default Logic Patch for Default Logic. ECSQARU 2009: 578-589
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeila Amgoud, Philippe Besnard: Bridging the Gap between Abstract Argumentation Systems and Logic. SUM 2009: 12-27
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Anthony Hunter, Stefan Woltran: Encoding deductive argumentation in quantified Boolean formulae. Artif. Intell. 173(15): 1406-1423 (2009)
2008
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Sylvie Doutre, Anthony Hunter: Computational Models of Argument: Proceedings of COMMA 2008, Toulouse, France, May 28-30, 2008. IOS Press 2008
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Marie-Odile Cordier, Yves Moinard: Deriving explanations from causal information. ECAI 2008: 723-724
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSébastien Konieczny, Pierre Marquis, Philippe Besnard: Bipolarity in bilattice logics. Int. J. Intell. Syst. 23(10): 1046-1061 (2008)
2007
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Marie-Odile Cordier, Yves Moinard: Ontology-Based Inference for Causal Explanation. KSEM 2007: 153-164
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard: Remedying inconsistent sets of premises. Int. J. Approx. Reasoning 45(2): 308-320 (2007)
2006
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Jérôme Lang, Pierre Marquis: Variable Forgetting in Preference Relations over Propositional Domains. ECAI 2006: 763-764
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Anthony Hunter: Knowledgebase Compilation for Efficient Logical Argumentation. KR 2006: 123-133
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Marie-Odile Cordier, Yves Moinard: Configurations for Inference Between Causal Statements. KSEM 2006: 292-304
2005
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Anthony Hunter: Practical First-Order Argumentation. AAAI 2005: 590-595
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Marie-Odile Cordier, Yves Moinard: Configurations for Inference from Causal Statements: Preliminary Report. AI*IA 2005: 282-285
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard: Remedying Inconsistent Sets of Premises. ECSQARU 2005: 427-439
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Representing Paraconsistent Reasoning via Quantified Propositional Logic. Inconsistency Tolerance 2005: 84-118
2004
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Sylvie Doutre: Characterization of Semantics for Argument Systems. KR 2004: 183-193
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Sylvie Doutre: Checking the acceptability of a set of arguments. NMR 2004: 59-64
2003
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. ECSQARU 2003: 528-539
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Paul Wong: Modal (Logic) Paraconsistency. ECSQARU 2003: 540-551
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Robert E. Mercer, Torsten Schaub: Optimality Theory through Default Logic. KI 2003: 93-104
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Gisbert Fanselow, Torsten Schaub: Optimality Theory as a Family of Cumulative Logics. Journal of Logic, Language and Information 12(2): 153-182 (2003)
2002
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. JELIA 2002: 320-331
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Robert E. Mercer, Torsten Schaub: Optimality theory through default logic. NMR 2002: 77-83
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. Paraconsistent Computational Logic 2002: 1-15
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSalem Benferhat, Philippe Besnard: Editorial - Symbolic and quantitative approaches to reasoning wth uncertainty. Journal of Applied Non-Classical Logics 12(2): 133-134 (2002)
2001
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSalem Benferhat, Philippe Besnard: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings Springer 2001
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Anthony Hunter: A logic-based theory of deductive arguments. Artif. Intell. 128(1-2): 203-235 (2001)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIsabelle Bloch, Anthony Hunter, Alain Appriou, André Ayoun, Salem Benferhat, Philippe Besnard, Laurence Cholvy, Roger 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)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Wong, Philippe Besnard: Paraconsistent Reasoning as an Analytic Tool. Logic Journal of the IGPL 9(2): (2001)
2000
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Anthony Hunter: Towards a Logic-Based Theory of Argumentation. AAAI/IAAI 2000: 411-416
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: Significant Inferences : Preliminary Report. KR 2000: 401-410
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: What is a (non-constructive) non-monotone logical system? Theor. Comput. Sci. 238(1-2): 489-494 (2000)
1999
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Marie-Odile Cordier: Inferring Causal Explanations. ESCQARU 1999: 55-67
1998
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: Signed Systems for Paraconsistent Reasoning. J. Autom. Reasoning 20(1): 191-213 (1998)
1997
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Jean-Marc Guinnebault, Emmanuel Mayer: Propositional Quantification for Conditional Logic. ECSQARU-FAPR 1997: 183-197
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: Circumscribing Inconsistency. IJCAI (1) 1997: 150-155
1996
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Yao-Hua Tan: A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning. ECAI 1996: 55-59
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: A Simple Signed System for Paraconsistent Reasoning. JELIA 1996: 404-416
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe 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
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Steve Hanks: UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, August 18-20, 1995, Montreal, Quebec, Canada Morgan Kaufmann 1995
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Anthony Hunter: Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information. ECSQARU 1995: 44-51
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: An Approach to Context-Based Default Reasoning. Fundam. Inform. 23(2/3/4): 175-223 (1995)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Jürg Kohlas: Evidence Theory Based on General Consequence Relations. Int. J. Found. Comput. Sci. 6(2): 119-135 (1995)
1994
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Yves Moinard: Implication Connectives for Logics with Right Weakening. IPMU 1994: 360-369
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Jérôme Lang: Possibility and Necessity Functions over Non-Classical Logics. UAI 1994: 69-76
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Marie-Odile Cordier: Explanatory Diagnoses and Their Characterization by Circumscription. Ann. Math. Artif. Intell. 11(1-4): 75-96 (1994)
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: Possible Worlds Semantics for Default Logics. Fundam. Inform. 21(1/2): 39-66 (1994)
1993
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Torsten Schaub: A Context-Based Framework for Default Logics. AAAI 1993: 406-411
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe 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 Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramon López de Mántaras, Lluis 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)
1992
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Robert E. Mercer: Non-Monotonic Logics: A Valuations-Based Approach. AIMSA 1992: 77-84
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Marie-Odile Cordier: Explanatory Diagnoses and their Computation by Circumscription. ECAI 1992: 724-728
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Éric Grégoire: About Deductive Generalization. JELIA 1992: 212-231
1991
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard: Default Logics. ECSQARU 1991: 38-41
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Éric Grégoire: Deductive Generalization in a Default Logic Setting. Nonmonotonic and Inductive Logic 1991: 141-152
1990
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard: Logics for Automated Reasoning in the Presence of Contradictions. AIMSA 1990: 33-42
1989
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Yves Moinard, Robert E. Mercer: The Importance of Open and Recursive Circumscription. Artif. Intell. 39(2): 251-262 (1989)
1988
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Pierre Siegel: Supposition-Based Logic for Automated Nonmontonic Reasoning. CADE 1988: 592-601
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Jean Houdebine, Raymond Rolland: A Formula Circumscriptively both Valid and Unprovable. ECAI 1988: 516-518
1985
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard: Sur la détection des boucles infinies en programmation en logique. SPLT 1985
1983
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe Besnard, Rene Quiniou, Patrice Quinton: A Theorem-Prover for a Decidable Subset of Default Logic. AAAI 1983: 27-30

Coauthor Index

1Stéphane Amarger [12]
2Leila Amgoud [60]
3Alain Appriou [33]
4André Ayoun [33]
5Salem Benferhat [33] [35] [36]
6John Bigham [12]
7Isabelle Bloch [33]
8François Bry (François Bry-Haußer) [47]
9Juan Cano [12]
10Luis Fariñas del Cerro [12] [22]
11Laurence Cholvy [33]
12Michael Clarke [12]
13Roger Cooke [33]
14Marie-Odile Cordier [10] [15] [28] [49] [51] [55] [57]
15Frédéric Cuppens [33]
16Hendrik Decker [47]
17Stefan Decker [47]
18Miguel Delgado [12]
19Michael Dohnal [12]
20Sylvie Doutre [44] [45] [58]
21Didier Dubois [12] [33]
22Carlos F. Enguix [47]
23Gisbert Fanselow [40]
24Hélène Fargier [33]
25John Fox [12]
26Christine Froidevaux [12]
27Dov M. Gabbay [22]
28Lluis Godo [12]
29Michel Grabisch [33]
30Éric Grégoire [7] [9] [61]
31Jean-Marc Guinnebault [26]
32Steve Hanks [21]
33Andreas Herzig [47]
34Jean Houdebine [3]
35Yen-Teh Hsia [12]
36Anthony Hunter [20] [22] [31] [33] [34] [50] [52] [58] [59]
37Robert Kennes [12]
38Jürg Kohlas [18]
39Sébastien Konieczny [56]
40Paul Krause [12]
41Rudolf Kruse [12] [33]
42Jérôme Lang [12] [16] [33] [53]
43E. H. Mamdani [12]
44Ramon López de Mántaras [12]
45Pierre Marquis [53] [56]
46Emmanuel Mayer [26]
47Jérôme Mengin [12]
48Robert E. Mercer [5] [11] [38] [41]
49Yves Moinard [5] [12] [17] [49] [51] [55] [57]
50Serafín Moral [12] [33]
51Olivier Paillet [12]
52Simon Parsons [12]
53Wilmer Pereira [12]
54Henri Prade [12] [33]
55Rene Quiniou [1]
56Patrice Quinton [1]
57Sébastien Ramon [61]
58Raymond Rolland [3]
59Alessandro Saffiotti [12] [33]
60Sebastian Schaffert [47]
61Torsten Schaub [13] [14] [19] [23] [25] [27] [29] [30] [37] [38] [39] [40] [41] [43] [46]
62Pierre Siegel [4] [12]
63Philippe Smets [12] [33]
64Claudio Sossai [33]
65Kurt Sundermeyer [12]
66Yao-Hua Tan [24]
67Hans Tompits [37] [39] [43] [46]
68Elizabeth Umkehrer [12]
69Chris Whitney [12]
70Nic Wilson [12]
71Stefan Woltran [37] [39] [43] [46] [59]
72Paul Wong [32] [42]
73Hong Xu [12]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)