The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Philippe Besnard: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Philippe Besnard, Anthony Hunter
    Towards a Logic-Based Theory of Argumentation. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:411-416 [Conf]
  2. Philippe Besnard, Anthony Hunter
    Practical First-Order Argumentation. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:590-595 [Conf]
  3. Philippe Besnard, Rene Quiniou, Patrice Quinton
    A Theorem-Prover for a Decidable Subset of Default Logic. [Citation Graph (0, 0)][DBLP]
    AAAI, 1983, pp:27-30 [Conf]
  4. Philippe Besnard, Torsten Schaub
    A Context-Based Framework for Default Logics. [Citation Graph (0, 0)][DBLP]
    AAAI, 1993, pp:406-411 [Conf]
  5. Philippe Besnard, Marie-Odile Cordier, Yves Moinard
    Configurations for Inference from Causal Statements: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2005, pp:282-285 [Conf]
  6. Philippe Besnard
    Logics for Automated Reasoning in the Presence of Contradictions. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1990, pp:33-42 [Conf]
  7. Philippe Besnard, Robert E. Mercer
    Non-Monotonic Logics: A Valuations-Based Approach. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1992, pp:77-84 [Conf]
  8. Philippe Besnard, Pierre Siegel
    Supposition-Based Logic for Automated Nonmontonic Reasoning. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:592-601 [Conf]
  9. Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
    Representing Paraconsistent Reasoning via Quantified Propositional Logic. [Citation Graph (0, 0)][DBLP]
    Inconsistency Tolerance, 2005, pp:84-118 [Conf]
  10. Philippe Besnard, Marie-Odile Cordier
    Explanatory Diagnoses and their Computation by Circumscription. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:724-728 [Conf]
  11. Philippe Besnard, Jean Houdebine, Raymond Rolland
    A Formula Circumscriptively both Valid and Unprovable. [Citation Graph (0, 0)][DBLP]
    ECAI, 1988, pp:516-518 [Conf]
  12. Philippe Besnard, Jérôme Lang, Pierre Marquis
    Variable Forgetting in Preference Relations over Propositional Domains. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:763-764 [Conf]
  13. Philippe Besnard, Yao-Hua Tan
    A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:55-59 [Conf]
  14. Philippe Besnard
    Remedying Inconsistent Sets of Premises. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2005, pp:427-439 [Conf]
  15. Philippe Besnard
    Default Logics. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1991, pp:38-41 [Conf]
  16. Philippe Besnard, Marie-Odile Cordier
    Inferring Causal Explanations. [Citation Graph (0, 0)][DBLP]
    ESCQARU, 1999, pp:55-67 [Conf]
  17. Philippe Besnard, Jean-Marc Guinnebault, Emmanuel Mayer
    Propositional Quantification for Conditional Logic. [Citation Graph (0, 0)][DBLP]
    ECSQARU-FAPR, 1997, pp:183-197 [Conf]
  18. Philippe Besnard, Anthony Hunter
    Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1995, pp:44-51 [Conf]
  19. Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
    Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2003, pp:528-539 [Conf]
  20. Philippe Besnard, Paul Wong
    Modal (Logic) Paraconsistency. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 2003, pp:540-551 [Conf]
  21. Philippe Besnard, Torsten Schaub
    Circumscribing Inconsistency. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:150-155 [Conf]
  22. Philippe Besnard, Yves Moinard
    Implication Connectives for Logics with Right Weakening. [Citation Graph (0, 0)][DBLP]
    IPMU, 1994, pp:360-369 [Conf]
  23. Philippe Besnard, Éric Grégoire
    About Deductive Generalization. [Citation Graph (0, 0)][DBLP]
    JELIA, 1992, pp:212-231 [Conf]
  24. Philippe Besnard, Torsten Schaub
    A Simple Signed System for Paraconsistent Reasoning. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:404-416 [Conf]
  25. Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
    Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:320-331 [Conf]
  26. Philippe Besnard
    Sur la détection des boucles infinies en programmation en logique. [Citation Graph (0, 0)][DBLP]
    SPLT, 1985, pp:- [Conf]
  27. Philippe Besnard, Robert E. Mercer, Torsten Schaub
    Optimality Theory through Default Logic. [Citation Graph (0, 0)][DBLP]
    KI, 2003, pp:93-104 [Conf]
  28. Philippe Besnard, Torsten Schaub
    Significant Inferences : Preliminary Report. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:401-410 [Conf]
  29. Philippe Besnard, Sylvie Doutre
    Characterization of Semantics for Argument Systems. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:183-193 [Conf]
  30. Philippe Besnard, Anthony Hunter
    Knowledgebase Compilation for Efficient Logical Argumentation. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:123-133 [Conf]
  31. Philippe Besnard, Marie-Odile Cordier, Yves Moinard
    Configurations for Inference Between Causal Statements. [Citation Graph (0, 0)][DBLP]
    KSEM, 2006, pp:292-304 [Conf]
  32. Philippe Besnard, Éric Grégoire
    Deductive Generalization in a Default Logic Setting. [Citation Graph (0, 0)][DBLP]
    Nonmonotonic and Inductive Logic, 1991, pp:141-152 [Conf]
  33. Philippe Besnard, Sylvie Doutre
    Checking the acceptability of a set of arguments. [Citation Graph (0, 0)][DBLP]
    NMR, 2004, pp:59-64 [Conf]
  34. Philippe Besnard, Robert E. Mercer, Torsten Schaub
    Optimality theory through default logic. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:77-83 [Conf]
  35. Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
    Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. [Citation Graph (0, 0)][DBLP]
    Paraconsistent Computational Logic, 2002, pp:1-15 [Conf]
  36. Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, Andreas Herzig
    Paraconsistent Reasoning for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    ISWC-URSW, 2005, pp:104-105 [Conf]
  37. Philippe Besnard, Jérôme Lang
    Possibility and Necessity Functions over Non-Classical Logics. [Citation Graph (0, 0)][DBLP]
    UAI, 1994, pp:69-76 [Conf]
  38. Philippe Besnard, Anthony Hunter
    A logic-based theory of deductive arguments. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2001, v:128, n:1-2, pp:203-235 [Journal]
  39. Philippe Besnard, Yves Moinard, Robert E. Mercer
    The Importance of Open and Recursive Circumscription. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1989, v:39, n:2, pp:251-262 [Journal]
  40. 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. [Citation Graph (0, 0)][DBLP]
    AI Commun., 1993, v:6, n:1, pp:27-46 [Journal]
  41. Philippe Besnard, Marie-Odile Cordier
    Explanatory Diagnoses and Their Characterization by Circumscription. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1994, v:11, n:1-4, pp:75-96 [Journal]
  42. Philippe Besnard, Torsten Schaub
    Possible Worlds Semantics for Default Logics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:21, n:1/2, pp:39-66 [Journal]
  43. Philippe Besnard, Torsten Schaub
    An Approach to Context-Based Default Reasoning. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:23, n:2/3/4, pp:175-223 [Journal]
  44. Paul Wong, Philippe Besnard
    Paraconsistent Reasoning as an Analytic Tool. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  45. Philippe Besnard, Jürg Kohlas
    Evidence Theory Based on General Consequence Relations. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1995, v:6, n:2, pp:119-135 [Journal]
  46. 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. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2001, v:16, n:10, pp:1107-1134 [Journal]
  47. Salem Benferhat, Philippe Besnard
    Editorial - Symbolic and quantitative approaches to reasoning wth uncertainty. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2002, v:12, n:2, pp:133-134 [Journal]
  48. Philippe Besnard, Torsten Schaub
    Signed Systems for Paraconsistent Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:20, n:1, pp:191-213 [Journal]
  49. Philippe Besnard, Gisbert Fanselow, Torsten Schaub
    Optimality Theory as a Family of Cumulative Logics. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2003, v:12, n:2, pp:153-182 [Journal]
  50. Philippe Besnard, Torsten Schaub
    What is a (non-constructive) non-monotone logical system? [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:238, n:1-2, pp:489-494 [Journal]
  51. Philippe Besnard
    Remedying inconsistent sets of premises. [Citation Graph (0, 0)][DBLP]
    Int. J. Approx. Reasoning, 2007, v:45, n:2, pp:308-320 [Journal]

  52. Deriving explanations from causal information. [Citation Graph (, )][DBLP]


  53. A Default Logic Patch for Default Logic. [Citation Graph (, )][DBLP]


  54. About Agents that Reason by Case (Preliminary Report). [Citation Graph (, )][DBLP]


  55. Ontology-Based Inference for Causal Explanation. [Citation Graph (, )][DBLP]


  56. A Formal Analysis of Logic-Based Argumentation Systems. [Citation Graph (, )][DBLP]


  57. Bridging the Gap between Abstract Argumentation Systems and Logic. [Citation Graph (, )][DBLP]


  58. Encoding deductive argumentation in quantified Boolean formulae. [Citation Graph (, )][DBLP]


  59. Ontology-based inference for causal explanation [Citation Graph (, )][DBLP]


Search in 0.121secs, Finished in 0.126secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002