Besnard, Philippe

7 publications

AAAI 2015 On Computing Maximal Subsets of Clauses That Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez

AAAI 2005 Practical First-Order Argumentation Philippe Besnard, Anthony Hunter

AAAI 2000 Towards a Logic-Based Theory of Argumentation Philippe Besnard, Anthony Hunter

IJCAI 1997 Circumscribing Inconsistency Philippe Besnard, Torsten Schaub

UAI 1994 Possibility and Necessity Functions over Non-Classical Logics Philippe Besnard, Jérôme Lang

AAAI 1993 A Context-Based Framework for Default Logics Philippe Besnard, Torsten Schaub

AAAI 1983 A Theorem-Prover for a Decidable Subset of Default Logic Philippe Besnard, Rene Quiniou, Patrice Quinton