Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642149764, 9783642149771

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-14977-1_15 ◽

2010 ◽

pp. 186-199 ◽

Cited By ~ 1

Author(s):

Jonathan A. Zvesper ◽

Krzysztof R. Apt

Keyword(s):

Strategic Games ◽

Theoretic Analysis

Download Full-text

Finding Uniform Strategies for Multi-agent Systems

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-14977-1_12 ◽

2010 ◽

pp. 135-152 ◽

Cited By ~ 7

Author(s):

Jan Calta ◽

Dmitry Shkatov ◽

Holger Schlingloff

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Download Full-text

From Organisation Specification to Normative Programming in Multi-Agent Organisations

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-14977-1_11 ◽

2010 ◽

pp. 117-134 ◽

Cited By ~ 15

Author(s):

Jomi F. Hübner ◽

Olivier Boissier ◽

Rafael H. Bordini

Keyword(s):

Multi Agent

Download Full-text

Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-14977-1_8 ◽

2010 ◽

pp. 65-81

Author(s):

Pedro Arturo Góngora ◽

Eric Ufferman ◽

Francisco Hernández-Quiroz

Keyword(s):

Epistemic Logic ◽

Formal Semantics ◽

Dynamic Epistemic Logic ◽

Π Calculus

Download Full-text

Speculative Abductive Reasoning for Hierarchical Agent Systems

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-14977-1_7 ◽

2010 ◽

pp. 49-64 ◽

Cited By ~ 6

Author(s):

Jiefei Ma ◽

Krysia Broda ◽

Randy Goebel ◽

Hiroshi Hosobe ◽

Alessandra Russo ◽

...

Keyword(s):

Abductive Reasoning ◽

Agent Systems

Download Full-text

Playing Extensive Form Games in Parallel

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-14977-1_13 ◽

2010 ◽

pp. 153-170 ◽

Cited By ~ 6

Author(s):

Sujata Ghosh ◽

R. Ramanujam ◽

Sunil Simon

Keyword(s):

Extensive Form ◽

Extensive Form Games

Download Full-text

Verifying Business Process Compliance by Reasoning about Actions

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-14977-1_10 ◽

2010 ◽

pp. 99-116 ◽

Cited By ~ 7

Author(s):

Davide D’Aprile ◽

Laura Giordano ◽

Valentina Gliozzi ◽

Alberto Martelli ◽

Gian Luca Pozzato ◽

...

Keyword(s):

Business Process ◽

Reasoning About Actions ◽

Business Process Compliance ◽

Process Compliance

Download Full-text

Group Announcements: Logic and Games (Abstract of Invited Talk)

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-14977-1_3 ◽

2010 ◽

pp. 9-13

Author(s):

Thomas Ågotnes

Download Full-text

Hypergraphs of Multiparty Secrets

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-14977-1_5 ◽

2010 ◽

pp. 15-32 ◽

Cited By ~ 5

Author(s):

Sara Miner More ◽

Pavel Naumov

Download Full-text

Strong Equivalence in Argumentation

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems ◽

10.1007/978-3-642-14977-1_4 ◽

2010 ◽

pp. 14-14

Author(s):

Stefan Woltran

Download Full-text

Lecture Notes in Computer Science - Computational Logic in Multi-Agent SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Proof-Theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets

Finding Uniform Strategies for Multi-agent Systems

From Organisation Specification to Normative Programming in Multi-Agent Organisations

Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes

Speculative Abductive Reasoning for Hierarchical Agent Systems

Playing Extensive Form Games in Parallel

Verifying Business Process Compliance by Reasoning about Actions

Group Announcements: Logic and Games (Abstract of Invited Talk)

Hypergraphs of Multiparty Secrets

Strong Equivalence in Argumentation

Lecture Notes in Computer Science - Computational Logic in Multi-Agent Systems
Latest Publications