Skip to main content
Springer Nature Link
Log in

Update by means of inference rules

  • Conference paper
  • First Online:
Logic Programming and Nonmonotonic Reasoning (LPNMR 1995)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 928))

  • 156 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Chitta Baral. Rule-based updates on simple knowledge bases. In Proc. AAAI-94, pages 136–141, 1994.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. W. Marek and M. Truszczyński. Revision programming. Research report, University of Kentucky, 1993.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. 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.).

    Google Scholar 

  11. T. C. Przymusinski. Static semantics for normal and disjunctive logic programs. Annals of Mathematics and Artificial Intelligence, 1994. (in print).

    Google Scholar 

  12. Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13(1,2):81–132, 1980.

    Google Scholar 

  13. Marianne Winslett. Reasoning about action using a possible models approach. In Proc. AAAI-88, pages 89–93, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of California, 92521, Riverside, CA, USA

    Teodor C. Przymusinski

  2. Department of Computer Sciences, University of Texas at Austin, 78712, Austin, TX, USA

    Hudson Turner

Authors
  1. Teodor C. Przymusinski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hudson Turner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

V. Wiktor Marek Anil Nerode M. Truszczyński

Rights and permissions

Reprints 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

Publish with us

Policies and ethics