Conceptual logic programs
From MaRDI portal
Publication:854977
DOI10.1007/S10472-006-9030-5zbMATH Open1105.68102OpenAlexW2169091052MaRDI QIDQ854977FDOQ854977
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
Recommendations
Cites Work
- Combining answer set programming with description logics for the semantic web
- Strongly equivalent logic programs
- Reasoning with infinite stable models
- Modal languages and bounded fragments of predicate logic
- Title not available (Why is that?)
- The Semantics of Predicate Logic as a Programming Language
- Title not available (Why is that?)
- An epistemic operator for description logics
- PSpace reasoning for graded modal logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Commonsense axiomatizations for logic programs
- Title not available (Why is that?)
- Logic Programming and Nonmonotonic Reasoning
- Logic for Programming, Artificial Intelligence, and Reasoning
Cited In (7)
- Causal Logic Programming
- Answer Set Programming: A Primer
- Concept Synthesis Using Logic of Prototypes and Counterexamples: A Graded Consequence Approach
- Tractable reasoning using logic programs with intensional concepts
- Reasoning with forest logic programs using fully enriched automata
- Reasoning with forest logic programs and f-hybrid knowledge bases
- Logic Programming and Nonmonotonic Reasoning
Uses Software
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)
