3776 search results - page 315 / 756 » Partition-Based Logical Reasoning |
139
click to vote
ILP
1998
Springer
15 years 9 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...
158
click to vote
LOPSTR
1998
Springer
15 years 9 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...
131
click to vote
TARK
1998
Springer
15 years 9 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
152
click to vote
CSL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
127
click to vote
ICLP
1994
Springer
15 years 8 months ago
1994
Springer
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...