Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings /

Intelligent agents are one of the most important developments in computer science of the past decade. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process control. The ATAL workshop series aims to bring together researchers interested in the core/micro aspects of agent technology. Speci?cally, ATAL addresses issues such as theories of agency, software architectures for intelligent agents, methodologies and programming languages for r- lizing agents, and software tools for applying and evaluating agent systems. One of the strengthsoftheATALworkshopseriesisitsemphasisonthesynergiesbetweentheories, languages, architectures, infrastructures, methodologies, and formal methods. This year s workshop continued the ATAL trend of attracting a large number of high quality submissions. In more detail, 71 papers were submitted to the ATAL 2000 workshop, from 21 countries. After stringent reviewing, 22 papers were accepted for publication and appear in these proceedings. As with previous workshops in the series, we chose to emphasize what we perceive asimportantnewthemesinagentresearch. Thisyear sthemeswerebothassociatedwith the fact that the technology of intelligent agents and multi-agent systems is beginning to migrate from research labs to software engineering centers. As agents are deployed in applications such as electronic commerce, and start to take over responsibilities for their human users, techniques for controlling their autonomy become crucial. As well, the availability of tools that facilitate the design and implementation of agent systems becomes an important factor in how rapidly the technology will achieve widespread use.

Saved in:
Bibliographic Details
Main Authors: Castelfranchi, Cristiano. editor., Lespérance, Yves. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001
Subjects:Computer science., Computer communication systems., Software engineering., Computer logic., Artificial intelligence., Computer Science., Artificial Intelligence (incl. Robotics)., Computer Communication Networks., Software Engineering/Programming and Operating Systems., Software Engineering., Logics and Meanings of Programs.,
Online Access:http://dx.doi.org/10.1007/3-540-44631-1
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:196248
record_format koha
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Computer communication systems.
Software engineering.
Computer logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer Communication Networks.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Logics and Meanings of Programs.
Computer science.
Computer communication systems.
Software engineering.
Computer logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer Communication Networks.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Logics and Meanings of Programs.
spellingShingle Computer science.
Computer communication systems.
Software engineering.
Computer logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer Communication Networks.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Logics and Meanings of Programs.
Computer science.
Computer communication systems.
Software engineering.
Computer logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer Communication Networks.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Logics and Meanings of Programs.
Castelfranchi, Cristiano. editor.
Lespérance, Yves. editor.
SpringerLink (Online service)
Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings /
description Intelligent agents are one of the most important developments in computer science of the past decade. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process control. The ATAL workshop series aims to bring together researchers interested in the core/micro aspects of agent technology. Speci?cally, ATAL addresses issues such as theories of agency, software architectures for intelligent agents, methodologies and programming languages for r- lizing agents, and software tools for applying and evaluating agent systems. One of the strengthsoftheATALworkshopseriesisitsemphasisonthesynergiesbetweentheories, languages, architectures, infrastructures, methodologies, and formal methods. This year s workshop continued the ATAL trend of attracting a large number of high quality submissions. In more detail, 71 papers were submitted to the ATAL 2000 workshop, from 21 countries. After stringent reviewing, 22 papers were accepted for publication and appear in these proceedings. As with previous workshops in the series, we chose to emphasize what we perceive asimportantnewthemesinagentresearch. Thisyear sthemeswerebothassociatedwith the fact that the technology of intelligent agents and multi-agent systems is beginning to migrate from research labs to software engineering centers. As agents are deployed in applications such as electronic commerce, and start to take over responsibilities for their human users, techniques for controlling their autonomy become crucial. As well, the availability of tools that facilitate the design and implementation of agent systems becomes an important factor in how rapidly the technology will achieve widespread use.
format Texto
topic_facet Computer science.
Computer communication systems.
Software engineering.
Computer logic.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Computer Communication Networks.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Logics and Meanings of Programs.
author Castelfranchi, Cristiano. editor.
Lespérance, Yves. editor.
SpringerLink (Online service)
author_facet Castelfranchi, Cristiano. editor.
Lespérance, Yves. editor.
SpringerLink (Online service)
author_sort Castelfranchi, Cristiano. editor.
title Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings /
title_short Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings /
title_full Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings /
title_fullStr Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings /
title_full_unstemmed Intelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings /
title_sort intelligent agents vii agent theories architectures and languages [electronic resource] : 7th international workshop, atal 2000 boston, ma, usa, july 7–9, 2000 proceedings /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 2001
url http://dx.doi.org/10.1007/3-540-44631-1
work_keys_str_mv AT castelfranchicristianoeditor intelligentagentsviiagenttheoriesarchitecturesandlanguageselectronicresource7thinternationalworkshopatal2000bostonmausajuly792000proceedings
AT lesperanceyveseditor intelligentagentsviiagenttheoriesarchitecturesandlanguageselectronicresource7thinternationalworkshopatal2000bostonmausajuly792000proceedings
AT springerlinkonlineservice intelligentagentsviiagenttheoriesarchitecturesandlanguageselectronicresource7thinternationalworkshopatal2000bostonmausajuly792000proceedings
_version_ 1756266853385109504
spelling KOHA-OAI-TEST:1962482018-07-30T23:21:59ZIntelligent Agents VII Agent Theories Architectures and Languages [electronic resource] : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings / Castelfranchi, Cristiano. editor. Lespérance, Yves. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,2001.engIntelligent agents are one of the most important developments in computer science of the past decade. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process control. The ATAL workshop series aims to bring together researchers interested in the core/micro aspects of agent technology. Speci?cally, ATAL addresses issues such as theories of agency, software architectures for intelligent agents, methodologies and programming languages for r- lizing agents, and software tools for applying and evaluating agent systems. One of the strengthsoftheATALworkshopseriesisitsemphasisonthesynergiesbetweentheories, languages, architectures, infrastructures, methodologies, and formal methods. This year s workshop continued the ATAL trend of attracting a large number of high quality submissions. In more detail, 71 papers were submitted to the ATAL 2000 workshop, from 21 countries. After stringent reviewing, 22 papers were accepted for publication and appear in these proceedings. As with previous workshops in the series, we chose to emphasize what we perceive asimportantnewthemesinagentresearch. Thisyear sthemeswerebothassociatedwith the fact that the technology of intelligent agents and multi-agent systems is beginning to migrate from research labs to software engineering centers. As agents are deployed in applications such as electronic commerce, and start to take over responsibilities for their human users, techniques for controlling their autonomy become crucial. As well, the availability of tools that facilitate the design and implementation of agent systems becomes an important factor in how rapidly the technology will achieve widespread use.Agent Theories I -- Optimistic and Disjunctive Agent Design Problems -- Updating Mental States from Communication -- Sensing Actions, Time, and Concurrency in the Situation Calculus -- Agent Development Tools and Platforms -- Developing Multiagent Systems with agentTool -- Layered Disclosure: Revealing Agents’ Internals -- Architectures and Idioms: Making Progress in Agent Design -- Developing Multi-agent Systems with JADE -- Agent Theories II -- High-Level Robot Control through Logic -- Determining the Envelope of Emergent Agent Behaviour via Architectural Transformation -- Models of Agent Communication and Coordination -- Delegation and Responsibility -- Agent Theory for Team Formation by Dialogue -- Task Coordination Paradigms for Information Agents -- Autonomy and Models of Agent Coordination -- Plan Analysis for Autonomous Sociological Agents -- Multiagent Bidding Mechanisms for Robot Qualitative Navigation -- Performance of Coordinating Concurrent Hierarchical Planning Agents Using Summary Information -- Agent Languages -- Agent Programming with Declarative Goals -- Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application -- Generalised Object-Oriented Concepts for Inter-agent Communication -- Specification of Heterogeneous Agent Architectures -- Planning, Decision Making, and Learning -- Improving Choice Mechanisms within the BVG Architecture -- Planning-Task Transformations for Soft Deadlines -- An Architectural Framework for Integrated Multiagent Planning, Reacting, and Learning -- Panel Summary: Agent Development Tools -- Panel Summary: Agent Development Tools -- Panel Summary: Autonomy —Theory, Dimensions, and Regulation -- Again on Agents’ Autonomy: A Homage to AlanTuring — Panel Chair’s Statement -- Autonomy as Decision-Making Control -- Autonomy: Theory, Dimensions, and Regulation -- Situated Autonomy -- Autonomy: A Nice Idea in Theory -- Adjustable Autonomy: A Response.Intelligent agents are one of the most important developments in computer science of the past decade. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process control. The ATAL workshop series aims to bring together researchers interested in the core/micro aspects of agent technology. Speci?cally, ATAL addresses issues such as theories of agency, software architectures for intelligent agents, methodologies and programming languages for r- lizing agents, and software tools for applying and evaluating agent systems. One of the strengthsoftheATALworkshopseriesisitsemphasisonthesynergiesbetweentheories, languages, architectures, infrastructures, methodologies, and formal methods. This year s workshop continued the ATAL trend of attracting a large number of high quality submissions. In more detail, 71 papers were submitted to the ATAL 2000 workshop, from 21 countries. After stringent reviewing, 22 papers were accepted for publication and appear in these proceedings. As with previous workshops in the series, we chose to emphasize what we perceive asimportantnewthemesinagentresearch. Thisyear sthemeswerebothassociatedwith the fact that the technology of intelligent agents and multi-agent systems is beginning to migrate from research labs to software engineering centers. As agents are deployed in applications such as electronic commerce, and start to take over responsibilities for their human users, techniques for controlling their autonomy become crucial. As well, the availability of tools that facilitate the design and implementation of agent systems becomes an important factor in how rapidly the technology will achieve widespread use.Computer science.Computer communication systems.Software engineering.Computer logic.Artificial intelligence.Computer Science.Artificial Intelligence (incl. Robotics).Computer Communication Networks.Software Engineering/Programming and Operating Systems.Software Engineering.Logics and Meanings of Programs.Springer eBookshttp://dx.doi.org/10.1007/3-540-44631-1URN:ISBN:9783540446316