1581 search results - page 28 / 317 » Mechanizing Inductive Reasoning |
126
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
We present a new algorithm for model-checking weak monadic second-order logic on inductive structures, a class of structures of bounded clique width. Our algorithm directly manipul...
110
click to vote
ILP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Inductive Logic Programming (ILP) has been applied to discover rules governing the three-dimensional topology of protein structure. The data-set unifies two sources of in...
131
click to vote
LOPSTR
1998
Springer
15 years 6 months ago
1998
Springer
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...
119
click to vote
CADE
1994
Springer
15 years 6 months ago
1994
Springer
Pi is a system for the interactive construction and editing of formal derivations in the calculus of finitary partial inductive definitions. This calculus can be used as a logical ...
120
click to vote
ECSQARU
1999
Springer
15 years 6 months ago
1999
Springer
: In this paper we consider the problem of inducing causal relations from statistical data. Although it is well known that a correlation does not justify the claim of a causal rela...