2649 search results - page 134 / 530 » Temporal Theories of Reasoning |
167
click to vote
FSKD
2007
Springer
16 years 21 days ago
2007
Springer
Evidence theory has been widely applied to uncertainty reasoning. In this paper a finite state machine with evidential reasoning is proposed to control autonomous robots. The Khep...
161
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
This article provides an experimental analysis of the possibilistic handling of default rules. Three different nonmonotonic consequence relations are considered: minimum specifici...
179
click to vote
DOLAP
2005
ACM
15 years 8 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
175
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
189
click to vote
JSC
2000
15 years 6 months ago
2000
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...