Default reasoning and belief revision in the CIN Project

  • G. Antoniou
  • M. A. Williams
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1085)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    G. Antoniou. Nonmonotonic Reasoning. MIT Press 1996 (in press).Google Scholar
  2. 2.
    A. Courtney. Towards a Default Logic Workbench: Computation of Extensions. Honours Thesis. Department of Computer Science, University of Sydney.Google Scholar
  3. 3.
    K. Wallace (1994). Proof Truncation Techniques in Model Elimination Tableau-Based Theorem Provers. PhD Dissertation, University of Newcastle.Google Scholar
  4. 4.
    M.A. Williams, Transmutations of Knowledge Systems, in J. Doyle, E. Sandewall, and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference, Morgan Kaufmann, San Mateo, CA, 619–629, 1994.Google Scholar
  5. 5.
    M.A. Williams, Iterated Theory Base Change: A Computational Model, in the Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, Montréal, 1541–1550, 1995.Google Scholar
  6. 6.
    M.A. Williams, K. Wallace, G. Antoniou, An Object-Oriented Implementation of Belief Revision, in the Proceedings of the 8th Australian Joint Conference on Artificial Intelligence, World Scientific 1995, 259–266.Google Scholar

Copyright information

© Springer-Verlag 1996

Authors and Affiliations

  • G. Antoniou
    • 1
  • M. A. Williams
    • 2
  1. 1.CITGriffith UniversityNathanAustralia
  2. 2.Dept. of ManagementThe University of NewcastleCallaghanAustralia

Personalised recommendations