Representation and reasoning about evolutions of the world in the context of reasoning about actions
From MaRDI portal
Publication:2574879
DOI10.1007/s11225-005-0493-xzbMath1101.68852MaRDI QIDQ2574879
Publication date: 2 December 2005
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-005-0493-x
linear temporal logic; reasoning about actions; randomized strategies; triggers; probabilistic triggers; triggered evolutions
Cites Work
- The independent choice logic for modelling multiple agents under uncertainty
- Computational complexity of planning and approximate planning in the presence of incompleteness
- Representing action and change by logic programs
- Representing actions: Laws, observations and hypotheses
- Formalizing sensing actions -- a transition function based approach
- Unnamed Item
- Unnamed Item