The expressive powers of the logic programming semantics

DOI10.1006/jcss.1995.1053zbMath0831.68012OpenAlexW2043182143MaRDI QIDQ1900917

John S. Schlipf

Publication date: 25 October 1995

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jcss.1995.1053

zbMATH Keywords

semanticsinfinite Herbrand universes

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (19)

Expressiveness of Logic Programs under the General Stable Model Semantics ⋮ Recursive rules with aggregation: a simple unified semantics ⋮ The expressive powers of stable models for bound and unbound DATALOG queries ⋮ Circumscribing DATALOG: expressive power and complexity ⋮ Magic Sets and their application to data integration ⋮ A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs ⋮ Revision programming ⋮ Abduction from logic programs: Semantics and complexity ⋮ On the complexity of single-rule datalog queries. ⋮ Complexity results for answer set programming with bounded predicate arities and implications ⋮ What is answer set programming to propositional satisfiability ⋮ atalog: A logic language for expressing search and optimization problems ⋮ Tie-breaking semantics and structural totality ⋮ Conflict-driven answer set solving: from theory to practice ⋮ FO(FD): Extending classical logic with rule-based fixpoint definitions ⋮ Expressive power and complexity of partial models for disjunctive deductive databases ⋮ Some (in)translatability results for normal logic programs and propositional theories ⋮ Writing Declarative Specifications for Clauses ⋮ On the equivalence and range of applicability of graph-based representations of logic programs.

This page was built for publication: The expressive powers of the logic programming semantics