Philippe Besnard

RESEARCH INTERESTS:

My main research interests are about knowledge representation through logic. Apart from some work on uncertain reasoning, I mainly focus on non-classical logics to formalize non-monotonic reasoning and paraconsistent reasoning. In the first case, classical logic must be altered so that tentative conclusions can be withdrawn in the face of evidence to the contrary. In the second case, classical logic must be altered so that contradictory information do not entail everything.


Publications on non-monotonic reasoning
Besnard Ph., Fanselow G. and Schaub T.

Optimality Theory as a Family of Cumulative Logics.
Journal of Logic, Language and Information, 12(2):153-182, 2003.
Besnard Ph. and Schaub T.

What is a (non-constructive) non-monotone logical system?
Theoretical Computer Science, 238:489-494, 2000.

Publications on paraconsistent reasoning
Besnard Ph.

Remedying inconsistent sets of premises.
In Proc. of the 8th Eur. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2005), pp. 427-439, Barcelona, Spain, 2005. LNCS 3571. Springer, Berlin.
Besnard Ph., Schaub T., Tompits H. and Woltran S.

Representing paraconsistent reasoning via quantified propositional logic.
In Inconsistency Tolerance, pp. 84-118, LNAI 3300, 2005. Springer, Berlin.
Besnard Ph. and Wong P.
Modal (logic) paraconsistency.
In Proc. of the 7th Eur. Conf. on Reasoning with Uncertainty (ECSQARU-2003), pp. 540-551, Aalborg, Denmark, 2003. LNAI 2711. Springer, Berlin.
Besnard Ph., Schaub T., Tompits H. and Woltran S.

Paraconsistent reasoning via quantified Boolean formulas, I: Axiomatising signed systems.
In Proc. of the 8th Eur. Conf. on Logics in Artificial Intelligence (JELIA-2002), pp. 320-331, Roskilde, Denmark, 2002.
Besnard Ph. and Schaub T.

Significant inferences: Preliminary report.
In Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-2000), pp. 401-410, Breckenridge, CO, 2000. Morgan Kaufmann, San Francisco.

Publications on uncertain reasoning
Benferhat S. and Besnard Ph., editors.

Proc. of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2001), Toulouse, France, 2001. LNAI 2143. Springer, Berlin.
Besnard Ph. and Lang J.

Graded paraconsistency.
In Frontiers in Paraconsistent Logic (Batens D., Mortensen C., Priest G., and Van Bendegem J.-P., editors), pp. 75-94, 2000. Research Studies Press, Baldock, Hertfordshire, England.

Publications on various kinds of reasoning
Besnard Ph. and Hunter A.

Compilation for efficient logical argumentation.
In Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-2006), pp. 123-133, Lake District, United Kingdom, 2006. AAAI Press.
Besnard Ph., Cordier M.-O. and Moinard Y.

Configurations for inference between causal statements.
In Proc. of the 1st Int. Conf. on Knowledge Science, Engineering and Management (KSEM-2006), pp. 292-304, Guilin, China, 2006. LNCS 4092. Springer, Berlin.
Besnard Ph., Lang J. and Marquis P.

Variable forgetting in preference relations over propositional domains.
In Proc. of the 17th Eur. Conf. on Artificial Intelligence (ECAI-2006), pp. 763-764, Riva del Garda, Italy, 2006. IOS Press.
Besnard Ph. and Hunter A.

Practical first-order argumentation.
In Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI-2005), pp. 590-595, Pittsburgh (PA), USA, 2005. AAAI Press.
Besnard Ph. and Doutre S.

Characterization of semantics for argument systems.
In Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-2004), pp. 183-193, Whistler (BC), Canada, 2004. Morgan Kaufmann, San Francisco.
Besnard Ph. and Hunter A.

A logic-based theory of deductive arguments.
Artificial Intelligence, 128:203-235, 2001.

Other publications

voice:  +33 56155-7713                  IRIT - Université Paul Sabatier
secr.:           -6340                  118 route de Narbonne
Fax:             -6258                  F-31062 Toulouse Cedex 4 (France)

Email:  besnard@irit.fr   
WWW:    http://www.irit.fr/recherches/LILaC/Pers/Besnard/home.html