Reasoning about actions with EL ontologies and temporal answer sets for DLTL
From MaRDI portal
Publication:2694571
DOI10.1007/978-3-031-15707-3_18OpenAlexW4293180107MaRDI QIDQ2694571FDOQ2694571
Authors: Laura Giordano, Alberto Martelli, Daniele Theseider Dupré 
Publication date: 4 April 2023
Full work available at URL: https://doi.org/10.1007/978-3-031-15707-3_18
Cites Work
- Nonmonotonic causal theories
- Description logic knowledge and action bases
- Reasoning About Actions Using Description Logics with General TBoxes
- Using causal relationships to deal with the ramification problem in action formalisms based on description logics
- A logic programming approach to knowledge-state planning, semantics and complexity
- Bounded LTL model checking with stable models
- Ramification and causality
- Reasoning agents in dynamic domains
- Efficient inferencing for OWL EL
- Reasoning about actions in dynamic linear time temporal logic
- Dynamic linear time temporal logic
- Frames in the space of situations
- Ramification and causality in a modal action logic
- Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
- Verifying Properties of Infinite Sequences of Description Logic Actions
- A family of dynamic description logics for representing and reasoning about actions
- \textit{telingo} = ASP + time
- Achieving completeness in the verification of action theories by bounded model checking in ASP
- Reasoning about actions with Temporal Answer Sets
Cited In (1)
Uses Software
This page was built for publication: Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2694571)
