Sciweavers

574 search results - page 36 / 115
» Coalitions in Action Logic
Sort
View
AI
2003
Springer
14 years 1 months ago
A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
Christel Kemke
MATES
2005
Springer
14 years 1 months ago
Programming Cognitive Agents
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
John-Jules Ch. Meyer
FUIN
2007
130views more  FUIN 2007»
13 years 7 months ago
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
Thomas Eiter, Esra Erdem, Wolfgang Faber, Já...
JLP
2007
159views more  JLP 2007»
13 years 7 months ago
Reasoning about interaction protocols for customizing web service selection and composition
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
CORR
2004
Springer
112views Education» more  CORR 2004»
13 years 7 months ago
A Framework for Creating Natural Language User Interfaces for Action-Based Applications
In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent compone...
Stephen Chong, Riccardo Pucella