TACAS
2000
Springer
15 years 7 months ago
2000
Springer
125
click to vote
TABLEAUX
2000
Springer
15 years 7 months ago
2000
Springer
The aim of the TABLEAUX-2000 Non-Classical (Modal) System Comparisons (TANCS-2000) is to provide a set of benchmarks and a standardized methodology for the assessment and compariso...
146
click to vote
COMPGEOM
1995
ACM
15 years 7 months ago
1995
ACM
A convex polytope P can be speci ed in two ways: as the convex hull of the vertex set V of P, or as the intersection of the set H of its facet-inducing halfspaces. The vertex enum...
124
click to vote
TABLEAUX
2000
Springer
15 years 7 months ago
2000
Springer
We present an approach to inductive theorem proving that integrates rippling-based rewriting into matrix-based logical proof search. The selection of appropriate connections in a m...
140
click to vote
TABLEAUX
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...