Completed logic programs and their consistency

DOI10.1016/0743-1066(90)90032-ZzbMATH Open0715.68011WikidataQ126849108 ScholiaQ126849108MaRDI QIDQ3201745FDOQ3201745

Authors Taisuke Sato

Publication date 1990

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

zbMATH Keywords

consistencyCompletionnegative-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)

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

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)