Declarative agent languages and technologies II
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34838/Details |
|---|---|
| Ostali autori: | International Workshop on Declarative Agent Languages and Technologies (-) |
| Ostali autori: | Leite, João Alexandre (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin ; New York :
Springer,
2005.
|
| Nakladnička cjelina: |
Lecture notes in computer science ;
3476. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Predmet: | |
| Online pristup: |
Restricted to SpringerLink subscribers Publisher description |
| LEADER | 03943cam a22006257a 4500 | ||
|---|---|---|---|
| 005 | 20140417105101.0 | ||
| 008 | 050519s2005 gw 101 0 eng d | ||
| 010 | |a 2005927863 | ||
| 015 | |a GBA561804 |2 bnb | ||
| 016 | 7 | |a 013247348 |2 Uk | |
| 020 | |a 9783540261728 | ||
| 020 | |a 3540261729 (pbk.) | ||
| 035 | |a (OCoLC)ocm60744563 | ||
| 040 | |a OHX |c OHX |d CUS |d UKM |d C$Q |d BAKER |d HR-ZaFER |b hrv |e ppiak | ||
| 042 | |a lccopycat | ||
| 050 | 0 | 0 | |a QA76.7 |b .I5775 2004 |
| 072 | 7 | |a QA |2 lcco | |
| 082 | 0 | 4 | |a 005.115 |2 22 |
| 111 | 2 | |a International Workshop on Declarative Agent Languages and Technologies |n (2nd : |d 2004 : |c New York, N.Y.) | |
| 245 | 1 | 0 | |a Declarative agent languages and technologies II : |b second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers / |c Joao Leite ... [et al.]. |
| 246 | 3 | 0 | |a DALT 2004 |
| 260 | |a Berlin ; |a New York : |b Springer, |c 2005. | ||
| 300 | |a xii, 288 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3476. |a Lecture notes in artifical intelligence | |
| 504 | |a Includes bibliographical references and index. | ||
| 506 | 0 | |a Dynamics of Declarative Goals in Agent Programming --- M. Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer | |
| 506 | 0 | |a Theories of Intentions in the Framework of Situation Calculus --- Pilar Pozos Parra, Abhaya Nayak, Robert Demolombe | |
| 506 | 0 | |a Partial Deduction for Linear Logic—The Symbolic Negotiation Perspective --- Peep Küngas, Mihhail Matskin | |
| 506 | 0 | |a On Modelling Multi-agent Systems Declaratively --- Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni | |
| 506 | 0 | |a The Semantics of MALLET–An Agent Teamwork Encoding Language --- Xiaocong Fan, John Yen, Michael S. Miller, Richard A. Volz | |
| 506 | 0 | |a Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report --- Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son | |
| 506 | 0 | |a Reasoning About Agents’ Interaction Protocols Inside DCaseLP --- M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi, V. Patti… | |
| 506 | 0 | |a Model Checking Agent Dialogues --- Christopher D. Walton | |
| 506 | 0 | |a Modeling and Verification of Distributed Autonomous Agents Using Logic Programming --- L. Robert Pokorny, C. R. Ramakrishnan | |
| 506 | 0 | |a Norm Verification and Analysis of Electronic Institutions --- Wamberto W. Vasconcelos | |
| 506 | 0 | |a A Lightweight Coordination Calculus for Agent Systems --- David Robertson | |
| 506 | 0 | |a Enhancing Commitment Machines --- Michael Winikoff, Wei Liu, James Harland | |
| 506 | 0 | |a A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks --- Alexander Artikis, Lloyd Kamara, Jeremy Pitt, Marek Sergot | |
| 506 | 0 | |a Intensional Programming for Agent Communication --- Vasu S. Alagar, Joey Paquet, Kaiyu Wan | |
| 506 | 0 | |a The Logic of Communication Graphs --- Eric Pacuit, Rohit Parikh | |
| 506 | 0 | |a Representational Content and the Reciprocal Interplay of Agent and Environment --- Tibor Bosse, Catholijn M. Jonker, Jan Treur | |
| 530 | |a Also issued online. | ||
| 650 | 0 | |a Programming languages (Electronic computers) |v Congresses. | |
| 650 | 0 | |a Declarative programming |v Congresses. | |
| 653 | 1 | |a Declarative agent languages | |
| 653 | 1 | |a DALT | |
| 700 | 1 | |a Leite, João Alexandre. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 3476. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 856 | 4 | 1 | |u http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3476 |z Restricted to SpringerLink subscribers |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0663/2005927863-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 pc17 2005-05-19 |a jx17 2005-12-07 z-processor |a jx17 2005-12-15 |i jx03 2006-01-25 | ||
| 999 | |c 34838 |d 34838 | ||