GOAL Agents Instantiate Intention Logic
From MaRDI portal
Publication:5900403
DOI10.1007/978-3-540-87803-2_20zbMath1178.68563MaRDI QIDQ5900403
Wiebe van der Hoek, Koen V. Hindriks
Publication date: 27 October 2008
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2008/1645/
68T27: Logic in artificial intelligence
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Planning for temporally extended goals.
- A verification framework for agent programming with declarative goals
- Intention is choice with commitment
- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
- Towards a Logic of Rational Agency
- Our Quest for the Holy Grail of Agent Verification