A Logic for Reasoning about Rational Agents

DOI10.1007/978-3-540-88833-8_3zbMath1175.68439OpenAlexW2208072983MaRDI QIDQ3602940

Nils Bulling, Wojciech Jamroga

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-88833-8_3

Mathematics Subject Classification ID

Applications of game theory (91A80) 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

Reasoning about Agent Programs Using ATL-Like Logics ⋮ A Logic for Reasoning about Rational Agents ⋮ Reasoning about temporal properties of rational play

Cites Work

• Social laws in alternating time: effectiveness, feasibility, and synthesis
• New complexity results about Nash equilibria
• Nash and correlated equilibria: Some complexity considerations
• The complexity of two-person zero-sum games in extensive form
• On the NP-completeness of finding an optimal strategy in games with common payoffs
• Comparing semantics of logics for multi-agent systems
• Model checking abilities of agents: a closer look
• Alternating-time temporal logic
• A Logic for Reasoning about Rational Agents
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item