1. Computability and Logic;Boolos,2002
2. S. Benferhat, D. Dubois, S. Kaci, H. Prade, Encoding information fusion in possibilistic logic: A general framework for rational syntactic merging, in: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI’2000), IOS Press, 2000, pp. 3–7
3. S. Benferhat, D. Dubois, H. Prade, Argumentative inference in uncertain and inconsistent knowledge bases, in: Proceedings of Uncertainty in Artificial Intelligence (UAI’93), Morgan Kaufmann, 1993, pp. 1449–1445
4. A logic-based theory of deductive arguments;Besnard;Artificial Intelligence,2001
5. E. Byrne, A. Hunter, Event modeling for reasoning with structured news reports. Technical report, Department of Computer Science, University College London, 2002