1083 search results - page 65 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
109
click to vote
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
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...
128
click to vote
JAIR
2007
15 years 1 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
123
click to vote
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...
128
click to vote
ICLP
1998
Springer
15 years 6 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...