Declarative agent languages and technologies III
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34839/Details |
|---|---|
| Ostali autori: | International Workshop on Declarative Agent Languages and Technologies (-) |
| Ostali autori: | Baldoni, Matteo, 1968- (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin ; New York :
Springer,
c2006.
|
| Nakladnička cjelina: |
Lecture notes in computer science ;
3904. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Predmet: | |
| Online pristup: |
Table of contents only Restricted to SpringerLink subscribers Publisher description |
| LEADER | 03991cam a22006134a 4500 | ||
|---|---|---|---|
| 005 | 20140417104704.0 | ||
| 008 | 060213s2006 gw a b 101 0 eng c | ||
| 010 | |a 2006922191 | ||
| 015 | |a GBA645490 |2 bnb | ||
| 016 | 7 | |a 013456337 |2 Uk | |
| 020 | |a 3540331069 | ||
| 020 | |a 9783540331063 | ||
| 035 | |a (OCoLC)ocm66897315 | ||
| 040 | |a COO |c COO |d YUS |d C$Q |d BAKER |d UKM |d IQU |d HR-ZaFER |b hrv |e ppiak | ||
| 042 | |a pcc | ||
| 050 | 0 | 0 | |a QA76.7 |b .I5775 2005 |
| 082 | 0 | 0 | |a 006.3 |2 22 |
| 111 | 2 | |a International Workshop on Declarative Agent Languages and Technologies |n (3rd : |d 2005 : |c Utrecht, Netherlands) | |
| 245 | 1 | 0 | |a Declarative agent languages and technologies III : |b third international workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005 : selected and revised papers / |c Matteo Baldoni ... [et al.] (eds.). |
| 246 | 3 | |a Declarative agent languages and technologies 3 | |
| 246 | 3 | 0 | |a DALT 2005 |
| 260 | |a Berlin ; |a New York : |b Springer, |c c2006. | ||
| 300 | |a xii, 244 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3904. |a Lecture notes in artificial intelligence | |
| 504 | |a Includes bibliographical references and author index. | ||
| 506 | 0 | |a Beliefs in Agent Implementation --- Laurens Winkelhagen, Mehdi Dastani, Jan Broersen | |
| 506 | 0 | |a Modelling Uncertainty in Agent Programming --- Johan Kwisthout, Mehdi Dastani | |
| 506 | 0 | |a Complete Axiomatizations of Finite Syntactic Epistemic States --- Thomas Ågotnes, Michal Walicki | |
| 506 | 0 | |a An Architecture for Rational Agents --- J. W. Lloyd, T. D. Sears | |
| 506 | 0 | |a LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming --- Marina De Vos, Tom Crick, Julian Padget, Martin Brain, Owen Cliffe, Jonathan Needham | |
| 506 | 0 | |a A Distributed Architecture for Norm-Aware Agent Societies --- A. García-Camino, J. A. Rodríguez-Aguilar, C. Sierra, W. Vasconcelos | |
| 506 | 0 | |a About Declarative Semantics of Logic-Based Agent Languages --- Stefania Costantini, Arianna Tocchio | |
| 506 | 0 | |a Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour --- Gaële Simon, Bruno Mermet, Dominique Fournier | |
| 506 | 0 | |a Resource-Bounded Belief Revision and Contraction --- Natasha Alechina, Mark Jago, Brian Logan | |
| 506 | 0 | |a Agent-Oriented Programming with Underlying Ontological Reasoning --- Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi F. Hübner | |
| 506 | 0 | |a Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains --- Hisashi Hayashi, Seiji Tokura, Tetsuo Hasegawa, Fumio Ozaki | |
| 506 | 0 | |a A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results --- Alessio Lomuscio, Bożena Woźna | |
| 506 | 0 | |a An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents --- Kaiyu Wan, Vasu S. Alagar | |
| 506 | 0 | |a A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication --- Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer | |
| 530 | |a Also issued online. | ||
| 650 | 0 | |a Programming languages (Electronic computers) |v Congresses. | |
| 650 | 0 | |a Declarative programming |v Congresses. | |
| 650 | 0 | |a Intelligent agents (Computer software) | |
| 700 | 1 | |a Baldoni, Matteo, |d 1968- | |
| 830 | 0 | |a Lecture notes in computer science ; |v 3904. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 856 | 4 | 1 | |3 Table of contents only |u http://www.loc.gov/catdir/toc/fy0614/2006922191.html |
| 856 | 4 | 1 | |u http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3904 |z Restricted to SpringerLink subscribers |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0661/2006922191-d.html |
| 906 | |a 7 |b cbc |c pccadap |d 2 |e ncip |f 20 |g y-gencatlg | ||
| 942 | |2 udc |c K | ||
| 955 | |a jf04 2006-09-09 z-processor |i jf04 2006-09-09 |a aa05 2006-09-22 | ||
| 955 | |a pc17 2006-02-13 | ||
| 999 | |c 34839 |d 34839 | ||