1445 search results - page 81 / 289 » Abstract Interpretation of Logic Programs |
123
click to vote
LOPSTR
2004
Springer
15 years 8 months ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
195
click to vote
POPL
2001
ACM
16 years 3 months ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
126
click to vote
MLG
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. There are many connections between graph mining and inductive logic programming (ILP), or more generally relational learning. Up till now these connections have mostly be...
133
click to vote
JELIA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
106
click to vote
SBIA
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...