Conceptual logic programs

DOI10.1007/S10472-006-9030-5MaRDI QIDQ854977zbMATH OpenOpenAlexFDO

Authors Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

Publication date 20 December 2006

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-006-9030-5

zbMATH Keywords

answer set programmingdescription logicsopen domains

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Open answer set programming with guarded programs
• Logic Programming and Nonmonotonic Reasoning
• Reasoning with forest logic programs and f-hybrid knowledge bases
• Open answer set programming for the semantic web
• Reasoning with forest logic programs using fully enriched automata

Cites work

• scientific article; zbMATH DE number 1612535 (Why is no real title available?)
• scientific article; zbMATH DE number 1223729 (Why is no real title available?)
• scientific article; zbMATH DE number 1059246 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1947746 (Why is no real title available?)
• scientific article; zbMATH DE number 1405450 (Why is no real title available?)
• An epistemic operator for description logics
• Combining answer set programming with description logics for the semantic web
• Commonsense axiomatizations for logic programs
• Logic Programming and Nonmonotonic Reasoning
• Logic for Programming, Artificial Intelligence, and Reasoning
• Modal languages and bounded fragments of predicate logic
• PSpace reasoning for graded modal logics
• Reasoning with infinite stable models
• Strongly equivalent logic programs
• The Semantics of Predicate Logic as a Programming Language

Cited in

(8)

• Causal Logic Programming
• Logic Programming and Nonmonotonic Reasoning
• Reasoning with forest logic programs using fully enriched automata
• Answer Set Programming: A Primer
• Reasoning with forest logic programs and f-hybrid knowledge bases
• Open answer set programming with guarded programs
• Concept Synthesis Using Logic of Prototypes and Counterexamples: A Graded Consequence Approach
• Tractable reasoning using logic programs with intensional concepts

Describes a project that uses

Uses Software

• DAML+OIL
• swrl

This page was built for publication: Conceptual logic programs

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