Reasoning about actions in dynamic linear time temporal logic
From MaRDI portal
Publication:2716929
DOI10.1093/jigpal/9.2.273zbMath0979.03015OpenAlexW2143050727MaRDI QIDQ2716929
Alberto Martelli, Laura Giordano, Camilla B. Schwind
Publication date: 16 May 2001
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/0a51e20bece1d29503938849e7c4def5f72a2e33
planning problemreasoning about actionssatisfiability problemsnondeterministic actionstemporal projectiondynamic linear time temporal logicincomplete initial states
Related Items (4)
A family of dynamic description logics for representing and reasoning about actions ⋮ Tableau-based automata construction for dynamic linear time temporal logic ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
Uses Software
This page was built for publication: Reasoning about actions in dynamic linear time temporal logic
