Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming

DOI10.1007/978-3-540-93920-7_14zbMath1207.68405OpenAlexW1597027349MaRDI QIDQ3601793

Koen V. Hindriks, M. Birna van Riemsdijk

Publication date: 12 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-93920-7_14

Mathematics Subject Classification ID

Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (3)

Agent deliberation in an executable temporal framework ⋮ Refining autonomous agents with declarative beliefs and desires ⋮ GOAL Agents Instantiate Intention Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A heuristic search approach to planning with temporally extended preferences
• Using temporal logics to express search control knowledge for planning
• A verification framework for agent programming with declarative goals
• STRIPS: A new approach to the application of theorem proving to problem solving
• Monitoring of Real-Time Properties
• Planning with preferences using logic programming
• Multi-Agent Programming

This page was built for publication: Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming