754 search results - page 101 / 151 » An Ordered Logic Program Solver |
AIMSA
2000
Springer
15 years 5 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
106
click to vote
APPINF
2003
15 years 2 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
130
Voted
IJIT
2004
15 years 2 months ago
2004
This paper presents a semi-supervised learning algorithm called Iterative-Cross Training (ICT) to solve the Web pages classification problems. We apply Inductive logic programming ...
105
click to vote
AICOM
2010
15 years 24 days ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
133
Voted
JAR
2008
15 years 19 days ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...