Equivalences of logic programs

The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)

A procedural semantics for well founded negation in logic programs

PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Fully abstract compositional semantics for logic programs

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

The well-founded semantics for general logic programs

Journal of the ACM (JACM)

A general framework for semantics-based bottom-up abstract interpretation of logic programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation

Journal of Symbolic Computation - Special issue on automatic programming

Modular logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)

The replacement operation for CLP modules

PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Complexity and expressive power of logic programming

ACM Computing Surveys (CSUR)

A Decompositional Approach for Computing Least Fixed-Pointsof Datalog Programs with Z-Counters

Constraints

First-Order Logic Characterization of Program Properties

IEEE Transactions on Knowledge and Data Engineering

A Knowledge Model For Unifying Deductive and Non-Deductive Heterogeneous Databases

IEEE Transactions on Knowledge and Data Engineering

A Denotational Semantics of Defeasible Logic

CL '00 Proceedings of the First International Conference on Computational Logic

A framework for program development based on schematic proof

IWSSD '93 Proceedings of the 7th international workshop on Software specification and design

Compositional semantics for linguistic formalisms

ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics

Semantical characterizations and complexity of equivalences in answer set programming

ACM Transactions on Computational Logic (TOCL)

A New Proposal Of Quasi-Solved Form For Equality Constraint Solving

Electronic Notes in Theoretical Computer Science (ENTCS)

Program Correspondence under the Answer-Set Semantics: The Non-ground Case

ICLP '08 Proceedings of the 24th International Conference on Logic Programming

Hyperequivalence of logic programs with respect to supported models

Annals of Mathematics and Artificial Intelligence

Strong and uniform equivalence in answer-set programming: characterizations and complexity results for the non-ground case

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2

Abstract interpretation of resolution-based semantics

Theoretical Computer Science

Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2

Theory and Practice of Logic Programming

Elimination of Local Variables from Definite Logic Programs

Electronic Notes in Theoretical Computer Science (ENTCS)

Abstract diagnosis of functional programs

LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation

Correction of functional logic programs

ESOP'03 Proceedings of the 12th European conference on Programming

An integrated framework for the diagnosis and correction of rule-based programs

Theoretical Computer Science

Theoretical foundations and semantics of logic programming

A 25-year perspective on logic programming

Exploring relations between answer set programs

Logic programming, knowledge representation, and nonmonotonic reasoning

Generality relations in answer set programming

ICLP'06 Proceedings of the 22nd international conference on Logic Programming

Inductive equivalence of logic programs

ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming

Equivalence between extended datalog programs -- a brief survey

Datalog'10 Proceedings of the First international conference on Datalog Reloaded

Interpolable formulas in equilibrium logic and answer set programming

Journal of Artificial Intelligence Research

A note on the relationships between logic programs and neural networks

IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods

On continuous models of computation: towards computing the distance between (logic) programs

IWFM'03 Proceedings of the 6th international conference on Formal Methods

Topology And The Semantics Of Logic Programs

Fundamenta Informaticae