The Resource Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers, Matteo Baldoni [and others] (eds.)
Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers, Matteo Baldoni [and others] (eds.)
Resource Information
The item Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers, Matteo Baldoni [and others] (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers, Matteo Baldoni [and others] (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
- This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, HI, USA, in May 2007 as an associated event of AAMAS 2007, the main international conference on autonomous agents and multi-agent systems. The 11 revised full papers presented together with 1 keynote lecture and 2 invited papers from the AAMAS main conference - substantially enhanced after the workshop - were carefully selected for inclusion in the book. The papers combine declarative and formal approaches with engineering and technology aspects of agents and multiagent systems and focus especially on modeling, goals, foundational concepts, and communication
- Language
- eng
- Extent
- 1 online resource (x, 244 pages)
- Contents
-
- 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
- Isbn
- 9783540775638
- Label
- Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers
- Title
- Declarative agent languages and technologies V
- Title remainder
- 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers
- Statement of responsibility
- Matteo Baldoni [and others] (eds.)
- Title variation
-
- DALT 2007
- Declarative agent languages and technologies five
- Declarative agent languages and technologies 5
- Subject
-
- Conference papers and proceedings
- Declarative programming
- Declarative programming
- Declarative programming -- Congresses
- Informatique
- Intelligent agents (Computer software)
- Intelligent agents (Computer software)
- Intelligent agents (Computer software) -- Congresses
- Programming languages (Electronic computers)
- Programming languages (Electronic computers)
- Programming languages (Electronic computers) -- Congresses
- Conference papers and proceedings
- Language
- eng
- Summary
- This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, HI, USA, in May 2007 as an associated event of AAMAS 2007, the main international conference on autonomous agents and multi-agent systems. The 11 revised full papers presented together with 1 keynote lecture and 2 invited papers from the AAMAS main conference - substantially enhanced after the workshop - were carefully selected for inclusion in the book. The papers combine declarative and formal approaches with engineering and technology aspects of agents and multiagent systems and focus especially on modeling, goals, foundational concepts, and communication
- Cataloging source
- GW5XE
- Dewey number
- 006.3
- Illustrations
- illustrations
- Index
- index present
- Language note
- English
- LC call number
- QA76.7
- LC item number
- .I5775 2007eb
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2007
- 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
- 4897.
- http://library.link/vocab/subjectName
-
- Programming languages (Electronic computers)
- Declarative programming
- Intelligent agents (Computer software)
- Informatique
- Declarative programming
- Intelligent agents (Computer software)
- Programming languages (Electronic computers)
- Label
- Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers, Matteo Baldoni [and others] (eds.)
- 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
- 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
- Control code
- 233973817
- Dimensions
- unknown
- Extent
- 1 online resource (x, 244 pages)
- Form of item
- online
- Isbn
- 9783540775638
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-3-540-77564-5.
- Other physical details
- illustrations.
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-3-540-77563-8
- Specific material designation
- remote
- System control number
- (OCoLC)233973817
- Label
- Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers, Matteo Baldoni [and others] (eds.)
- 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
- 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
- Control code
- 233973817
- Dimensions
- unknown
- Extent
- 1 online resource (x, 244 pages)
- Form of item
- online
- Isbn
- 9783540775638
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-3-540-77564-5.
- Other physical details
- illustrations.
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-3-540-77563-8
- Specific material designation
- remote
- System control number
- (OCoLC)233973817
Subject
- Conference papers and proceedings
- Declarative programming
- Declarative programming
- Declarative programming -- Congresses
- Informatique
- Intelligent agents (Computer software)
- Intelligent agents (Computer software)
- Intelligent agents (Computer software) -- Congresses
- Programming languages (Electronic computers)
- Programming languages (Electronic computers)
- Programming languages (Electronic computers) -- Congresses
- Conference papers and proceedings
Genre
Member of
- Lecture notes in computer science, 4897
- Lecture notes in computer science, Lecture notes in artificial intelligence
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Declarative-agent-languages-and-technologies-V-/ndPT-3BaG8g/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Declarative-agent-languages-and-technologies-V-/ndPT-3BaG8g/">Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers, Matteo Baldoni [and others] (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers, Matteo Baldoni [and others] (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Declarative-agent-languages-and-technologies-V-/ndPT-3BaG8g/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Declarative-agent-languages-and-technologies-V-/ndPT-3BaG8g/">Declarative agent languages and technologies V : 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers, Matteo Baldoni [and others] (eds.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>