A verification framework for agent programming with declarative goals
From MaRDI portal
Publication:2372188
DOI10.1016/j.jal.2005.12.014zbMath1122.68078OpenAlexW2133881934MaRDI QIDQ2372188
Wiebe van der Hoek, John-Jules Ch. Meyer, Frank S. de Boer, Koen V. Hindriks
Publication date: 25 July 2007
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2005.12.014
Learning and adaptive systems in artificial intelligence (68T05) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in artificial intelligence (68T01)
Related Items
Bounded situation calculus action theories ⋮ Reasoning about Agent Programs Using ATL-Like Logics ⋮ Agent planning programs ⋮ Where logic and agents meet ⋮ HTN-like solutions for classical planning problems: an application to BDI agent systems ⋮ Combining Multiple Knowledge Representation Technologies into Agent Programming Languages ⋮ Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming ⋮ GOAL Agents Instantiate Intention Logic
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Belief, awareness, and limited reasoning
- ConGolog, a concurrent programming language based on the situation calculus
- A logical approach to the dynamics of commitments
- Intention is choice with commitment
- On the logic of theory change: Partial meet contraction and revision functions
- Guarded commands, nondeterminacy and formal derivation of programs
- Reasoning about knowledge and probability
This page was built for publication: A verification framework for agent programming with declarative goals