2253 search results - page 22 / 451 » The ComFoRT Reasoning Framework |
HIS
2003
13 years 10 months ago
2003
Abstract. Categorization is a central task in cognitive science and artificial intelligence. Efficient reasoning about categories is becoming of great importance as intelligent a...
JLP
1998
13 years 8 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
RSCTC
2000
Springer
14 years 6 days ago
2000
Springer
Abstract. Rough sets have traditionally been applied to decision (classification) problems. We suggest that rough sets are even better suited for reasoning. It has already been sho...
KR
1991
Springer
14 years 4 days ago
1991
Springer
This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference...
AI
2005
Springer
13 years 8 months ago
2005
Springer
The paper provides a unifying perspective of tree-decomposition algorithms appearing in various automated reasoning areas such as join-tree clustering for constraint-satisfaction ...