Negation as failure for disjunctive logic programming

DOI10.1007/BF01530760zbMath0858.68011OpenAlexW2023070772MaRDI QIDQ1924818

Phan Minh Dung, Ngo Huu Liem

Publication date: 1994

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

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

zbMATH Keywords

disjunctive logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

An alternative approach to the semantics of disjunctive logic programs and deductive databases

Cites Work

• Near-Horn prolog and beyond
• Saturation, nonmonotonic reasoning and the closed-world assumption
• Acyclic logic programs and the completeness of SLDNF-resolution
• A fixpoint semantics for disjunctive logic programs
• Strong termination of logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Negation as failure for disjunctive logic programming