Sciweavers

4595 search results - page 696 / 919
» Reasoning about Plans
Sort
View
WEBDB
2009
Springer
100views Database» more  WEBDB 2009»
14 years 4 months ago
Towards Well-Behaved Schema Evolution
We study the problem of schema evolution in the RDF data model. RDF and the RDFS schema language are W3C standards for flexibly modeling and sharing data on the web. Although sch...
Rada Chirkova, George H. L. Fletcher
ARGMAS
2009
Springer
14 years 4 months ago
Dominant Decisions by Argumentation Agents
Abstract. We introduce a special family of (assumption-based argumentation) frameworks for reasoning about the bene ts of decisions. These frameworks can be used for representing t...
Paul-Amaury Matt, Francesca Toni, Juan R. Vaccari
ATAL
2009
Springer
14 years 4 months ago
Like an intuitive and courteous butler: a proactive personal agent for task management
The ability to proactively offer assistance promises to make personal agents more helpful to their users. We characterize the properties desired of proactive behaviour by a person...
Neil Yorke-Smith, Shahin Saadati, Karen L. Myers, ...
ATAL
2009
Springer
14 years 4 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
COSIT
2009
Springer
179views GIS» more  COSIT 2009»
14 years 4 months ago
An Algebraic Approach to Image Schemas for Geographic Space
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
Lisa Walton, Michael F. Worboys