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

9783540339960, 9783540339977

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

BDI Agent Programming in AgentSpeak Using Jason

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

10.1007/11750734_9 ◽

2006 ◽

pp. 143-164 ◽

Cited By ~ 65

Author(s):

Rafael H. Bordini ◽

Jomi F. Hübner

Keyword(s):

Agent Programming ◽

Bdi Agent

Download Full-text

Implementing Temporal Logics: Tools for Execution and Proof

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

10.1007/11750734_8 ◽

2006 ◽

pp. 129-142 ◽

Cited By ~ 4

Author(s):

Michael Fisher

Keyword(s):

Temporal Logics

Download Full-text

Ability in a Multi-agent Context: A Model in the Situation Calculus

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

10.1007/11750734_2 ◽

2006 ◽

pp. 23-36 ◽

Cited By ~ 4

Author(s):

Laurence Cholvy ◽

Christophe Garion ◽

Claire Saurel

Keyword(s):

Situation Calculus ◽

Multi Agent

Download Full-text

Reactive Food Gathering

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

10.1007/11750734_24 ◽

2006 ◽

pp. 406-413 ◽

Cited By ~ 2

Author(s):

Robert Logie ◽

Jon G. Hall ◽

Kevin G. Waugh

Download Full-text

Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem

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

10.1007/11750734_23 ◽

2006 ◽

pp. 396-405 ◽

Cited By ~ 4

Author(s):

Carlos Cares ◽

Xavier Franch ◽

Enric Mayol

Download Full-text

Specification and Verification of Agent Interaction Using Abductive Reasoning

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

10.1007/11750734_14 ◽

2006 ◽

pp. 243-264 ◽

Cited By ~ 3

Author(s):

Federico Chesani ◽

Marco Gavanelli ◽

Marco Alberti ◽

Evelina Lamma ◽

Paola Mello ◽

...

Keyword(s):

Abductive Reasoning ◽

Agent Interaction ◽

Specification And Verification

Download Full-text

Intention Recognition in the Situation Calculus and Probability Theory Frameworks

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

10.1007/11750734_20 ◽

2006 ◽

pp. 358-372 ◽

Cited By ~ 7

Author(s):

Robert Demolombe ◽

Ana Mara Otermin Fernandez

Keyword(s):

Probability Theory ◽

Situation Calculus ◽

Intention Recognition

Download Full-text

Combining Answer Sets of Nonmonotonic Logic Programs

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

10.1007/11750734_18 ◽

2006 ◽

pp. 320-339 ◽

Cited By ~ 6

Author(s):

Chiaki Sakama ◽

Katsumi Inoue

Keyword(s):

Nonmonotonic Logic ◽

Logic Programs ◽

Answer Sets

Download Full-text

Variety of Behaviours Through Profiles in Logic-Based Agents

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

10.1007/11750734_12 ◽

2006 ◽

pp. 206-225 ◽

Cited By ~ 2

Author(s):

Fariba Sadri ◽

Francesca Toni

Download Full-text

Implementing Pheromone-Based, Negotiating Forager Agents

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

10.1007/11750734_22 ◽

2006 ◽

pp. 385-395 ◽

Cited By ~ 3

Author(s):

Simon Coffey ◽

Dorian Gaertner

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

BDI Agent Programming in AgentSpeak Using Jason

Implementing Temporal Logics: Tools for Execution and Proof

Ability in a Multi-agent Context: A Model in the Situation Calculus

Reactive Food Gathering

Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem

Specification and Verification of Agent Interaction Using Abductive Reasoning

Intention Recognition in the Situation Calculus and Probability Theory Frameworks

Combining Answer Sets of Nonmonotonic Logic Programs

Variety of Behaviours Through Profiles in Logic-Based Agents

Implementing Pheromone-Based, Negotiating Forager Agents

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