3446 search results - page 111 / 690 » A Reasoning Algorithm for pD* |
TIME
2008
IEEE
15 years 8 months ago
2008
IEEE
We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisfi...
ESA
2005
Springer
15 years 7 months ago
2005
Springer
In geographic information retrieval users use names of geographic regions that do not have a well-defined boundary, like Southern France. We present two approaches to compute rea...
131
click to vote
TPHOL
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract. This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and re...
AIML
2004
15 years 2 months ago
2004
In this paper we give the notion of modularity of a theory and analyze some of its properties, especially for the case of action theories in reasoning about actions. We propose alg...
122
click to vote
IJVR
2008
15 years 1 months ago
2008
This paper describes the architecture for a virtual agent and the implementation of its Affection Module. A novel affective model is proposed based on Probabilistic Fuzzy Cognitive...