scientific article; zbMATH DE number 978240

MaRDI QIDQ4332416zbMATH OpenFDO

Authors J. Dix, Georg Gottlob, Wiktor Marek

Publication date 3 June 1997

zbMATH Keywords

GCWAMinker's semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• On stratified disjunctive programs
• Logic Programming
• scientific article; zbMATH DE number 25192
• scientific article; zbMATH DE number 741348

Cited in

(7)

• Reasoning with minimal models: efficient algorithms and applications
• Disjunctive logic programs, answer sets, and the cut rule
• P-log: refinement and a new coherency condition
• Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
• Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies
• Solving disjunctive fuzzy answer set programs
• A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments

This page was built for publication:

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