Relativised equivalence in equilibrium logic and its applications to prediction and explanation: Preliminary report

CEUR Workshop Proceedings

Volumn 265, Issue , 2007, Pages 37-48

  Pearce, David ^a   Tompits, Hans ^b   Woltran, Stefan ^b  

^a UNIVERSIDAD REY JUAN CARLOS   (Spain)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

DISJUNCTIVE LOGIC PROGRAMS; EQUILIBRIUM LOGIC; ITS APPLICATIONS; LITERALS; NONMONOTONIC;

LOGIC PROGRAMMING;

SEMANTICS;

EID: 84886612705     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. T. Eiter and M. Fink. Uniform equivalence of logic programs under the stable model semantics. In Proc. ICLP 2003, Vol. 2916 in LNCS, pg. 224-238. Springer, 2003.
2. T. Eiter, M. Fink, and S. Woltran. Semantical characterizations and complexity of equivalences in stable logic programming. ACM Transactions on Computational Logic, 2007. To appear.
3. T. Eiter, H. Tompits, and S. Woltran: On solution correspondences in answer-set programming. In Proc. IJCAI 2005, pg. 97-102, 2005.
4. P. Ferraris and V. Lifschitz. Weight constraints as nested expressions. Theory and Practice of Logic Programming 5: 45-74, 2005.
5. P. Ferraris. Answer sets for propositional theories. In Proc. LPNMR 2005, Vol. 3662 in LNCS, pg. 119-131. Springer, 2005.
6. Y. Gurevich. Intuitionistic logic with strong negation. Studia Logica, 36(1-2): 49-59, 1977.
7. K. Inoue and C. Sakama. Equivalence of logic programs under updates. In Proc. JELIA 2004, Vol. 3229 of LNCS, pg. 174-186. Springer, 2004.
8. K. Inoue and C. Sakama. Equivalence in abductive logic. In Proc. IJCAI 2005, pg. 472-477, 2005.
9. K. Inoue and C. Sakama. On abductive equivalence. In L. Magnani (ed), Model-Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic, Studies in Logic, pg. 333-352, College Publications, London, 2006.
10. M. Kracht. On extensions of intermediate logics by strong negation. Journal of Philosophical Logic, 27(1): 49-73, 1998.
11. V. Lifschitz, D. Pearce, and A. Valverde. Strongly equivalent logic programs. ACM Transactions on Computational Logic, 2(4): 526-541, 2001.
12. D. Pearce. A new logical characterisation of stable models and answer sets. In NonMonotonic Extensions of Logic Programming (NMELP'96), Vol. 1216 of LNCS, pg. 57-70. Springer, 1997.
13. D. Pearce. Equilibrium logic. Annals of Mathematics and Artificial Intelligence, 47(1-2): 3-41, 2006.
14. D. Pearce and A. Valverde. Uniform equivalence for equilibrium logic and logic programs. In Proc. LPNMR 2004, Vol. 2923 of LNCS, pg. 194-206. Springer, 2004.
15. H. Turner. Strong equivalence for logic programs and default theories (made easy). In Proc. LPNMR 2001, Vol. 2173 of LNCS, pg. 81-92. Springer, 2001.
16. D. van Dalen. Intuitionistic logic. In Handbook of Philosophical Logic, Volume III: Alternatives in Classical Logic. D. Reidel Publishing, 1986.
17. N. N. Vorob'ev. A constructive propositional calculus with strong negation (in Russian). Doklady Akademii Nauk SSR, 85: 465-468, 1952.
18. N. N. Vorob'ev. The problem of deducibility in constructive propositional calculus with strong negation (in Russian). Doklady Akademii Nauk SSR, 85: 689-692, 1952.
19. S. Woltran. Characterizations for relativized notions of equivalence in answer set programming. In Proc. JELIA 2004, Vol. 3229 of LNCS, pg. 161-173. Springer, 2004.