Declarative agent languages and technologies IV
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34840/Details |
|---|---|
| Ostali autori: | International Workshop on Declarative Agent Languages and Technologies (-) |
| Ostali autori: | Baldoni, Matteo, 1968- (-), Endriss, Ulle |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin ; New York :
Springer,
c2006.
|
| Nakladnička cjelina: |
Lecture notes in computer science ;
4327. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Predmet: | |
| Online pristup: |
Restricted to SpringerLink subscribers Publisher description |
| LEADER | 03950cam a22006257a 4500 | ||
|---|---|---|---|
| 005 | 20140417104345.0 | ||
| 008 | 061113s2006 gw a b 101 0 eng d | ||
| 010 | |a 2006938418 | ||
| 016 | 7 | |a 982277350 |2 GyFmDB | |
| 020 | |a 9783540689591 (pbk.) | ||
| 020 | |a 3540689591 (pbk.) | ||
| 035 | |a (OCoLC)ocm77548404 | ||
| 040 | |a OHX |c OHX |d C$Q |d CUS |d HR-ZaFER |b hrv |e ppiak | ||
| 042 | |a lccopycat | ||
| 050 | 0 | 0 | |a QA76.7 |b .I5775 2006 |
| 072 | 7 | |a QA |2 lcco | |
| 082 | 0 | 0 | |a 055.13/1 |2 22 |
| 111 | 2 | |a International Workshop on Declarative Agent Languages and Technologies |n (4th : |d 2006 : |c Hakodate-shi, Japan) | |
| 245 | 1 | 0 | |a Declarative agent languages and technologies IV : |b 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 ; selected, revised and invited papers / |c Matteo Baldoni, Ulle Endriss (eds.). |
| 246 | 3 | 0 | |a DALT 2006 |
| 260 | |a Berlin ; |a New York : |b Springer, |c c2006. | ||
| 300 | |a viii, 256 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 4327. |a Lecture notes in artificial intelligence | |
| 500 | |a International conference proceedings. | ||
| 504 | |a Includes bibliographical references and author index. | ||
| 506 | 0 | |a Producing Compliant Interactions: Conformance, Coverage, and Interoperability --- Amit K. Chopra, Munindar P. Singh | |
| 506 | 0 | |a Towards Theory Translation --- Dejing Dou, Drew McDermott | |
| 506 | 0 | |a The Complexity of Model Checking Concurrent Programs Against CTLK Specifications --- Alessio Lomuscio, Franco Raimondi | |
| 506 | 0 | |a Dynamic Model Checking for Multi-agent Systems --- Nardine Osman, David Robertson, Christopher Walton | |
| 506 | 0 | |a Automating Belief Revision for AgentSpeak --- Natasha Alechina, Rafael H. Bordini, Jomi F. Hübner, Mark Jago, Brian Logan | |
| 506 | 0 | |a A Foundational Ontology of Organizations and Roles --- Guido Boella, Leendert van der Torre | |
| 506 | 0 | |a When Agents Communicate Hypotheses in Critical Situations --- Gauvain Bourgne, Nicolas Maudet, Suzanne Pinson | |
| 506 | 0 | |a A Fibred Tableau Calculus for Modal Logics of Agents --- Vineet Padmanabhan, Guido Governatori | |
| 506 | 0 | |a Programming Declarative Goals Using Plan Patterns --- Jomi F. Hübner, Rafael H. Bordini, Michael Wooldridge | |
| 506 | 0 | |a JADL – An Agent Description Language for Smart Agents --- Thomas Konnerth, Benjamin Hirsch, Sahin Albayrak | |
| 506 | 0 | |a Agreeing on Defeasible Commitments --- Ioan Alfred Letia, Adrian Groza | |
| 506 | 0 | |a A Dynamic Logic Programming Based System for Agents with Declarative Goals --- Vivek Nigam, João Leite | |
| 506 | 0 | |a A Collaborative Framework to Realize Virtual Enterprises Using 3APL --- Gobinath Narayanasamy, Joe Cecil, Tran Cao Son | |
| 506 | 0 | |a A Modeling Framework for Generic Agent Interaction Protocols --- José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden | |
| 506 | 0 | |a Plan Generation and Plan Execution in Agent Programming --- M. Birna van Riemsdijk, Mehdi Dastani | |
| 506 | 0 | |a A Functional Program for Agents, Actions, and Deontic Specifications --- Adam Zachary Wyner | |
| 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- | |
| 700 | 1 | |a Endriss, Ulle. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 4327. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 856 | 4 | 1 | |u http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4327 |z Restricted to SpringerLink subscribers |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0825/2006938418-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 2006-11-13 |a jx03 2007-02-20 z-processor |i jx03 2007-02-20 |a aa32 2007-03-07 | ||
| 999 | |c 34840 |d 34840 | ||