The expressiveness of locally stratified programs

DOI10.1007/BF01534455zbMATH Open0855.68016MaRDI QIDQ1924734FDOQ1924734

Howard A. Blair, Wiktor Marek, John S. Schlipf

Publication date: 3 February 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

Horn logicKleene's hyperarithmetical hierarchylocally stratified logic program

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• The well-founded semantics for general logic programs
• The Semantics of Predicate Logic as a Programming Language
• Theory of Formal Systems. (AM-47)
• Computability of Recursive Functions
• How complicated is the set of stable models of a recursive logic program?
• A theory of nonmonotonic rule systems I
• The expressive power of stratified logic programs
• The recursion-theoretic complexity of the semantics of predicate logic as a programming language
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• Logic programming with infinite sets
• Arranging program statements for locality on the basis of neighbourhood preferences
• Automata and Answer Set Programming
• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• Reasoning with infinite stable models
• On the computational cost of disjunctive logic programming: Propositional case
• Complexity and undecidability results for logic programming
• Game characterizations of logic program properties
• Testing logic programs for local stratification
• Title not available (Why is that?)

This page was built for publication: The expressiveness of locally stratified programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1924734)