Reasoning about Agent Programs Using ATL-Like Logics

DOI10.1007/978-3-642-33353-8_34zbMath1361.68247arXiv1207.3874OpenAlexW1587932713MaRDI QIDQ2915090

Sebastian Sardiña, Nitin Kumar Yadav

Publication date: 21 September 2012

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.3874

zbMATH Keywords

model checkingATLagent programmingreactive plans

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (3)

Progression and verification of situation calculus agents with bounded beliefs ⋮ Reasoning about Agent Programs Using ATL-Like Logics ⋮ Natural strategic ability

Uses Software

• 2APL

Cites Work

• Unnamed Item
• Unnamed Item
• A verification framework for agent programming with declarative goals
• Reasoning about Agent Programs Using ATL-Like Logics
• Alternating-time temporal logic
• A Logic for Reasoning about Rational Agents

This page was built for publication: Reasoning about Agent Programs Using ATL-Like Logics