1581 search results - page 28 / 317 » Mechanizing Inductive Reasoning |
171
click to vote
CSL
2010
Springer
15 years 7 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...
169
click to vote
ILP
1998
Springer
15 years 10 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...
177
click to vote
LOPSTR
1998
Springer
15 years 10 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...
157
click to vote
CADE
1994
Springer
15 years 10 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 ...
168
click to vote
ECSQARU
1999
Springer
15 years 10 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...