Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Baldoni, Matteo (Editor), Son, Tran Cao (Editor), van Riemsdijk, M. Birna (Editor), Winikoff, Michael (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Lecture Notes in Artificial Intelligence ; 4897
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.

MARC

LEADER 00000nam a22000005i 4500
001 b3282284
003 MWH
005 20191025131947.0
007 cr nn 008mamaa
008 100301s2008 gw | s |||| 0|eng d
020 |a 9783540775645 
024 7 |a 10.1007/978-3-540-77564-5  |2 doi 
035 |a (DE-He213)978-3-540-77564-5 
050 4 |a E-Book 
072 7 |a UMX  |2 bicssc 
072 7 |a COM051010  |2 bisacsh 
072 7 |a UMX  |2 thema 
072 7 |a UMC  |2 thema 
245 1 0 |a Declarative Agent Languages and Technologies V  |h [electronic resource] :  |b 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /  |c edited by Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff. 
250 |a 1st ed. 2008. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2008. 
300 |a X, 248 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Artificial Intelligence ;  |v 4897 
490 1 |a Springer eBook Collection 
505 0 |a Invited Talk -- Agent-Oriented Modelling: Declarative or Procedural? -- Invited Papers -- Joint Conversation Specification and Compliance -- Interoperation in Protocol Enactment -- Contributed Papers: Modeling -- Integrating Agent Models and Dynamical Systems -- Contributed Papers: Goals -- Composing High-Level Plans for Declarative Agent Programming -- Satisfying Maintenance Goals -- Towards Alternative Approaches to Reasoning About Goals -- Contributed Papers: Foundational Concepts -- Reflections on Agent Beliefs -- Modeling Agents’ Choices in Temporal Linear Logic -- Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints -- On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition -- Contributed Papers: Communication -- Structured Argumentation in a Mediator for Online Dispute Resolution -- Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation -- Component-Based Standardisation of Agent Communication. 
590 |a Loaded electronically. 
590 |a Electronic access restricted to members of the Holy Cross Community. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Artificial intelligence. 
650 0 |a Computer communication systems. 
650 0 |a Software engineering. 
650 0 |a Computer logic. 
690 |a Electronic resources (E-books) 
700 1 |a Baldoni, Matteo.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Son, Tran Cao.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a van Riemsdijk, M. Birna.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Winikoff, Michael.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
830 0 |a Lecture Notes in Artificial Intelligence ;  |v 4897 
830 0 |a Springer eBook Collection. 
856 4 0 |u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-3-540-77564-5  |3 Click to view e-book  |t 0 
907 |a .b32822844  |b 04-18-22  |c 02-26-20 
998 |a he  |b 02-26-20  |c m  |d @   |e -  |f eng  |g gw   |h 0  |i 1 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645) 
902 |a springer purchased ebooks 
903 |a SEB-COLL 
945 |f  - -   |g 1  |h 0  |j  - -   |k  - -   |l he   |o -  |p $0.00  |q -  |r -  |s b   |t 38  |u 0  |v 0  |w 0  |x 0  |y .i2195446x  |z 02-26-20 
999 f f |i 2bd4afac-bb4a-5e52-9a4b-7f244981435e  |s f1388e3e-814f-593c-9b0c-e937034065f5  |t 0 
952 f f |p Online  |a College of the Holy Cross  |b Main Campus  |c E-Resources  |d Online  |t 0  |e E-Book  |h Library of Congress classification  |i Elec File