A Logic for Reasoning about Rational Agents
DOI10.1007/978-3-540-88833-8_3zbMATH Open1175.68439OpenAlexW2208072983MaRDI QIDQ3602940FDOQ3602940
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
Recommendations
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)
Cites Work
- Title not available (Why is that?)
- Alternating-time temporal logic
- Comparing semantics of logics for multi-agent systems
- A course in game theory.
- Title not available (Why is that?)
- New complexity results about Nash equilibria
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Social laws in alternating time: effectiveness, feasibility, and synthesis
- The complexity of two-person zero-sum games in extensive form
- Title not available (Why is that?)
- Nash and correlated equilibria: Some complexity considerations
- Title not available (Why is that?)
- A Logic for Reasoning about Rational Agents
- Model checking abilities of agents: a closer look
- On the NP-completeness of finding an optimal strategy in games with common payoffs
- Alternating-time logic with imperfect recall
- On epistemic temporal strategic logic
Cited In (14)
- A Logic for Reasoning about Rational Agents
- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
- Title not available (Why is that?)
- Theoretical Computer Science
- How to be both rich and happy: combining quantitative and qualitative strategic reasoning about multi-player games (extended abstract)
- Reasoning about actions meets strategic logics
- Programming rational agents in a modal action logic
- A logic for conditional local strategic reasoning
- A logic for reasoning about moral agents
- Reasoning about temporal properties of rational play
- A modal logic for reasoning about economic policies
- Reasoning about agent programs using ATL-like logics
- Title not available (Why is that?)
- Where logic and agents meet
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)
