Publications of
Philippe Besnard, Gisbert Fanselow, Torsten Schaub
Optimality Theory as a Family of Cumulative Logics
In : Journal of Logic, Language, and Information, Kluwer, Vol. 12, pp. 153-182, 2003.
Philippe Besnard, Torsten Schaub
What is a (non-constructive) non-monotone logical system?
In : Theoretical Computer Science, Vol. 238, pp. 489-494, 2000.
Philippe Besnard, Torsten Schaub
Signed systems for paraconsistent reasoning
In : Journal of Automated Reasoning, Vol. 20, pp. 191-213, 1998.
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Paraconsistent Logics for Reasoning via Quantified Booelan Formulas II: Circumscribing Inconsistent Theories
In : 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, pp. 528-539, July 2003.
Philippe Besnard, Robert Mercer, Torsten Schaub
Optimality Theory through Default Logic
In : 26th German Conference on Artificial Intelligence, Hamburg, 15/09/03-18/09/03, Andreas Gunter, Rudolf Kruse, Bernd Neumann (Eds.), Springer, pp. 93-104, September 2003.
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Paraconsistent Reasoning via Quantified Boolean Formulas I: Axiomatising Signed Systems
In : 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
In : 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
In : 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, pp. 320-331, September 2002.
Philippe Besnard, Torsten Schaub
Significant inferences: Preliminary report
In : 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-2000), Breckenridge, CO, USA, Morgan Kaufmann, pp. 401-410, April 2000.
Philippe Besnard, Torsten Schaub
Circumscribing Inconsistency
In : 15th Int. Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, Japan, Morgan Kaufmann, pp. 150-155, August 1997.
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Representing Paraconsistent Reasoning via Quantified Propositional Logic
In : Inconsistency Tolerance. Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (Eds.) , Springer, pp. 84-118, Vol. 3300, LNCS, 2005.
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Quantified Propositional Formulas for Paraconsistency
In : Inconsistency Tolerance. Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (Eds.) , Springer, pp. 20-42, 2004.