References
G. Antoniou. Nonmonotonic Reasoning. MIT Press 1996 (in press).
A. Courtney. Towards a Default Logic Workbench: Computation of Extensions. Honours Thesis. Department of Computer Science, University of Sydney.
K. Wallace (1994). Proof Truncation Techniques in Model Elimination Tableau-Based Theorem Provers. PhD Dissertation, University of Newcastle.
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.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Antoniou, G., Williams, M.A. (1996). Default reasoning and belief revision in the CIN Project. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_110
Download citation
DOI: https://doi.org/10.1007/3-540-61313-7_110
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61313-8
Online ISBN: 978-3-540-68454-1
eBook Packages: Springer Book Archive