Revision programming = Logic programming + integrity constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1584, Issue , 1999, Pages 73-89

  Marek, Victor ^a   Pivkina, Inna ^a   Truszczyński, Mirosław ^a  

^a UNIVERSITY OF KENTUCKY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; SEMANTICS;

INTEGRITY CONSTRAINTS; REVISION PROGRAMMING; REVISION PROGRAMS; STABLE MODEL SEMANTICS;

COMPUTER CIRCUITS;

EID: 22644450876     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10703163_6     Document Type: Conference Paper

References (19)

1. ADN97. C. Aravindan, J. Dix, and I. Niemela. DisLoP: Towards a disjunctive logic programming system. In Logic 'programming and nonmonotonic reasoning (Dagstuhl, Germany, 1997), volume 1265 of Lecture Notes in Computer Science, pages 342-353. Springer, 1997. 88
2. ALP+98. J.J. Alferes, J.A. Leite, L.M. Pereira, H. Przymusinska, and T.C. Przymusinski. Dynamic logic programming. Accepted at KR'98: Sixth International Conference on Principles of Knowledge Representation and Reasoning, Trento, Italy, June 1998. 74
3. AP97. J.J. Alferes and L.M. Pereira. Update-programs can update programs. In Non-Monotonic Extensions of Logic Programming (Bad Honnef, 1996), volume 1216 of Lecture Notes in Computer Science, pages 110-131, Berlin, 1997. Springer. 74
4. Bar97. C. Baral. Embedding revision programs in logic programming situation calculus. Journal of Logic Programming, 30(1):83-97, 1997. 74
5. BM97. N. Bidoit and S. Maabout. Update programs versus revision programs. In Non-monotonic extensions of logic programming (Bad Honnef, 1996), volume 1216 of Lecture Notes in Computer Science, pages 151-170, Berlin, 1997. Springer. 74
6. CMMT95. P. Cholewinski, W. Marek, A. Mikitiuk, and M. Truszczynski. Experimenting with nonmonotonic reasoning. In Logic programming (Kanagawa, 1995), MIT Press Series in Logic Programming, pages 267-281, Cambridge, MA, 1995. MIT Press. 88
7. EG95. T. Eiter and G. Gottlob. On the computational cost of disjunctive logic programming: propositional case. Annals of Mathematics and Artificial Intelligence, 15(3-4):289-323, 1995. 87
8. ELM+97. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. A deductive system for non-monotonic reasoning. In Logic programming and nonmonotonic reasoning (Dagstuhl, Germany, 1997), volume 1265 of Lecture Notes in Computer Science, pages 364-375. Springer, 1997. 88
9. Lif96. V. Lifschitz. Foundations of logic programming. In Principles of Knowledge Representation, pages 69-127. CSLI Publications, 1996. 80, 84
10. LTT97. V. Lifschitz, L. R. Tang, and H. Turner. Nested expressions in logic programs. unpublished draft, 1997. 87
11. LW92. V. Lifschitz and T.Y.C. Woo. Answer sets in general nonmonotonic reasoning. In Proceedings of the 3rd international conference on principles of knowledge representation and reasoning, KR '92, pages 603-614, San Mateo, CA, 1992. Morgan Kaufmann. 74, 77, 80, 80
12. MT94. W. Marek and M. Truszczynski. Revision specifications by means of programs. In Logics in artificial intelligence (York, 1994), volume 838 of Lecture Notes in Computer Science, pages 122-136, Berlin, 1994. Springer. 74
13. MT95. W. Marek and M. Truszczynski. Revision programming, database updates and integrity constraints. In Proceedings of the 5th International Conference on Database Theory - ICDT 95, pages 368-382. Berlin: Springer- Verlag, 1995. Lecture Notes in Computer Science 893. 74
14. McCT95. N. McCain and H. Turner. A causal theory of ramifications and qualifications. In IJCAI-95, Vol. 1, 2 (Montreal, PQ, 1995), pages 1978-1984, San Francisco, CA, 1995. Morgan Kaufmann. 74
15. MT98. W. Marek and M. Truszczynski. Revision programming. Theoretical Computer Science, 190(2):241-277, 1998. 73, 74, 74, 74, 74, 74, 75, 77, 77, 77, 77, 77, 78, 87
16. NS96. I. Niemela and P. Simons. Efficient implementation of the well-founded and stable model semantics. In Proceedings of JICSLP-96. MIT Press, 1996. 88
17. PT97. T. C. Przymusinski and H. Turner. Update by means of inference rules. Journal of Logic Programming, 30(2):125-143, 1997. 74, 77
18. SI95. C. Sakama and K. Inoue. Embedding circumscriptive theories in general disjunctive programs. In Logic programming and nonmonotonic reasoning (Lexington, KY, 1995), volume 928 of Lecture Notes in Computer Science, pages 344-357, Berlin, 1995. Springer. 80
19. Tur97. H. Turner. Representing actions in logic programs and default theories: a situation calculus approach. Journal of Logic Programming, 31(1-3):245- 298, 1997. 74