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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540939191, 9783540939207

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Leveraging New Plans in AgentSpeak(PL)

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

10.1007/978-3-540-93920-7_8 ◽

2009 ◽

pp. 111-127 ◽

Cited By ~ 4

Author(s):

Felipe Meneguzzi ◽

Michael Luck

Download Full-text

Social Norm Emergence in Virtual Agent Societies

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

10.1007/978-3-540-93920-7_2 ◽

2009 ◽

pp. 18-28 ◽

Cited By ~ 18

Author(s):

Bastin Tony Roy Savarimuthu ◽

Maryam Purvis ◽

Martin Purvis ◽

Stephen Cranefield

Keyword(s):

Social Norm ◽

Virtual Agent ◽

Agent Societies ◽

Norm Emergence

Download Full-text

Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming

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

10.1007/978-3-540-93920-7_14 ◽

2009 ◽

pp. 215-232 ◽

Cited By ~ 9

Author(s):

Koen V. Hindriks ◽

M. Birna van Riemsdijk

Keyword(s):

Temporal Logic ◽

Agent Programming ◽

Qualitative Preferences

Download Full-text

Iterated Belief Revision in the Face of Uncertain Communication

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

10.1007/978-3-540-93920-7_12 ◽

2009 ◽

pp. 179-196

Author(s):

Yoshitaka Suzuki ◽

Satoshi Tojo ◽

Stijn De Saeger

Keyword(s):

Belief Revision ◽

The Face ◽

Iterated Belief Revision

Download Full-text

Mental State Abduction of BDI-Based Agents

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

10.1007/978-3-540-93920-7_11 ◽

2009 ◽

pp. 161-178 ◽

Cited By ~ 10

Author(s):

Michal P. Sindlar ◽

Mehdi M. Dastani ◽

Frank Dignum ◽

John-Jules Ch. Meyer

Keyword(s):

Mental State

Download Full-text

A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

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

10.1007/978-3-540-93920-7_4 ◽

2009 ◽

pp. 47-59 ◽

Cited By ~ 17

Author(s):

Jan Broersen

Keyword(s):

Stit Logic

Download Full-text

Inductive Negotiation in Answer Set Programming

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

10.1007/978-3-540-93920-7_10 ◽

2009 ◽

pp. 143-160 ◽

Cited By ~ 1

Author(s):

Chiaki Sakama

Keyword(s):

Answer Set Programming ◽

Answer Set

Download Full-text

Specifying and Enforcing Norms in Artificial Institutions

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

10.1007/978-3-540-93920-7_1 ◽

2009 ◽

pp. 1-17 ◽

Cited By ~ 11

Author(s):

Nicoletta Fornara ◽

Marco Colombetti

Keyword(s):

Artificial Institutions

Download Full-text

Strategic Agent Communication: An Argumentation-Driven Approach

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

10.1007/978-3-540-93920-7_15 ◽

2009 ◽

pp. 233-250 ◽

Cited By ~ 2

Author(s):

Jamal Bentahar ◽

Mohamed Mbarki ◽

John-Jules Ch. Meyer ◽

Bernard Moulin

Keyword(s):

Agent Communication

Download Full-text

Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions

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

10.1007/978-3-540-93920-7_6 ◽

2009 ◽

pp. 75-90 ◽

Cited By ~ 2

Author(s):

Dimitar P. Guelev ◽

Catalin Dima

Keyword(s):

Model Checking ◽

The Past ◽

Strategic Ability

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Leveraging New Plans in AgentSpeak(PL)

Social Norm Emergence in Virtual Agent Societies

Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming

Iterated Belief Revision in the Face of Uncertain Communication

Mental State Abduction of BDI-Based Agents

A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

Inductive Negotiation in Answer Set Programming

Specifying and Enforcing Norms in Artificial Institutions

Strategic Agent Communication: An Argumentation-Driven Approach

Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions

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