Strong equivalence of logic programs with abstract constraint atoms

6Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Logic programs with abstract constraint atoms provide a unifying framework for studying logic programs with various kinds of constraints. Establishing strong equivalence between logic programs is a key property for program maintenance and optimization, and for guaranteeing the same behavior for a revised original program in any context. In this paper, we study strong equivalence of logic programs with abstract constraint atoms. We first give a general characterization of strong equivalence based on a new definition of program reduct for logic programs with abstract constraints. Then we consider a particular kind of program revision-constraint replacements addressing the question: under what conditions can a constraint in a program be replaced by other constraints, so that the resulting program is strongly equivalent to the original one. © 2011 Springer-Verlag Berlin Heidelberg.

References Powered by Scopus

This article is free to access.

687Citations
65Readers
Get full text
471Citations
22Readers
Get full text

Cited by Powered by Scopus

This article is free to access.

Vicious circle principle and formation of sets in ASP based languages

4Citations
2Readers
Get full text

Beyond Uniform Equivalence between Answer-set Programs

1Citations
5Readers
Get full text

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Liu, G., Goebel, R., Janhunen, T., Niemelä, I., & You, J. H. (2011). Strong equivalence of logic programs with abstract constraint atoms. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6645 LNAI, pp. 161–173). https://doi.org/10.1007/978-3-642-20895-9_15

Readers over time

‘13‘15‘16‘17‘18‘2000.250.50.751

Readers' Seniority

Tooltip

PhD / Post grad / Masters / Doc 3

60%

Professor / Associate Prof. 1

20%

Researcher 1

20%

Readers' Discipline

Tooltip

Computer Science 4

80%

Engineering 1

20%

Save time finding and organizing research with Mendeley

Sign up for free
0