Laura Giordano, Alberto Martelli, Maria Luisa Sapino. An Abductive Proof Procedure for Conditional Logic Programming. In Dov M. Gabbay, Hans Jürgen Ohlbach, editors, Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996, Proceedings. Volume 1085 of Lecture Notes in Computer Science, pages 231-245, Springer, 1996.
No references recorded for this publication.
No citations of this publication recorded.