Annotated revision programs

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

Volumn 1730, Issue , 1999, Pages 49-62

  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

LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE; SEMANTICS;

BELIEF SETS; FUNDAMENTAL PROPERTIES; NEW APPROACHES; REVISION PROGRAMMING; REVISION PROGRAMS; STANDARD REVISIONS;

COMPUTER CIRCUITS;

EID: 84958641822     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46767-X_4     Document Type: Conference Paper

References (11)

1. J.J. Alferes, J.A. Leite, L.M. Pereira, H. Przymusinska, and T.C. Przymu-sinski. Dynamic logic programming. In Proceedings of KR’98: Sixth International Conference on Principles of Knowledge Representation and Reasoning, Trento, Italy, pages 98-110. Morgan Kaufmann, 1998.
2. M. C. Fitting. Annotated revision specification programs. In Logic programming and nonmonotonic reasoning (Lexington, KY, 1995), volume 928 of Lecture Notes in Computer Science, pages 143-155. Springer-Verlag, 1995.
3. M. C. Fitting. Fixpoint semantics for logic programming - a survey. Theoretical Computer Science, 1999. To appear.
4. M.L. Ginsberg. Multivalued logics: a uniform approach to reasoning in artificial intelligence. Computational Intelligence, 4:265-316, 1988.
5. M. Kifer and V.S. Subrahmanian. Theory of generalized annotated logic programs and its applications. Journal of Logic Programming, 12:335-367, 1992.
6. 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.
7. W. Marek, I. Pivkina, and M. Truszczyński. Revision programming = logic programming + integrity constraints. In Computer Science Logic, 12th International Workshop, CSL’98, volume 1584 of Lecture Notes in Computer Science, pages 7389. Springer, 1999.
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, volume 893 of Lecture Notes in Computer Science, pages 368-382. Springer-Verlag, 1995.
9. W. Marek and M. Truszczyński. Revision programming. Theoretical Computer Science, 190(2):241-277, 1998.
10. T. C. Przymusinski and H. Turner. Update by means of inference rules. Journal of Logic Programming, 30(2):125-143, 1997.
11. H. Rasiowa and R. Sikorski. The Mathematics of metamathematics. PWN— Polish Scientific Publishers, Warsaw, 1970.