2253 search results - page 20 / 451 » The ComFoRT Reasoning Framework |
69
Voted
AAAI
1994
15 years 15 days ago
1994
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and ...
ECAI
2004
Springer
15 years 2 months ago
2004
Springer
We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...
PAKM
2000
15 years 16 days ago
2000
In this paper we introduce our departments organizational and technical infrastructure for knowledge-intensive and weak-structured processes: A framework for Knowledge Management ...
107
click to vote
SBMF
2010
Springer
14 years 6 months ago
2010
Springer
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...
IJCAI
1997
15 years 16 days ago
1997
The class of algorithms for approximating reasoning tasks presented in this paper is based on approximating the general bucket elimination framework. The algorithms have adjustabl...