Generalized disjunctive well-founded semantics for logic programs.

DOI10.1007/BF01543473zbMath1034.68506WikidataQ109585672 ScholiaQ109585672MaRDI QIDQ1354026

Jorge Lobo, Jack Minker, Chitta R. Baral

Publication date: 13 May 1997

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

zbMATH Keywords

CLP languages

Mathematics Subject Classification ID

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

Related Items

A semantics for a class of non-deterministic and causal production system programs, To Vladimir Lifschitz on His 65th Birthday, An alternative approach to the semantics of disjunctive logic programs and deductive databases, Generalized disjunctive well-founded semantics for logic programs., Disjunctive logic and semantics of disjunctive logic programs, Jack Minker --- A profile, Static semantics for normal and disjunctive logic programs, On the computational cost of disjunctive logic programming: Propositional case, Abduction from logic programs: Semantics and complexity, Semantics of Horn and disjunctive logic programs, Stable and extension class theory for logic programs and default logics, Characterizing D-WFS: Confluence and iterated GCWA, Disjunctive logic programs, answer sets, and the cut rule, Well-founded semantics and stratification for ordered logic programs

Cites Work

• An extension to linear resolution with selection function
• Stable and extension class theory for logic programs and default logics
• Generalized disjunctive well-founded semantics for logic programs.
• On stratified disjunctive programs
• Deduction in non-Horn databases
• Linear resolution with selection function
• A fixpoint semantics for disjunctive logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item