You have Guest access.
Log In
Jürgen Dix, João Leite, Guido Governatori and Wojtek Jamroga
Front matter
1-7
Is Computational Complexity a Barrier to Manipulation?
8
Games, Norms and Strategic Notions in Information Flow Security
9-13
Group Announcements: Logic and Games (Abstract of Invited Talk)
14
Strong Equivalence in Argumentation
15-32
Hypergraphs of Multiparty Secrets
33-48
Combining Logics in Simple Type Theory
49-64
Speculative Abductive Reasoning for Hierarchical Agent Systems
65-81
Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes
82-98
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior
99-116
Verifying Business Process Compliance by Reasoning about Actions
117-134
From Organisation Specification to Normative Programming in Multi-Agent Organisations
135-152
Finding Uniform Strategies for Multi-agent Systems
153-170
Playing Extensive Form Games in Parallel
171-185
Exploring the Boundary of Half Positionality
186-199
Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets
200-218
An Agent Language with Destructive Assignment and Model-Theoretic Semantics
219-237
Model Checking Agent Programs by Using the Program Interpreter
238-255
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info