Coverart for item
The Resource Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers, João Leite [and others] (eds.)

Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers, João Leite [and others] (eds.)

Label
Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers
Title
Declarative agent languages and technologies II
Title remainder
second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers
Statement of responsibility
João Leite [and others] (eds.)
Title variation
DALT 2004
Creator
Contributor
Subject
Genre
Language
eng
Summary
"The second edition of the workshop on Declarative Agent Languages and Technologies (DALT 2004) was held July 2004 in New York City, and was a great success."
Member of
Cataloging source
GW5XE
Dewey number
005.115
Illustrations
illustrations
Index
index present
LC call number
QA76.7
LC item number
.I5775 2004eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
International Workshop on Declarative Agent Languages and Technologies
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Leite, João Alexandre
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
Series volume
3476.
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Declarative programming
  • Programmation déclarative
  • Intelligence artificielle répartie
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • Informatique
  • Declarative programming
  • Programming languages (Electronic computers)
  • Agent intelligent
  • Langage déclaratif
  • Programmation déclarative
  • Système multi-agents
Label
Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers, João Leite [and others] (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions in the Framework of Situation Calculus -- Partial Deduction for Linear Logic--The Symbolic Negotiation Perspective -- Modelling and Engineering -- On Modelling Multi-agent Systems Declaratively -- The Semantics of MALLET-An Agent Teamwork Encoding Language -- Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report -- Reasoning About Agents' Interaction Protocols Inside DCaseLP -- Verification -- Model Checking Agent Dialogues -- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming -- Norm Verification and Analysis of Electronic Institutions -- Norms and Protocols -- A Lightweight Coordination Calculus for Agent Systems -- Enhancing Commitment Machines -- A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks -- Interaction and Communication -- Intensional Programming for Agent Communication -- The Logic of Communication Graphs -- Representational Content and the Reciprocal Interplay of Agent and Environment
Control code
262680800
Dimensions
unknown
Extent
1 online resource (xii, 288 pages)
Form of item
online
Isbn
9783540261728
Lccn
2005927863
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 10.1007/b136890
  • 9783540261728
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-26172-8
Specific material designation
remote
System control number
(OCoLC)262680800
Label
Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers, João Leite [and others] (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions in the Framework of Situation Calculus -- Partial Deduction for Linear Logic--The Symbolic Negotiation Perspective -- Modelling and Engineering -- On Modelling Multi-agent Systems Declaratively -- The Semantics of MALLET-An Agent Teamwork Encoding Language -- Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report -- Reasoning About Agents' Interaction Protocols Inside DCaseLP -- Verification -- Model Checking Agent Dialogues -- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming -- Norm Verification and Analysis of Electronic Institutions -- Norms and Protocols -- A Lightweight Coordination Calculus for Agent Systems -- Enhancing Commitment Machines -- A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks -- Interaction and Communication -- Intensional Programming for Agent Communication -- The Logic of Communication Graphs -- Representational Content and the Reciprocal Interplay of Agent and Environment
Control code
262680800
Dimensions
unknown
Extent
1 online resource (xii, 288 pages)
Form of item
online
Isbn
9783540261728
Lccn
2005927863
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
  • 10.1007/b136890
  • 9783540261728
Other physical details
illustrations.
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-26172-8
Specific material designation
remote
System control number
(OCoLC)262680800

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...