2585 search results - page 31 / 517 » Automating Coherent Logic |
172
Voted
ILP
2004
Springer
16 years 24 days ago
2004
Springer
150
Voted
LOPSTR
2004
Springer
16 years 24 days ago
2004
Springer
227
Voted
ILP
2001
Springer
15 years 12 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 ...
204
Voted
DLOG
1998
15 years 8 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 ...
156
Voted
LICS
2002
IEEE
16 years 10 days ago
2002
IEEE