2253 search results - page 121 / 451 » The ComFoRT Reasoning Framework |
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents an approach to learning an optimal behavioral parameterization in the framework of a Case-Based Reasoning methodology for autonomous navigation tasks. It is ba...
ICCBR
2007
Springer
14 years 4 months ago
2007
Springer
This paper addresses the role of case-based reasoning in semantic search, and in particular, as it applies to Knowledge Sifter, an agent-based ontology-driven search system based o...
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use ...
CADE
1994
Springer
14 years 2 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
CADE
1992
Springer
14 years 2 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...