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

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642223587, 9783642223594

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Alternating-Time Temporal Announcement Logic

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

10.1007/978-3-642-22359-4_9 ◽

2011 ◽

pp. 105-121 ◽

Author(s):

Tiago de Lima

Download Full-text

Probabilistic Action and Deontic Logic

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

10.1007/978-3-642-22359-4_20 ◽

2011 ◽

pp. 293-294

Author(s):

Jan Broersen

Keyword(s):

Deontic Logic ◽

Probabilistic Action

Download Full-text

A Formal Semantics for Brahms

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

10.1007/978-3-642-22359-4_18 ◽

2011 ◽

pp. 259-274 ◽

Author(s):

Richard Stocker ◽

Maarten Sierhuis ◽

Louise Dennis ◽

Clare Dixon ◽

Michael Fisher

Keyword(s):

Formal Semantics

Download Full-text

A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts

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

10.1007/978-3-642-22359-4_22 ◽

2011 ◽

pp. 312-329 ◽

Author(s):

Mathieu Beirlaen ◽

Christian Straßer

Keyword(s):

Multi Agent ◽

Normative Conflicts

Download Full-text

Verifying Team Formation Protocols with Probabilistic Model Checking

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

10.1007/978-3-642-22359-4_14 ◽

2011 ◽

pp. 190-207 ◽

Author(s):

Taolue Chen ◽

Marta Kwiatkowska ◽

David Parker ◽

Aistis Simaitis

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Team Formation ◽

Probabilistic Model Checking

Download Full-text

Some Thoughts on Using Argumentation to Handle Trust

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

10.1007/978-3-642-22359-4_1 ◽

2011 ◽

pp. 1-12

Author(s):

Simon Parsons ◽

Yuqing Tang ◽

Kai Cai ◽

Elizabeth Sklar ◽

Peter McBurney

Download Full-text

Reasoning about Joint Action and Coalitional Ability in K n with Intersection

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

10.1007/978-3-642-22359-4_11 ◽

2011 ◽

pp. 139-156 ◽

Author(s):

Thomas Ågotnes ◽

Natasha Alechina

Keyword(s):

Download Full-text

A Geometric Look at Manipulation

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

10.1007/978-3-642-22359-4_8 ◽

2011 ◽

pp. 92-104

Author(s):

Jan van Eijck

Download Full-text

On the Definability of Simulability and Bisimilarity by Finite Epistemic Models

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

10.1007/978-3-642-22359-4_6 ◽

2011 ◽

pp. 74-87 ◽

Author(s):

Hans van Ditmarsch ◽

David Fernández-Duque ◽

Wiebe van der Hoek

Download Full-text

Ontology Merging as Social Choice

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

10.1007/978-3-642-22359-4_12 ◽

2011 ◽

pp. 157-170 ◽

Author(s):

Daniele Porello ◽

Ulle Endriss

Keyword(s):

Social Choice ◽

Ontology Merging

Download Full-text