Coverart for item
The Resource Declarative agent languages and technologies III : third international workshop, DALT 2005, Utrecht, the Netherlands, July 25, 2005 : selected and revised papers, Matteo Baldoni [and others] (eds.)

Declarative agent languages and technologies III : third international workshop, DALT 2005, Utrecht, the Netherlands, July 25, 2005 : selected and revised papers, Matteo Baldoni [and others] (eds.)

Label
Declarative agent languages and technologies III : third international workshop, DALT 2005, Utrecht, the Netherlands, July 25, 2005 : selected and revised papers
Title
Declarative agent languages and technologies III
Title remainder
third international workshop, DALT 2005, Utrecht, the Netherlands, July 25, 2005 : selected and revised papers
Statement of responsibility
Matteo Baldoni [and others] (eds.)
Title variation
  • Declarative agent languages and technologies 3
  • DALT 2005
Creator
Contributor
Subject
Genre
Language
eng
Summary
The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing their experiences in the areas of declarative and formal aspects of agents and multi-agent systems, and in engineering and technology. Today it is still a challenge to develop techno- gies that can satisfy the requirements of complex agent systems. The design and development of multi-agent systems still calls for models and technologies that ensure predictability, enable feature discovery, allow for the veri?cation of properties, and guarantee?exibility. Declarative approaches are potentially a valuable means for satisfying the needs of multi-agent system developers and for specifying multi-agent systems. DALT 2005, the third edition of the workshop, was held in Utrecht, The Netherlands, in July 2005, in conjunction with AAMAS 2005, the Fourth Int- national Joint Conference on Agents and Multiagent Systems. Over 30 persons attended the workshop con?rming the success of the previous editions in M- bourne 2003 (LNAI 2990) and New York 2004 (LNAI 3476). The workshop series is a forum of discussion aimed both at supporting the transfer of decla- tive paradigms and techniques into the broader community of agent researchers andpractitioners, and atbringing theissuesofdesigningreal-world andcomplex agent systems to the attention of researchers working on declarative progr- ming and technologies
Member of
Cataloging source
COO
Dewey number
006.3
Illustrations
illustrations
Index
index present
LC call number
QA76.7
LC item number
.I5775 2005
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2005
http://bibfra.me/vocab/lite/meetingName
International Workshop on Declarative Agent Languages and Technologies
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1968-
http://library.link/vocab/relatedWorkOrContributorName
Baldoni, Matteo
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
Series volume
3904.
http://library.link/vocab/subjectName
  • Programming languages (Electronic computers)
  • Declarative programming
  • Intelligent agents (Computer software)
  • COMPUTERS
  • COMPUTERS
  • Intelligent agents (Computer software)
  • Agents intelligents (Logiciels)
  • Programmation déclarative
  • Représentation des connaissances
  • Programmation logique
  • Intelligence artificielle répartie
  • Programming languages (Electronic computers)
  • Declarative programming
  • Informatique
  • Declarative programming
  • Intelligent agents (Computer software)
  • Programming languages (Electronic computers)
Label
Declarative agent languages and technologies III : third international workshop, DALT 2005, Utrecht, the Netherlands, July 25, 2005 : selected and revised papers, Matteo Baldoni [and others] (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Agent Programming and Beliefs -- Beliefs in Agent Implementation -- Modelling Uncertainty in Agent Programming -- Complete Axiomatizations of Finite Syntactic Epistemic States -- Architectures and Logic Programming -- An Architecture for Rational Agents -- LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming -- A Distributed Architecture for Norm-Aware Agent Societies -- About Declarative Semantics of Logic-Based Agent Languages -- Knowledge Representation and Reasoning -- Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour -- Resource-Bounded Belief Revision and Contraction -- Agent-Oriented Programming with Underlying Ontological Reasoning -- Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains -- A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results -- Coordination and Model Checking -- An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents -- A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication
Control code
64593710
Dimensions
unknown
Extent
1 online resource (xii, 244 pages)
Form of item
online
Isbn
9783540331063
Lccn
2006922191
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/11691792
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-33106-3
Specific material designation
remote
System control number
(OCoLC)64593710
Label
Declarative agent languages and technologies III : third international workshop, DALT 2005, Utrecht, the Netherlands, July 25, 2005 : selected and revised papers, Matteo Baldoni [and others] (eds.)
Publication
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Agent Programming and Beliefs -- Beliefs in Agent Implementation -- Modelling Uncertainty in Agent Programming -- Complete Axiomatizations of Finite Syntactic Epistemic States -- Architectures and Logic Programming -- An Architecture for Rational Agents -- LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming -- A Distributed Architecture for Norm-Aware Agent Societies -- About Declarative Semantics of Logic-Based Agent Languages -- Knowledge Representation and Reasoning -- Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour -- Resource-Bounded Belief Revision and Contraction -- Agent-Oriented Programming with Underlying Ontological Reasoning -- Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains -- A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results -- Coordination and Model Checking -- An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents -- A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication
Control code
64593710
Dimensions
unknown
Extent
1 online resource (xii, 244 pages)
Form of item
online
Isbn
9783540331063
Lccn
2006922191
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/11691792
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-540-33106-3
Specific material designation
remote
System control number
(OCoLC)64593710

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 ...