scientific article; zbMATH DE number 5043340

MaRDI QIDQ5480653zbMATH OpenFDO

Authors Francesco Calimeri, Wolfgang Faber, Gerald Pfeifer, N. Leone

Publication date 3 August 2006

zbMATH Keywords

artificial intelligencedisjunctive logic programmingDLP computationnonmonotonic reasoning

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1956546
• Disjunctive logic programs, answer sets, and the cut rule
• scientific article; zbMATH DE number 1926616
• Publication:4940934
• Disjunctive logic and semantics of disjunctive logic programs
• Partial deduction in disjunctive logic programming
• scientific article; zbMATH DE number 88998
• Propositional semantics for disjunctive logic programs
• An abductive approach to disjunctive logic programming

Cited in

(6)

• On the relation among answer set solvers
• Conflict-driven answer set solving: from theory to practice
• Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
• On look-ahead heuristics in disjunctive logic programming
• On abstract modular inference systems and solvers
• A logic framework for P2P deductive databases

Describes a project that uses

Uses Software

• Smodels
• Cmodels
• ASSAT
• NoMoRe

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 Q5480653)