Borrow it
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.)

Creator
Contributor
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
Language
eng
Work
Publication
Extent
1 online resource (xii, 244 pages)
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
Isbn
9783540331070
Instance
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)
  • Agents intelligents (Logiciels)
  • Programmation déclarative
  • Représentation des connaissances
  • Programmation logique
  • Intelligence artificielle répartie
  • 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
9783540331070
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
9783540331070
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

Subject

Genre

Member of

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

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...