Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
From MaRDI portal
Publication:2694571
DOI10.1007/978-3-031-15707-3_18OpenAlexW4293180107MaRDI QIDQ2694571
Alberto Martelli, Laura Giordano, Daniele Theseider Dupré
Publication date: 4 April 2023
Full work available at URL: https://doi.org/10.1007/978-3-031-15707-3_18
Uses Software
Cites Work
- Unnamed Item
- Nonmonotonic causal theories
- Frames in the space of situations
- Dynamic linear time temporal logic
- Ramification and causality
- \textit{telingo} = ASP + time
- A family of dynamic description logics for representing and reasoning about actions
- Reasoning about actions in dynamic linear time temporal logic
- Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming
- Verifying Properties of Infinite Sequences of Description Logic Actions
- Achieving completeness in the verification of action theories by Bounded Model Checking in ASP
- Reasoning About Actions Using Description Logics with General TBoxes
- Ramification and causality in a modal action logic
- Bounded LTL model checking with stable models
- Description Logic Knowledge and Action Bases
- Efficient Inferencing for OWL EL
- Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics
- A logic programming approach to knowledge-state planning
- Reasoning about actions with Temporal Answer Sets
This page was built for publication: Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL