A Logic for Reasoning about Rational Agents

DOI10.1007/978-3-540-88833-8_3MaRDI QIDQ3602940zbMATH OpenOpenAlexFDO

Authors Wojciech Jamroga, Nils Bulling

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) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Recommendations

• Reasoning about temporal properties of rational play
• Model checking abilities of agents: a closer look
• Logics for Reasoning About Strategic Abilities in Multi-player Games
• scientific article; zbMATH DE number 2182496
• Reasoning about actions meets strategic logics

Cites work

• scientific article; zbMATH DE number 1705163 (Why is no real title available?)
• scientific article; zbMATH DE number 3543895 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 2063025 (Why is no real title available?)
• scientific article; zbMATH DE number 2182496 (Why is no real title available?)
• A Logic for Reasoning about Rational Agents
• A course in game theory.
• Alternating-time logic with imperfect recall
• Alternating-time temporal logic
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Comparing semantics of logics for multi-agent systems
• Model checking abilities of agents: a closer look
• Nash and correlated equilibria: Some complexity considerations
• New complexity results about Nash equilibria
• On epistemic temporal strategic logic
• On the NP-completeness of finding an optimal strategy in games with common payoffs
• Social laws in alternating time: effectiveness, feasibility, and synthesis
• The complexity of two-person zero-sum games in extensive form

Cited in

(14)

• How to be both rich and happy: combining quantitative and qualitative strategic reasoning about multi-player games (extended abstract)
• scientific article; zbMATH DE number 2182495 (Why is no real title available?)
• Reasoning about actions meets strategic logics
• Theoretical Computer Science
• A logic for conditional local strategic reasoning
• Reasoning about agent programs using ATL-like logics
• A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
• Reasoning about temporal properties of rational play
• Where logic and agents meet
• scientific article; zbMATH DE number 1759694 (Why is no real title available?)
• A Logic for Reasoning about Rational Agents
• A modal logic for reasoning about economic policies
• Programming rational agents in a modal action logic
• A logic for reasoning about moral agents

This page was built for publication: A Logic for Reasoning about Rational Agents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602940)