Reasoning about actions with Temporal Answer Sets
From MaRDI portal
Publication:5299584
DOI10.1017/S1471068411000639zbMath1267.68081DBLPjournals/tplp/GiordanoMD13arXiv1110.3672OpenAlexW2739386108WikidataQ58207601 ScholiaQ58207601MaRDI QIDQ5299584
Alberto Martelli, Daniele Theseider Dupré, Laura Giordano
Publication date: 26 June 2013
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1110.3672
Related Items (3)
Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL ⋮ Business process verification with constraint temporal answer set programming ⋮ On the Expressiveness of Temporal Equilibrium Logic
Uses Software
Cites Work
- Approximation of action theories and its application to conformant planning
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- Nonmonotonic causal theories
- Reasoning with infinite stable models
- Tableau-based automata construction for dynamic linear time temporal logic
- Frames in the space of situations
- Dynamic linear time temporal logic
- Planning for temporally extended goals.
- Planning control rules for reactive agents
- Using temporal logics to express search control knowledge for planning
- Specifying and verifying interaction protocols in a temporal action logic
- Creating collective intention through dialogue
- Representing action and change by logic programs
- GOLOG: A logic programming language for dynamic domains
- Diagnostic reasoning with A-Prolog
- Bounded LTL model checking with stable models
- A logic programming approach to knowledge-state planning
- The DLV system for knowledge representation and reasoning
- Domain-dependent knowledge in answer set planning
- Planning with preferences using logic programming
This page was built for publication: Reasoning about actions with Temporal Answer Sets