Combining event calculus and description logic reasoning via logic programming

DOI10.1007/978-3-030-86205-3_6OpenAlexW3200349212MaRDI QIDQ831926

Peter Baumgartner

Publication date: 24 March 2022

Full work available at URL: https://arxiv.org/abs/2109.04803

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Uses Software

• LARS

Cites Work

• A logic-based calculus of events
• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• LARS: a logic-based framework for analytic reasoning over streams
• On the declarative and procedural semantics of logic programs
• Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
• The Fusemate logic programming system
• Possible models computation and revision -- a practical approach
• Combining answer set programming with description logics for the semantic web
• Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
• LTL over description logic axioms
• An Introduction to Description Logic
• A Novel Architecture for Situation Awareness Systems
• Event Calculus Reasoning Through Satisfiability
• Description Logic Knowledge and Action Bases
• Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics
• Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting
• Hyper tableaux
• The DLV system for knowledge representation and reasoning
• Linking Data to Ontologies
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Combining event calculus and description logic reasoning via logic programming