Conceptual logic programs
From MaRDI portal
Publication:854977
Recommendations
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
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)