Declarative Agent Languages and Technologies IX - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642291128, 9783642291135

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective

Declarative Agent Languages and Technologies IX - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29113-5_7 ◽

2012 ◽

pp. 84-89 ◽

Author(s):

David Robertson

Keyword(s):

Download Full-text

Formalizing Commitments Using Action Languages

Declarative Agent Languages and Technologies IX - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29113-5_6 ◽

2012 ◽

pp. 67-83 ◽

Author(s):

Tran Cao Son ◽

Enrico Pontelli ◽

Chiaki Sakama

Keyword(s):

Action Languages

Download Full-text

Plan Indexing for State-Based Plans

Declarative Agent Languages and Technologies IX - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29113-5_2 ◽

2012 ◽

pp. 3-15 ◽

Author(s):

Louise A. Dennis

Download Full-text

Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification

Declarative Agent Languages and Technologies IX - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29113-5_15 ◽

2012 ◽

pp. 149-151

Author(s):

Rafael H. Bordini

Keyword(s):

Software Engineering ◽

Download Full-text

Probing Attacks on Multi-Agent Systems Using Electronic Institutions

Declarative Agent Languages and Technologies IX - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29113-5_4 ◽

2012 ◽

pp. 33-50 ◽

Author(s):

Shahriar Bijani ◽

David Robertson ◽

David Aspinall

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent ◽

Probing Attacks

Download Full-text

Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages

Declarative Agent Languages and Technologies IX - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29113-5_11 ◽

2012 ◽

pp. 111-116

Author(s):

Álvaro F. Moreira ◽

Renata Vieira ◽

Rafael H. Bordini

Keyword(s):

Programming Languages ◽

Formal Semantics ◽

Download Full-text

Control and Delegation

Declarative Agent Languages and Technologies IX - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29113-5_1 ◽

2012 ◽

pp. 1-2

Author(s):

Wiebe van der Hoek

Download Full-text

1000 Years of Coo-BDI

Declarative Agent Languages and Technologies IX - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29113-5_9 ◽

2012 ◽

pp. 95-101

Author(s):

Viviana Mascardi ◽

Davide Ancona

Download Full-text

Web Service Composition via Organisation-Based (Re)Planning

Declarative Agent Languages and Technologies IX - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29113-5_14 ◽

2012 ◽

pp. 128-148

Author(s):

David Corsar ◽

Alison Chorley ◽

Wamberto W. Vasconcelos

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition

Download Full-text

Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review

Declarative Agent Languages and Technologies IX - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29113-5_12 ◽

2012 ◽

pp. 117-119 ◽

Author(s):

Nicoletta Fornara ◽

Marco Colombetti

Keyword(s):

Retrospective Review ◽

Artificial Institutions

Download Full-text