217 search results - page 2 / 44 » A Logic for Approximate First-Order Reasoning |
86
Voted
LICS
1997
IEEE
15 years 5 months ago
1997
IEEE
131
Voted
TABLEAUX
2000
Springer
15 years 4 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
100
Voted
LICS
1995
IEEE
15 years 4 months ago
1995
IEEE
96
Voted
LICS
1991
IEEE
15 years 4 months ago
1991
IEEE
99
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer