scientific article; zbMATH DE number 978240

zbMath0863.68088MaRDI QIDQ4332416

Victor W. Marek, Georg Gottlob, Jürgen Dix

Publication date: 3 June 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

GCWAMinker's semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

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