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

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642168666, 9783642168673

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Implementation of Speculative Constraint Processing

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

10.1007/978-3-642-16867-3_10 ◽

2010 ◽

pp. 178-195

Author(s):

Jiefei Ma ◽

Alessandra Russo ◽

Krysia Broda ◽

Hiroshi Hosobe ◽

Ken Satoh

Keyword(s):

Constraint Processing

Download Full-text

Model Checking Normative Agent Organisations

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

10.1007/978-3-642-16867-3_4 ◽

2010 ◽

pp. 64-82 ◽

Author(s):

Louise Dennis ◽

Nick Tinnemeier ◽

John-Jules Meyer

Keyword(s):

Download Full-text

Interacting Answer Sets

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

10.1007/978-3-642-16867-3_7 ◽

2010 ◽

pp. 122-140 ◽

Author(s):

Chiaki Sakama ◽

Tran Cao Son

Keyword(s):

Download Full-text

Reasoning about Multi-agent Domains Using Action Language $\mathcal{C}$ : A Preliminary Study

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

10.1007/978-3-642-16867-3_3 ◽

2010 ◽

pp. 46-63 ◽

Author(s):

Chitta Baral ◽

Tran Cao Son ◽

Enrico Pontelli

Keyword(s):

Action Language ◽

Multi Agent ◽

Preliminary Study

Download Full-text

Argumentation-Based Preference Modelling with Incomplete Information

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

10.1007/978-3-642-16867-3_8 ◽

2010 ◽

pp. 141-157 ◽

Author(s):

Wietske Visser ◽

Koen V. Hindriks ◽

Catholijn M. Jonker

Keyword(s):

Incomplete Information ◽

Preference Modelling

Download Full-text

Operational Semantics for BDI Modules in Multi-agent Programming

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

10.1007/978-3-642-16867-3_5 ◽

2010 ◽

pp. 83-101 ◽

Author(s):

Mehdi Dastani ◽

Bas R. Steunebrink

Keyword(s):

Operational Semantics ◽

Agent Programming ◽

Download Full-text

Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL

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

10.1007/978-3-642-16867-3_2 ◽

2010 ◽

pp. 22-45 ◽

Author(s):

Nils Bulling ◽

Berndt Farwer

Download Full-text

Planning for Multiagent Using ASP-Prolog

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

10.1007/978-3-642-16867-3_1 ◽

2010 ◽

pp. 1-21 ◽

Author(s):

Tran Cao Son ◽

Enrico Pontelli ◽

Ngoc-Hieu Nguyen

Download Full-text

InstQL: A Query Language for Virtual Institutions Using Answer Set Programming

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

10.1007/978-3-642-16867-3_6 ◽

2010 ◽

pp. 102-121 ◽

Author(s):

Luke Hopton ◽

Owen Cliffe ◽

Marina De Vos ◽

Julian Padget

Keyword(s):

Query Language ◽

Answer Set Programming ◽

Virtual Institutions ◽

Download Full-text

A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier

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

10.1007/978-3-642-16867-3_9 ◽

2010 ◽

pp. 158-177 ◽

Author(s):

Pedro Arturo Góngora ◽

David A. Rosenblueth

Keyword(s):

Nash Equilibria ◽

Download Full-text