Publications de
Philippe Besnard, Gisbert Fanselow, Torsten Schaub
Optimality Theory as a Family of Cumulative Logics
Dans : Journal of Logic, Language, and Information, Kluwer, Vol. 12, p. 153-182, 2003.
Philippe Besnard, Torsten Schaub
What is a (non-constructive) non-monotone logical system?
Dans : Theoretical Computer Science, Vol. 238, p. 489-494, 2000.
Philippe Besnard, Torsten Schaub
Signed systems for paraconsistent reasoning
Dans : Journal of Automated Reasoning, Vol. 20, p. 191-213, 1998.
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Paraconsistent Logics for Reasoning via Quantified Booelan Formulas II: Circumscribing Inconsistent Theories
Dans : 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2003), Aalborg, Denmark, 02/07/03-05/07/03, Thomas Nielsen, Nevin Zhang (Eds.), Springer, p. 528-539, juillet 2003.
Philippe Besnard, Robert Mercer, Torsten Schaub
Optimality Theory through Default Logic
Dans : 26th German Conference on Artificial Intelligence, Hamburg, 15/09/03-18/09/03, Andreas Gunter, Rudolf Kruse, Bernd Neumann (Eds.), Springer, p. 93-104, septembre 2003.
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Paraconsistent Reasoning via Quantified Boolean Formulas I: Axiomatising Signed Systems
Dans : Paraconsistent Computational Logic Workshop – part of Federated Logic Conference (FLoC-2002), Roskilde, Denmark, 27/07/02-28/07/02, Hendrik Decker, Jorgen Villadsen, Toshiharu Waragai (Eds.).
Philippe Besnard, Robert Mercer, Torsten Schaub
Optimality Theory through Default Logic
Dans : 9th Workshop on Non-Monotonic Reasoning (NMR-2002), Toulouse, France, 19/04/02-21/04/02, Salem Benferhat, Enrico Giunchiglia (Eds.).
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Paraconsistent Reasoning via Quantified Boolean Formulas I: Axiomatising Signed Systems
Dans : 8th European Conference on Logics in Artificial Intelligence (JELIA-2002), Cosenza, Italy, 23/09/02-26/09/02, Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni (Eds.), Springer, p. 320-331, septembre 2002.
Philippe Besnard, Torsten Schaub
Significant inferences: Preliminary report
Dans : 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-2000), Breckenridge, CO, USA, Morgan Kaufmann, p. 401-410, avril 2000.
Philippe Besnard, Torsten Schaub
Circumscribing Inconsistency
Dans : 15th Int. Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, Japan, Morgan Kaufmann, p. 150-155, août 1997.
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Representing Paraconsistent Reasoning via Quantified Propositional Logic
Dans : Inconsistency Tolerance. Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (Eds.) , Springer, p. 84-118, Vol. 3300, LNCS, 2005.
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Quantified Propositional Formulas for Paraconsistency
Dans : Inconsistency Tolerance. Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (Eds.) , Springer, p. 20-42, 2004.