scientific article
From MaRDI portal
Publication:2844043
zbMath1270.68287MaRDI QIDQ2844043
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105826040
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Related Items (27)
Specification and Verification of Multi-Agent Systems ⋮ Completeness of a functional system for surjective functions ⋮ Reasoning About Substructures and Games ⋮ HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems ⋮ DOING WITHOUT ACTION TYPES ⋮ ACTION TYPES IN STIT SEMANTICS ⋮ Unnamed Item ⋮ Together we know how to achieve: an epistemic logic of know-how ⋮ Unnamed Item ⋮ Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol ⋮ Epistemic GDL: a logic for representing and reasoning about imperfect information games ⋮ Model checking abilities of agents: a closer look ⋮ Alternating-time stream logic for multi-agent systems ⋮ Unnamed Item ⋮ A dynamic logic of agency. I: STIT, capabilities and powers ⋮ Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions ⋮ A Logic for Reasoning about Rational Agents ⋮ ATL with Strategy Contexts and Bounded Memory ⋮ Natural strategic ability ⋮ Approximate verification of strategic abilities under imperfect information ⋮ Knowledge condition games ⋮ A logic of strategic ability under bounded memory ⋮ Easy Yet Hard: Model Checking Strategies of Agents ⋮ Reasoning about temporal properties of rational play ⋮ Multi-valued Verification of Strategic Ability ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
This page was built for publication:
