1087 search results - page 2 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
DLOG
2007
13 years 7 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
LPAR
2010
Springer
13 years 3 months ago
2010
Springer
Induction proofs often fail because the stated theorem is noninductive, in which case the user must strengthen the theorem or prove auxiliary properties before performing the induc...
CADE
2001
Springer
14 years 4 months ago
2001
Springer
CADE
2010
Springer
13 years 5 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
CADE
2010
Springer
13 years 5 months ago
2010
Springer
