Declarative Agent Languages and Technologies V (Record no. 37293)

000 -LEADER
fixed length control field 03222nam a22005895i 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 9783540775645
-- 978-3-540-77564-5
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.3
245 10 - TITLE STATEMENT
Title Declarative Agent Languages and Technologies V
Sub Title 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers /
Statement of responsibility, etc edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff.
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Berlin, Heidelberg :
Name of publisher Springer Berlin Heidelberg,
Year of publication 2008.
300 ## - PHYSICAL DESCRIPTION
Number of Pages X, 248 p.
Other physical details online resource.
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Computer Science,
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 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.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer science.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Communication Networks.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Software engineering.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logic design.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Artificial intelligence.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Science.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Artificial Intelligence (incl. Robotics).
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Computer Communication Networks.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Software Engineering.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Programming Languages, Compilers, Interpreters.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Logics and Meanings of Programs.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Baldoni, Matteo.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Son, Tran Cao.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Riemsdijk, M. Birna.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Winikoff, Michael.
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/978-3-540-77564-5
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-BOOKS
264 #1 -
-- Berlin, Heidelberg :
-- Springer Berlin Heidelberg,
-- 2008.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
-- 0302-9743 ;
Holdings
Withdrawn status Lost status Damaged status Not for loan Current library Accession Number Uniform Resource Identifier Koha item type
        IMSc Library EBK7999 http://dx.doi.org/10.1007/978-3-540-77564-5 E-BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha