1544 search results - page 136 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
212
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
175
click to vote
ICALP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
180
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
174
click to vote
DLOG
2003
15 years 8 months ago
2003
The Wine Agent is a demonstration system that uses an underlying domain ontology to provide suitable wines for a given meal. In doing so it serves as a testbed, not only for the l...
166
click to vote
DLOG
2004
15 years 8 months ago
2004
Medical Terminological Knowledge Bases contain a large number of primitive concept definitions. This is due to the large number of natural kinds that are represented, and due to t...