Embedding revision programs in logic programming situation calculus

Research output: Contribution to journalArticlepeer-review

10 Scopus citations


Revision programs were introduced by Marek and Truszczynski to specify a change in knowledge bases. In this paper, we show how to embed revision programs in logic programs with situation calculus notation. We extend Marek and Truszczynski's approach to allow an incomplete initial knowledge base, and extend the rules of revision programs to depend both on the initial and the final knowledge base. We show how revision programs and its proposed extension can be incorporated in theories of actions, and how our usage of situation calculus notation makes this easier and elegant.

Original languageEnglish (US)
Pages (from-to)83-97
Number of pages15
JournalJournal of Logic Programming
Issue number1
StatePublished - Jan 1997
Externally publishedYes

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Embedding revision programs in logic programming situation calculus'. Together they form a unique fingerprint.

Cite this