A Characterization of Strong Equivalence for Logic Programs with Variables-Reference-Cited by-同舟云学术

A Characterization of Strong Equivalence for Logic Programs with Variables

Published: Issue: Volume: Page:188-200
ISSN:
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Lifschitz Vladimir,Pearce David,Valverde Agustín

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-72200-7_17.pdf

Reference14 articles.

1. van Dalen, D.: Intuitionistic logic. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, Volume III: Alternatives in Classical Logic, D. Reidel, Dordrecht (1986)

2. De Jongh, D., Hendriks, L.: Characterization of strongly equivalent logic programs in intermediate logics. Theory and Practice of Logic Programming 3, 250–270 (2003)

3. Eiter, T., et al.: Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. In: KR 2005, AAAI Press, Menlo Park (2005)

4. Ferraris, P., Lee, J., Lifschitz, V.: A new perspective on stable models. In: Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), pp. 372–379 (2007)

5. Lecture Notes in Artificial Intelligence;P. Ferraris,2005

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

1. On Heuer’s Procedure for Verifying Strong Equivalence;Logics in Artificial Intelligence;2023

2. Proceedings 38th International Conference on Logic Programming;Electronic Proceedings in Theoretical Computer Science;2022-08-04

3. Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs;Algorithms;2022-06-08

4. Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs;Theory and Practice of Logic Programming;2022-03-18

5. Here and There with Arithmetic;Theory and Practice of Logic Programming;2021-09-23