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

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 ◽

Cited By ~ 4

Author(s):

Louise Dennis ◽

Nick Tinnemeier ◽

John-Jules Meyer

Keyword(s):

Model Checking

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 ◽

Cited By ~ 2

Author(s):

Chiaki Sakama ◽

Tran Cao Son

Keyword(s):

Answer Sets

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 3

Author(s):

Mehdi Dastani ◽

Bas R. Steunebrink

Keyword(s):

Operational Semantics ◽

Agent Programming ◽

Multi Agent

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 ◽

Cited By ~ 9

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 ◽

Cited By ~ 6

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 ◽

Cited By ~ 4

Author(s):

Luke Hopton ◽

Owen Cliffe ◽

Marina De Vos ◽

Julian Padget

Keyword(s):

Query Language ◽

Answer Set Programming ◽

Virtual Institutions ◽

Answer Set

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 ◽

Cited By ~ 1

Author(s):

Pedro Arturo Góngora ◽

David A. Rosenblueth

Keyword(s):

Nash Equilibria ◽

Mixed Strategy

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

On the Implementation of Speculative Constraint Processing

Model Checking Normative Agent Organisations

Interacting Answer Sets

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

Argumentation-Based Preference Modelling with Incomplete Information

Operational Semantics for BDI Modules in Multi-agent Programming

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

Planning for Multiagent Using ASP-Prolog

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

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
Latest Publications