Sciweavers

552 search results - page 24 / 111
» A Reasoning Framework for Ambient Intelligence
Sort
View
KI
1994
Springer
13 years 11 months ago
Combining Spatial and Terminological Reasoning
The paper presentsa method for terminological reasoningabout spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geograp...
Volker Haarslev, Ralf Möller, Carsten Schr&ou...
ICAI
2009
13 years 5 months ago
How Reasoning Achieves Context Integration into Syntax Parsing
Motivated by a representational model for the cross-modal interaction between language and other modalities we present a framework for the integration of contextual information int...
Patrick McCrae
AUSAI
2009
Springer
14 years 2 months ago
Simple Default Reasoning in Theories of Action
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
Hannes Strass, Michael Thielscher
ECAI
2004
Springer
14 years 1 months ago
Expectation Reasoning Using Regret and Disappointment
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
Bình Vu Trân, James Harland, Margaret...
AAAI
2007
13 years 10 months ago
Reasoning about Bargaining Situations
This paper presents a logical axiomatization of bargaining solutions. A bargaining situation is described in propositional logic and the bargainers’ preferences are quantified ...
Dongmo Zhang