1087 search results - page 27 / 218 » Exploiting Description Logic Reasoners in Inductive Logic |
DLOG
1997
15 years 2 months ago
1997
DLOG
2009
14 years 11 months ago
2009
90
Voted
DLOG
2011
14 years 5 months ago
2011
CADE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Focused proof systems provide means for reducing and structuring the non-determinism involved in searching for sequent calculus proofs. We present a focused proof system ...
174
click to vote
KRDB
2003
15 years 2 months ago
2003
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...