Combining event calculus and description logic reasoning via logic programming
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 43398 (Why is no real title available?)
- scientific article; zbMATH DE number 1926646 (Why is no real title available?)
- scientific article; zbMATH DE number 2196595 (Why is no real title available?)
- A logic-based calculus of events
- A novel architecture for situation awareness systems
- An alternative approach to the semantics of disjunctive logic programs and deductive databases
- An introduction to description logic
- Combining answer set programming with description logics for the semantic web
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
- Description logic knowledge and action bases
- Event Calculus Reasoning Through Satisfiability
- Expressing and supporting efficiently greedy algorithms as locally stratified logic programs
- Handbook of knowledge representation.
- Hyper tableaux
- Instance-level update in DL-Lite ontologies through first-order rewriting
- LARS: a logic-based framework for analytic reasoning over streams
- LTL over description logic axioms
- Linking Data to Ontologies
- On the declarative and procedural semantics of logic programs
- Possible models computation and revision -- a practical approach
- Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
- The DLV system for knowledge representation and reasoning
- The Fusemate logic programming system
- Using causal relationships to deal with the ramification problem in action formalisms based on description logics
This page was built for publication: Combining event calculus and description logic reasoning via logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831926)
