C. Baral. Embedding revision programs in logic programming situation calculus. Journal of Logic Programming, 30(1):83--97, 1997. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Revision Programming = Logic Programming + Integrity.. - Marek, Pivkina.. (1999) (Correct)
....of I by means of the program P . These revised databases are called P justified revisions of I. In [MT98] and in the earlier papers [MT94] and [MT95] basic properties of justified revisions were established. Subsequently, revision programming was studied in the context of situation calculus [Bar97] and reasoning about actions [McCT95,Tur97] Revision programming has also been investigated from the perspective of its close relationship with logic programming. In [MT98] it was argued that revision programming extends logic programming with stable semantics by showing that revision programs ....
C. Baral. Embedding revision programs in logic programming situation calculus. Journal of Logic Programming, 30(1):83--97, 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC