On stratified disjunctive programs

DOI10.1007/BF01531083MaRDI QIDQ1356225zbMATH OpenOpenAlexFDO

Authors Arcot Rajasekar, Jack Minker

Publication date 4 June 1997

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

Full work available at URL https://doi.org/10.1007/bf01531083

zbMATH Keywords

disjunctive programsgeneralized closed world assumption for stratified programsstratification semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 25192
• A fixpoint semantics for disjunctive logic programs
• scientific article; zbMATH DE number 1123619
• scientific article; zbMATH DE number 4199653

Cites work

• A fixpoint semantics for disjunctive logic programs
• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 3755910 (Why is no real title available?)
• The Semantics of Predicate Logic as a Programming Language
• Weak generalized closed world assumption

Cited in

(13)

• Semantics of Horn and disjunctive logic programs
• Paraconsistent disjunctive deductive databases
• Generalized disjunctive well-founded semantics for logic programs.
• A fixpoint semantics for disjunctive logic programs
• scientific article; zbMATH DE number 88998 (Why is no real title available?)
• The defining power of stratified and hierarchical logic programs
• A semantics for a class of stratified production system programs
• scientific article; zbMATH DE number 978240 (Why is no real title available?)
• Model generation and state generation for disjunctive logic programs
• scientific article; zbMATH DE number 1123619 (Why is no real title available?)
• Stable classes and operator pairs for disjunctive programs
• scientific article; zbMATH DE number 4185010 (Why is no real title available?)
• Negation by default and unstratifiable logic programs

This page was built for publication: On stratified disjunctive programs

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