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

9783642223587, 9783642223594

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 4

Author(s):

Mathieu Beirlaen ◽

Christian Straßer

Keyword(s):

Multi Agent ◽

Normative Conflicts

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 ◽

Cited By ~ 1

Author(s):

Tiago de Lima

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

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 ◽

Cited By ~ 5

Author(s):

Richard Stocker ◽

Maarten Sierhuis ◽

Louise Dennis ◽

Clare Dixon ◽

Michael Fisher

Keyword(s):

Formal Semantics

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 ◽

Cited By ~ 12

Author(s):

Taolue Chen ◽

Marta Kwiatkowska ◽

David Parker ◽

Aistis Simaitis

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Team Formation ◽

Probabilistic Model Checking

Three Steps

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

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

2011 ◽

pp. 41-57 ◽

Cited By ~ 1

Author(s):

Hans van Ditmarsch ◽

Fernando Soler–Toscano

The Functional Dependence Relation on Hypergraphs of Secrets

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

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

2011 ◽

pp. 29-40 ◽

Cited By ~ 5

Author(s):

Sara Miner More ◽

Pavel Naumov

Keyword(s):

Functional Dependence ◽

Dependence Relation

Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance

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

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

2011 ◽

pp. 364-382 ◽

Cited By ~ 7

Author(s):

Guido Governatori ◽

Antonino Rotolo

Keyword(s):

Legal Compliance

Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic

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

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

2011 ◽

pp. 13-28 ◽

Cited By ~ 5

Author(s):

Robert Demolombe

Keyword(s):

Modal Logic ◽

Information Sources

Making Golog Norm Compliant

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

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

2011 ◽

pp. 275-292 ◽

Cited By ~ 4

Author(s):

Alfredo Gabaldon

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts

Alternating-Time Temporal Announcement Logic

Probabilistic Action and Deontic Logic

A Formal Semantics for Brahms

Verifying Team Formation Protocols with Probabilistic Model Checking

Three Steps

The Functional Dependence Relation on Hypergraphs of Secrets

Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance

Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic

Making Golog Norm Compliant

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