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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540331063, 9783540331070

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modelling Uncertainty in Agent Programming

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

10.1007/11691792_2 ◽

2006 ◽

pp. 17-32 ◽

Cited By ~ 4

Author(s):

Johan Kwisthout ◽

Mehdi Dastani

Keyword(s):

Modelling Uncertainty ◽

Agent Programming

Download Full-text

Complete Axiomatizations of Finite Syntactic Epistemic States

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

10.1007/11691792_3 ◽

2006 ◽

pp. 33-50 ◽

Cited By ~ 4

Author(s):

Thomas Ågotnes ◽

Michal Walicki

Keyword(s):

Epistemic States

Download Full-text

Agent-Oriented Programming with Underlying Ontological Reasoning

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

10.1007/11691792_10 ◽

2006 ◽

pp. 155-170 ◽

Cited By ~ 23

Author(s):

Álvaro F. Moreira ◽

Renata Vieira ◽

Rafael H. Bordini ◽

Jomi F. Hübner

Keyword(s):

Ontological Reasoning

Download Full-text

About Declarative Semantics of Logic-Based Agent Languages

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

10.1007/11691792_7 ◽

2006 ◽

pp. 106-123 ◽

Cited By ~ 13

Author(s):

Stefania Costantini ◽

Arianna Tocchio

Keyword(s):

Declarative Semantics

Download Full-text

A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication

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

10.1007/11691792_14 ◽

2006 ◽

pp. 223-244 ◽

Cited By ~ 2

Author(s):

Jamal Bentahar ◽

Bernard Moulin ◽

John-Jules Ch. Meyer

Keyword(s):

Agent Communication ◽

Dialogue Game ◽

Tableau Method

Download Full-text

An Architecture for Rational Agents

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

10.1007/11691792_4 ◽

2006 ◽

pp. 51-71 ◽

Cited By ~ 3

Author(s):

J. W. Lloyd ◽

T. D. Sears

Keyword(s):

Rational Agents

Download Full-text

Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains

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

10.1007/11691792_11 ◽

2006 ◽

pp. 171-187 ◽

Cited By ~ 12

Author(s):

Hisashi Hayashi ◽

Seiji Tokura ◽

Tetsuo Hasegawa ◽

Fumio Ozaki

Keyword(s):

Forward Chaining ◽

Htn Planning

Download Full-text

Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour

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

10.1007/11691792_8 ◽

2006 ◽

pp. 124-140 ◽

Cited By ~ 5

Author(s):

Gaële Simon ◽

Bruno Mermet ◽

Dominique Fournier

Keyword(s):

Decomposition Tree ◽

Agent Model

Download Full-text

A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results

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

10.1007/11691792_12 ◽

2006 ◽

pp. 188-204

Author(s):

Alessio Lomuscio ◽

Bożena Woźna

Keyword(s):

Branching Time

Download Full-text

Beliefs in Agent Implementation

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

10.1007/11691792_1 ◽

2006 ◽

pp. 1-16 ◽

Cited By ~ 2

Author(s):

Laurens Winkelhagen ◽

Mehdi Dastani ◽

Jan Broersen

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Modelling Uncertainty in Agent Programming

Complete Axiomatizations of Finite Syntactic Epistemic States

Agent-Oriented Programming with Underlying Ontological Reasoning

About Declarative Semantics of Logic-Based Agent Languages

A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication

An Architecture for Rational Agents

Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains

Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour

A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results

Beliefs in Agent Implementation

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