scientific article; zbMATH DE number 1696830

MaRDI QIDQ2767097zbMATH OpenFDO

Authors Marc Denecker

Publication date 28 January 2002

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• A logic of nonmonotone inductive definitions
• Foundation of logic programming based on inductive definition
• Logic programming and knowledge representation
• scientific article; zbMATH DE number 25190
• Logic Programming and Nonmonotonic Reasoning

Cited in

(13)

• Inductive situation calculus
• Set based logic programming
• Obligation as optimal goal satisfaction
• What is answer set programming to propositional satisfiability
• Connecting first-order ASP and the logic FO(ID) through reducts
• Automata and Answer Set Programming
• Semantics of templates in a compositional framework for building logics
• Stepwise debugging of answer-set programs
• scientific article; zbMATH DE number 2096999 (Why is no real title available?)
• Using SWISH to realize interactive web-based tutorials for logic-based languages
• A logic of nonmonotone inductive definitions
• Logics for qualitative inductive generalization
• A prudent logic of partial functions

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