On stratified disjunctive programs

DOI10.1007/BF01531083zbMath0878.68083OpenAlexW2020890531MaRDI QIDQ1356225

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

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

Related Items (3)

Generalized disjunctive well-founded semantics for logic programs. ⋮ Semantics of Horn and disjunctive logic programs ⋮ Paraconsistent disjunctive deductive databases

Cites Work

• Unnamed Item
• Unnamed Item
• Weak generalized closed world assumption
• A fixpoint semantics for disjunctive logic programs
• The Semantics of Predicate Logic as a Programming Language

This page was built for publication: On stratified disjunctive programs