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

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540280606, 9783540318576
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Organising Software in Active Environments

2005 ◽  
pp. 265-280 ◽  
Author(s):  
Benjamin Hirsch ◽  
Michael Fisher ◽  
Chiara Ghidini ◽  
Paolo Busetta

scholarly journals Declarative Agent Control

2005 ◽  
pp. 96-110 ◽  
Author(s):  
Antonis Kakas ◽  
Paolo Mancarella ◽  
Fariba Sadri ◽  
Kostas Stathis ◽  
Francesca Toni
Keyword(s):  
Agent Control

scholarly journals Verifying Protocol Conformance for Logic-Based Communicating Agents

2005 ◽  
pp. 196-212 ◽  
Author(s):  
Matteo Baldoni ◽  
Cristina Baroglio ◽  
Alberto Martelli ◽  
Viviana Patti ◽  
Claudio Schifanella

scholarly journals Dynamic Logic for Plan Revision in Intelligent Agents

2005 ◽  
pp. 16-32 ◽  
Author(s):  
M. Birna van Riemsdijk ◽  
Frank S. de Boer ◽  
John-Jules Ch. Meyer
Keyword(s):  
Intelligent Agents ◽  
Dynamic Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document