2082 search results - page 190 / 417 » Change Paths in Reasoning! |
145
Voted
AGI
2008
15 years 5 months ago
2008
Representing uncertainty and reasoning with dynamically evolving systems are two related issues that are in the heart of many information systems. In this paper we show that these ...
143
click to vote
AAAI
2000
15 years 5 months ago
2000
We present a general algorithm for synthesizing state invariants that speed up automated planners and have other applications in reasoning about change. Invariants are facts that ...
135
click to vote
WOA
2000
15 years 5 months ago
2000
If we consider most applications accessible through the Web, we can notice a lack of support able to adapt to the different information needs that different users may have regardi...
121
click to vote
COLING
1996
15 years 5 months ago
1996
The paper presents the Constructive Dialogue Model as a new approach to formulate system goals in intelligent dialogue systems. The departure point is in general communicative pri...
148
click to vote
JANCL
2007
15 years 4 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...