scientific article; zbMATH DE number 5079838

MaRDI QIDQ3413498zbMATH OpenFDO

Authors Francesco Calimeri, Giovambattista Ianni

Publication date 12 December 2006

zbMATH Keywords

knowledge representationmodular logic programming

Mathematics Subject Classification ID

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

Recommendations

• Disjunctive logic and semantics of disjunctive logic programs
• Propositional semantics for disjunctive logic programs
• scientific article; zbMATH DE number 1926616
• scientific article; zbMATH DE number 591001
• scientific article; zbMATH DE number 4200183
• Semantics of templates in a compositional framework for building logics
• Disjunctive answer set solvers via templates
• A fixpoint semantics for disjunctive logic programs
• An abductive approach to disjunctive logic programming
• Semantics for Possibilistic Disjunctive Programs

Cited in

(8)

• scientific article; zbMATH DE number 1629815 (Why is no real title available?)
• Answer Set Programming: A Primer
• Magic templates: a spellbinding approach to logic programs
• Semantics of templates in a compositional framework for building logics
• Modular action language \(\mathcal{ALM}\)
• Disjunctive answer set solvers via templates
• Modular nonmonotonic logic programming revisited
• scientific article; zbMATH DE number 1926616 (Why is no real title available?)

Describes a project that uses

Uses Software

• GNT
• Smodels
• Cmodels
• NP-SPEC
• 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 Q3413498)