Reasoning about actions with EL ontologies and temporal answer sets for DLTL

DOI10.1007/978-3-031-15707-3_18MaRDI QIDQ2694571zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Cites work

• A family of dynamic description logics for representing and reasoning about actions
• A logic programming approach to knowledge-state planning, semantics and complexity
• Achieving completeness in the verification of action theories by bounded model checking in ASP
• Bounded LTL model checking with stable models
• Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
• Description logic knowledge and action bases
• Dynamic linear time temporal logic
• Efficient inferencing for OWL EL
• Frames in the space of situations
• Nonmonotonic causal theories
• Ramification and causality
• Ramification and causality in a modal action logic
• Reasoning About Actions Using Description Logics with General TBoxes
• Reasoning about actions in dynamic linear time temporal logic
• Reasoning about actions with Temporal Answer Sets
• Reasoning agents in dynamic domains
• Using causal relationships to deal with the ramification problem in action formalisms based on description logics
• Verifying Properties of Infinite Sequences of Description Logic Actions
• \textit{telingo} = ASP + time

Cited in

(1)

• Reasoning about actions with Temporal Answer Sets

Describes a project that uses

Uses Software

• CCalc
• Cplus2ASP

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)