1634 search results - page 101 / 327 » Reasoning about Knowledge Using Rough Sets |
101
Voted
AI
2010
Springer
15 years 27 days ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
JIIS
2000
15 years 16 days ago
2000
Knowledge discovery from data sets can be extensively automated by using data mining software tools. Techniques for mining series of interval events, however, have not been conside...
91
Voted
CL
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents a method for representing trees using constraint logic programming over finite domains. We describe a class of trees that is of particular interest to us and h...
103
Voted
RSFDGRC
2005
Springer
15 years 6 months ago
2005
Springer
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...