2253 search results - page 134 / 451 » The ComFoRT Reasoning Framework |
132
Voted
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
151
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
246
click to vote
LOGCOM
1998
15 years 3 months ago
1998
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
131
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
The ability to answer temporal-oriented questions based on clinical narratives is essential to clinical research. The temporal dimension in medical data analysis enables clinical r...
126
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...