Computational logic in multi-agent systems
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34836/Details |
|---|---|
| Ostali autori: | CLIMA (Conference) (-) |
| Ostali autori: | Leite, João Alexandre (-), Torroni, Paolo |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin ; New York :
Springer,
c2005.
|
| Nakladnička cjelina: |
Lecture notes in computer science ;
3487. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Predmet: | |
| Online pristup: |
Table of contents Restricted to SpringerLink subscribers Publisher description |
| LEADER | 04107cam a22006617a 4500 | ||
|---|---|---|---|
| 005 | 20140417110025.0 | ||
| 008 | 050623s2005 gw a b 101 0 eng d | ||
| 010 | |a 2005929660 | ||
| 020 | |a 354028060X (pbk.) | ||
| 020 | |a 9783540280606 | ||
| 035 | |a (OCoLC)ocm61181413 | ||
| 040 | |a OHX |c OHX |d CUS |d C$Q |d BAKER |d IQU |d IXA |d HR-ZaFER |b hrv |e ppiak | ||
| 042 | |a lccopycat | ||
| 050 | 0 | 0 | |a QA76.9.L63 |b C656 2004b |
| 072 | 7 | |a QA |2 lcco | |
| 082 | 0 | 0 | |a 004.01/5113 |2 22 |
| 111 | 2 | |a CLIMA (Conference) |n (5th : |d 2004 : |c Lisbon, Portugal) | |
| 245 | 1 | 0 | |a Computational logic in multi-agent systems : |b 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004 : revised selected and invited papers / |c João Leite, Paolo Torroni (eds.). |
| 246 | 3 | 0 | |a CLIMA V |
| 246 | 3 | |a CLIMA 5 | |
| 246 | 3 | |a CLIMA five | |
| 260 | |a Berlin ; |a New York : |b Springer, |c c2005. | ||
| 300 | |a xii, 280 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3487. |a Lecture notes in artificial intelligence | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Foundations -- Architectures -- Interaction -- Planning and applications. | |
| 506 | 0 | |a A Logic for Knowledge, Correctness, and Real Time --- Bożena Woźna, Alessio Lomuscio | |
| 506 | 0 | |a Dynamic Logic for Plan Revision in Intelligent Agents --- M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer | |
| 506 | 0 | |a Contextual Taxonomies --- Davide Grossi, Frank Dignum, John-Jules Ch. Meyer | |
| 506 | 0 | |a From Logic Programs Updates to Action Description Updates --- José Júlio Alferes, Federico Banti, Antonio Brogi | |
| 506 | 0 | |a Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs --- M. Homola | |
| 506 | 0 | |a Declarative Agent Control --- Antonis Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni | |
| 506 | 0 | |a Metareasoning for Multi-agent Epistemic Logics --- Konstantine Arkoudas, Selmer Bringsjord | |
| 506 | 0 | |a Graded BDI Models for Agent Architectures --- Ana Casali, Lluís Godo, Carles Sierra | |
| 506 | 0 | |a Inferring Trust --- Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert van der Torre | |
| 506 | 0 | |a Coordination Between Logical Agents --- Chiaki Sakama, Katsumi Inoue | |
| 506 | 0 | |a A Computational Model for Conversation Policies for Agent Communication --- Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa | |
| 506 | 0 | |a Verifying Protocol Conformance for Logic-Based Communicating Agents --- Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella | |
| 506 | 0 | |a An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure – Preliminary Report --- Ken Satoh | |
| 506 | 0 | |a Planning Partially for Situated Agents --- Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni | |
| 506 | 0 | |a Desire-Space Analysis and Action Selection for Multiple Dynamic Goals --- David C. Han, K. Suzanne Barber | |
| 506 | 0 | |a Organising Software in Active Environments --- Benjamin Hirsch, Michael Fisher, Chiara Ghidini, Paolo Busetta | |
| 530 | |a Also issued online. | ||
| 650 | 0 | |a Computer logic |v Congresses. | |
| 650 | 0 | |a Intelligent agents (Computer software) |v Congresses. | |
| 650 | 0 | |a Distributed artificial intelligence |v Congresses. | |
| 700 | 1 | |a Leite, João Alexandre. | |
| 700 | 1 | |a Torroni, Paolo. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 3487. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 856 | 4 | 1 | |3 Table of contents |u http://www.loc.gov/catdir/toc/fy0606/2005929660.html |
| 856 | 4 | 1 | |u http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3487 |z Restricted to SpringerLink subscribers |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0663/2005929660-d.html |
| 906 | |a 7 |b cbc |c copycat |d 2 |e ncip |f 20 |g y-gencatlg | ||
| 942 | |2 udc |c K | ||
| 955 | |a jf03 2006-03-30 z-processor; |c jf03 2006-03-30 to Subj. |a aa07 2006-04-07 | ||
| 955 | |a pc17 2005-06-23 | ||
| 999 | |c 34836 |d 34836 | ||