dblp.uni-trier.dewww.uni-trier.de

Philippe Besnard

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
58 Philippe Besnard, Sylvie Doutre, Anthony Hunter: Computational Models of Argument: Proceedings of COMMA 2008, Toulouse, France, May 28-30, 2008. IOS Press 2008
57EEPhilippe Besnard, Marie-Odile Cordier, Yves Moinard: Deriving explanations from causal information. ECAI 2008: 723-724
56EESébastien Konieczny, Pierre Marquis, Philippe Besnard: Bipolarity in bilattice logics. Int. J. Intell. Syst. 23(10): 1046-1061 (2008)
2007
55EEPhilippe Besnard, Marie-Odile Cordier, Yves Moinard: Ontology-Based Inference for Causal Explanation. KSEM 2007: 153-164
54EEPhilippe Besnard: Remedying inconsistent sets of premises. Int. J. Approx. Reasoning 45(2): 308-320 (2007)
2006
53 Philippe Besnard, Jérôme Lang, Pierre Marquis: Variable Forgetting in Preference Relations over Propositional Domains. ECAI 2006: 763-764
52 Philippe Besnard, Anthony Hunter: Knowledgebase Compilation for Efficient Logical Argumentation. KR 2006: 123-133
51EEPhilippe Besnard, Marie-Odile Cordier, Yves Moinard: Configurations for Inference Between Causal Statements. KSEM 2006: 292-304
2005
50 Philippe Besnard, Anthony Hunter: Practical First-Order Argumentation. AAAI 2005: 590-595
49EEPhilippe Besnard, Marie-Odile Cordier, Yves Moinard: Configurations for Inference from Causal Statements: Preliminary Report. AI*IA 2005: 282-285
48EEPhilippe Besnard: Remedying Inconsistent Sets of Premises. ECSQARU 2005: 427-439
47 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
46EEPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Representing Paraconsistent Reasoning via Quantified Propositional Logic. Inconsistency Tolerance 2005: 84-118
2004
45 Philippe Besnard, Sylvie Doutre: Characterization of Semantics for Argument Systems. KR 2004: 183-193
44EEPhilippe Besnard, Sylvie Doutre: Checking the acceptability of a set of arguments. NMR 2004: 59-64
2003
43EEPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. ECSQARU 2003: 528-539
42EEPhilippe Besnard, Paul Wong: Modal (Logic) Paraconsistency. ECSQARU 2003: 540-551
41EEPhilippe Besnard, Robert E. Mercer, Torsten Schaub: Optimality Theory through Default Logic. KI 2003: 93-104
40 Philippe 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
39EEPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. JELIA 2002: 320-331
38 Philippe Besnard, Robert E. Mercer, Torsten Schaub: Optimality theory through default logic. NMR 2002: 77-83
37EEPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran: Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. Paraconsistent Computational Logic 2002: 1-15
36 Salem Benferhat, Philippe Besnard: Editorial - Symbolic and quantitative approaches to reasoning wth uncertainty. Journal of Applied Non-Classical Logics 12(2): 133-134 (2002)
2001
35 Salem 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
34EEPhilippe Besnard, Anthony Hunter: A logic-based theory of deductive arguments. Artif. Intell. 128(1-2): 203-235 (2001)
33 Isabelle 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)
32EEPaul Wong, Philippe Besnard: Paraconsistent Reasoning as an Analytic Tool. Logic Journal of the IGPL 9(2): (2001)
2000
31 Philippe Besnard, Anthony Hunter: Towards a Logic-Based Theory of Argumentation. AAAI/IAAI 2000: 411-416
30 Philippe Besnard, Torsten Schaub: Significant Inferences : Preliminary Report. KR 2000: 401-410
29EEPhilippe Besnard, Torsten Schaub: What is a (non-constructive) non-monotone logical system? Theor. Comput. Sci. 238(1-2): 489-494 (2000)
1999
28EEPhilippe Besnard, Marie-Odile Cordier: Inferring Causal Explanations. ESCQARU 1999: 55-67
1998
27 Philippe Besnard, Torsten Schaub: Signed Systems for Paraconsistent Reasoning. J. Autom. Reasoning 20(1): 191-213 (1998)
1997
26 Philippe Besnard, Jean-Marc Guinnebault, Emmanuel Mayer: Propositional Quantification for Conditional Logic. ECSQARU-FAPR 1997: 183-197
25 Philippe Besnard, Torsten Schaub: Circumscribing Inconsistency. IJCAI (1) 1997: 150-155
1996
24 Philippe Besnard, Yao-Hua Tan: A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning. ECAI 1996: 55-59
23 Philippe Besnard, Torsten Schaub: A Simple Signed System for Paraconsistent Reasoning. JELIA 1996: 404-416
22 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
21 Philippe 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
20 Philippe Besnard, Anthony Hunter: Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information. ECSQARU 1995: 44-51
19 Philippe Besnard, Torsten Schaub: An Approach to Context-Based Default Reasoning. Fundam. Inform. 23(2/3/4): 175-223 (1995)
18 Philippe Besnard, Jürg Kohlas: Evidence Theory Based on General Consequence Relations. Int. J. Found. Comput. Sci. 6(2): 119-135 (1995)
1994
17 Philippe Besnard, Yves Moinard: Implication Connectives for Logics with Right Weakening. IPMU 1994: 360-369
16EEPhilippe Besnard, Jérôme Lang: Possibility and Necessity Functions over Non-Classical Logics. UAI 1994: 69-76
15 Philippe Besnard, Marie-Odile Cordier: Explanatory Diagnoses and Their Characterization by Circumscription. Ann. Math. Artif. Intell. 11(1-4): 75-96 (1994)
14 Philippe Besnard, Torsten Schaub: Possible Worlds Semantics for Default Logics. Fundam. Inform. 21(1/2): 39-66 (1994)
1993
13 Philippe Besnard, Torsten Schaub: A Context-Based Framework for Default Logics. AAAI 1993: 406-411
12 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 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
11 Philippe Besnard, Robert E. Mercer: Non-Monotonic Logics: A Valuations-Based Approach. AIMSA 1992: 77-84
10 Philippe Besnard, Marie-Odile Cordier: Explanatory Diagnoses and their Computation by Circumscription. ECAI 1992: 724-728
9 Philippe Besnard, Éric Grégoire: About Deductive Generalization. JELIA 1992: 212-231
1991
8 Philippe Besnard: Default Logics. ECSQARU 1991: 38-41
7 Philippe Besnard, Éric Grégoire: Deductive Generalization in a Default Logic Setting. Nonmonotonic and Inductive Logic 1991: 141-152
1990
6 Philippe Besnard: Logics for Automated Reasoning in the Presence of Contradictions. AIMSA 1990: 33-42
1989
5 Philippe Besnard, Yves Moinard, Robert E. Mercer: The Importance of Open and Recursive Circumscription. Artif. Intell. 39(2): 251-262 (1989)
1988
4 Philippe Besnard, Pierre Siegel: Supposition-Based Logic for Automated Nonmontonic Reasoning. CADE 1988: 592-601
3 Philippe Besnard, Jean Houdebine, Raymond Rolland: A Formula Circumscriptively both Valid and Unprovable. ECAI 1988: 516-518
1985
2 Philippe Besnard: Sur la détection des boucles infinies en programmation en logique. SPLT 1985
1983
1 Philippe 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]
2Alain Appriou [33]
3André Ayoun [33]
4Salem Benferhat [33] [35] [36]
5John Bigham [12]
6Isabelle Bloch [33]
7François Bry (François Bry-Haußer) [47]
8Juan Cano [12]
9Luis Fariñas del Cerro [12] [22]
10Laurence Cholvy [33]
11Michael Clarke [12]
12Roger Cooke [33]
13Marie-Odile Cordier [10] [15] [28] [49] [51] [55] [57]
14Frédéric Cuppens [33]
15Hendrik Decker [47]
16Stefan Decker [47]
17Miguel Delgado [12]
18Michael Dohnal [12]
19Sylvie Doutre [44] [45] [58]
20Didier Dubois [12] [33]
21Carlos F. Enguix [47]
22Gisbert Fanselow [40]
23Hélène Fargier [33]
24John Fox [12]
25Christine Froidevaux [12]
26Dov M. Gabbay [22]
27Lluis Godo [12]
28Michel Grabisch [33]
29Éric Grégoire [7] [9]
30Jean-Marc Guinnebault [26]
31Steve Hanks [21]
32Andreas Herzig [47]
33Jean Houdebine [3]
34Yen-Teh Hsia [12]
35Anthony Hunter [20] [22] [31] [33] [34] [50] [52] [58]
36Robert Kennes [12]
37Jürg Kohlas [18]
38Sébastien Konieczny [56]
39Paul Krause [12]
40Rudolf Kruse [12] [33]
41Jérôme Lang [12] [16] [33] [53]
42E. H. Mamdani [12]
43Ramon López de Mántaras [12]
44Pierre Marquis [53] [56]
45Emmanuel Mayer [26]
46Jérôme Mengin [12]
47Robert E. Mercer [5] [11] [38] [41]
48Yves Moinard [5] [12] [17] [49] [51] [55] [57]
49Serafín Moral [12] [33]
50Olivier Paillet [12]
51Simon Parsons [12]
52Wilmer Pereira [12]
53Henri Prade [12] [33]
54Rene Quiniou [1]
55Patrice Quinton [1]
56Raymond Rolland [3]
57Alessandro Saffiotti [12] [33]
58Sebastian Schaffert [47]
59Torsten Schaub [13] [14] [19] [23] [25] [27] [29] [30] [37] [38] [39] [40] [41] [43] [46]
60Pierre Siegel [4] [12]
61Philippe Smets [12] [33]
62Claudio Sossai [33]
63Kurt Sundermeyer [12]
64Yao-Hua Tan [24]
65Hans Tompits [37] [39] [43] [46]
66Elizabeth Umkehrer [12]
67Chris Whitney [12]
68Nic Wilson [12]
69Stefan Woltran [37] [39] [43] [46]
70Paul Wong [32] [42]
71Hong Xu [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)