Completed logic programs and their consistency

DOI10.1016/0743-1066(90)90032-ZMaRDI QIDQ3201745zbMATH OpenWikidataFDO

Authors Taisuke Sato

Publication date 1990

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(90)90032-Z

zbMATH Keywords

Completionconsistencynegative-cycle-freeorder-consistent

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Logic programming (68N17)

Recommendations

• Graph properties for normal logic programs
• scientific article; zbMATH DE number 4176422
• On the existence of stable models of non-stratified logic programs
• On the strong completion of logic programs
• Tight, consistent, and computable completions for unrestricted logic programs

Cited in

(26)

• Acyclic logic programs and the completeness of SLDNF-resolution
• Equivalence-preserving first-order unfold/fold transformation systems
• Graph properties for normal logic programs
• A transformation system for deductive database modules with perfect model semantics
• Credolous argumentation with the disjunctive stable semantics
• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• Polynomial-time computable stable models
• An abstract, argumentation-theoretic approach to default reasoning
• Logic programming and knowledge representation---The A-Prolog perspective
• Abduction in logic programming: A new definition and an abductive procedure based on rewriting
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• Synthesis of positive logic programs for checking a class of definitions with infinite quantification
• Completeness and counter-example generations of a basic protocol logic (extended abstract)
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
• scientific article; zbMATH DE number 4176422 (Why is no real title available?)
• scientific article; zbMATH DE number 4160109 (Why is no real title available?)
• Completeness and Decidability in Sequence Logic
• Tight, consistent, and computable completions for unrestricted logic programs
• Order-consistent programs are cautiously monotonic
• Steadfast logic programs
• An equivalence preserving first order unfold/fold transformation system
• Graph theoretical structures in logic programs and default theories
• A class of programs for which SLDNF resolution and NAF rule are complete
• Strict completion of logic programs
• FC-normal and extended stratified logic program
• Updating knowledge bases

This page was built for publication: Completed logic programs and their consistency

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