LUPS — A Language for Updating Logic Programs-Reference-Cited by-同舟云学术

LUPS — A Language for Updating Logic Programs

Published:1999 Issue: Volume: Page:162-176
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Alferes José Júlio,Pereira Luís Moniz,Przymusinska Halina,Przymusinski Teodor C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46767-X_12

Reference11 articles.

1. J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. Przymusinski. Dynamic logic programming. In A. Cohn and L. Schubert, editors, KR’98. Morgan Kaufmann, 1998.

2. J. J. Alferes and L. M. Pereira. Update-programs can update programs. In J. Dix, L. M. Pereira, and T. Przymusinski, editors, NMELP’96. Springer, 1996.

3. J. J. Alferes, L. M. Pereira, T. Przymusinski, H. Przymusinska, and P. Quaresma. Preliminary exploration on actions as updates. In Joint Conference on Declarative Programming, AGP’99, 1999. To appear.

4. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, ICLP’88. MIT Press, 1988.

5. M. Gelfond and V. Lifschitz. Answer sets in general non-monotonic reasoning (preliminary report). In B. Nebel, C. Rich, and W. Swartout, editors, KR’92. Morgan-Kaufmann, 1992.

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dynamic Reasoning Systems;ACM Transactions on Computational Logic;2015-11-19

2. Formal Specification and Validation of Security Policies;Foundations and Practice of Security;2012

3. A Preference-Based Framework for Updating Logic Programs;Logic Programming and Nonmonotonic Reasoning;2007

4. From Logic Programs Updates to Action Description Updates;Lecture Notes in Computer Science;2005

5. On properties of update sequences based on causal rejection;Theory and Practice of Logic Programming;2002-11