Besnard, Philippe

8 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 1995 UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, Montreal, Quebec, Canada, August 18-20, 1995 Philippe Besnard, Steve Hanks

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