The Refined Extension Principle for Semantics of Dynamic Logic Programming-Reference-Cited by-同舟云学术

The Refined Extension Principle for Semantics of Dynamic Logic Programming

Published:2005-02 Issue:1 Volume:79 Page:7-32
ISSN:0039-3215
Container-title:Studia Logica
language:en
Short-container-title:Stud Logica

Author:

Alferes José Júlio,Banti Federico,Brogi Antonio,Leite João Alexandre

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,Logic

Link

http://link.springer.com/content/pdf/10.1007/s11225-005-0492-y.pdf

Reference21 articles.

1. ALFERES, J. J., J. A. LEITE, L. M. PEREIRA, H. PRZYMUSINSKA, and T. C. PRZYMUSINSKI, ‘Dynamic logic programming’, in A. Cohn, L. Schubert, and S. Shapiro, (eds.), Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), Morgan Kaufmann Publishers, 1998, pp. 98–111.

2. ALFERES, J. J., J. A. LEITE, L. M. PEREIRA, H. PRZYMUSINSKA, and T. C. PRZYMUSINSKI, ‘Dynamic updates of non-monotonic knowledge bases’, The Journal of Logic Programming, 45(1–3):43–70, September/October 2000.

3. APT K. R., and R. N. BOL, ‘Logic programming and negation: A survey’, The Journal of Logic Programming, 19 & 20:9–72, May 1994.

4. BUCCAFURRI, F., W. FABER, and N. LEONE, ‘Disjunctive logic programs with inheritance’, in D. De Schreye, (ed.), Proceedings of the 1999 International Conference on Logic Programming (ICLP-99), MIT Press, November 1999, pp. 79–93.

5. EITER, T., M. FINK, G. SABBATINI, and H. TOMPITS, ‘On properties of update sequences based on causal rejection’ Theory and Practice of Logic Programming, 2(6), 2002.

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

1. A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness;Artificial Intelligence;2023-11

2. A Brief History of Updates of Answer-Set Programs;Theory and Practice of Logic Programming;2022-03-22

3. moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming;Logic Programming and Nonmonotonic Reasoning;2017

4. Representing Morality in Logic Programming;Studies in Applied Philosophy, Epistemology and Rational Ethics;2016

5. On updates of hybrid knowledge bases composed of ontologies and rules;Artificial Intelligence;2015-12