108 search results - page 1 / 22 » Finite Model Reasoning in DL-Lite |
107
Voted
DLOG
1996
15 years 5 months ago
1996
106
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...