1581 search results - page 27 / 317 » Mechanizing Inductive Reasoning |
115
click to vote
GIS
1992
ACM
15 years 3 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
109
click to vote
CORR
2010
Springer
14 years 11 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...
270
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
111
click to vote
AIIDE
2006
15 years 1 months ago
2006
Affective reasoning holds great potential for interactive digital entertainment, education, and training. Incorporating affective reasoning into the decision-making capabilities o...
TPHOL
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. Isabelle/HOL has recently acquired new versions of definitional packages for inductive datatypes and primitive recursive functions. In contrast to its predecessors and mo...