Partially supported by National Science Foundation grant #IRI-9313061.
Partially supported by an IBM Graduate Fellowship and NSF grant #IRI-9306751.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Chitta Baral. Rule-based updates on simple knowledge bases. In Proc. AAAI-94, pages 136–141, 1994.
M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. Bowen, editors, Proceedings of the Fifth Logic Programming Symposium, pages 1070–1080, Cambridge, Mass., 1988. Association for Logic Programming, MIT Press.
M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Proceedings of the Seventh International Logic Programming Conference, Jerusalem, Israel, pages 579–597, Cambridge, Mass., 1990. Association for Logic Programming, MIT Press.
Michael Gelfond, Vladimir Lifschitz, Halina Przymusińska, and Mirosław Truszczyński. Disjunctive defaults. In James Allen, Richard Fikes, and Erik Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proc. of the Second Int'l Conf., pages 230–237, 1991.
Hirofumi Katsuno and Alberto O. Mendelzon. On the difference between updating a knowledge base and revising it. In James Allen, Richard Fikes, and Erik Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proc. of the Second Int'l Conf., pages 387–394, 1991.
W. Marek and M. Truszczyński. Revision programming. Research report, University of Kentucky, 1993.
W. Marek and M. Truszczyński. Revision specifications by means of revision programs. In Logics in AI. Proceedings of JELIA '94-Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.
W. Marek and M. Truszczyński. Revision programming, database updates and integrity constraints. In Proceedings of the 5th International Conference on Database Theory — ICDT 95, pages 368–382. Springer-Verlag, 1995.
Norman McCain and Hudson Turner. A causal theory of ramifications and qualifications (extended abstract). In Working Notes: AAAI Spring Symposium on Extending Theories of Action, 1995. To appear.
T. C. Przymusinski. Stable semantics for disjunctive programs. New Generation Computing Journal, 9:401–424, 1991. (Extended abstract appeared in: Extended stable semantics for normal and disjunctive logic programs. Proceedings of the 7-th International Logic Programming Conference, Jerusalem, pages 459–477, 1990. MIT Press.).
T. C. Przymusinski. Static semantics for normal and disjunctive logic programs. Annals of Mathematics and Artificial Intelligence, 1994. (in print).
Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13(1,2):81–132, 1980.
Marianne Winslett. Reasoning about action using a possible models approach. In Proc. AAAI-88, pages 89–93, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Przymusinski, T.C., Turner, H. (1995). Update by means of inference rules. In: Marek, V.W., Nerode, A., Truszczyński, M. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 1995. Lecture Notes in Computer Science, vol 928. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59487-6_12
Download citation
DOI: https://doi.org/10.1007/3-540-59487-6_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59487-1
Online ISBN: 978-3-540-49282-5
eBook Packages: Springer Book Archive