3706 search results - page 20 / 742 » OntoComP System Description |
135
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
133
Voted
CADE
1998
Springer
15 years 8 months ago
1998
Springer
130
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
153
click to vote
CADE
1992
Springer
15 years 8 months ago
1992
Springer
network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Spon...
MUC
1993
15 years 8 months ago
1993