A Study of Provability in Defeasible Logic

Michael J. Maher, Grigoris Antoniou, David Billington. A Study of Provability in Defeasible Logic. In Grigoris Antoniou, John K. Slaney, editors, Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI 98, Brisbane, Australia, July 13-17, 1998, Selected Papers. Volume 1502 of Lecture Notes in Computer Science, pages 215-226, Springer, 1998.

Abstract

Abstract is missing.