2585 search results - page 31 / 517 » Automating Coherent Logic |
ILP
2004
Springer
14 years 3 months ago
2004
Springer
LOPSTR
2004
Springer
14 years 3 months ago
2004
Springer
ILP
2001
Springer
14 years 2 months ago
2001
Springer
In the line of previous work by S. Muggleton and C. Sakama, we extend the logical characterization of inductive logic programming, to normal logic programs under the stable models ...
DLOG
1998
13 years 11 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
LICS
2002
IEEE
14 years 2 months ago
2002
IEEE