1544 search results - page 23 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
DLOG
2003
13 years 8 months ago
2003
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
CADE
1992
Springer
13 years 11 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...
CADE
2005
Springer
14 years 7 months ago
2005
Springer
We present sKizzo, a system designed to evaluate and certify Quantified Boolean Formulas (QBFs) by means of propositional skolemization and symbolic reasoning.
CADE
1999
Springer
13 years 11 months ago
1999
Springer
KR
1994
Springer
13 years 11 months ago
1994
Springer