381 search results - page 2 / 77 » Tableaux for Acceptance Logic |
TABLEAUX
2005
Springer
13 years 11 months ago
2005
Springer
TABLEAUX
2000
Springer
13 years 9 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 ...
SEMWEB
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. After becoming a W3C Recommendation, OWL is becoming increasingly widely accepted and used. However most people still find it difficult to create and use OWL ontologies...
TABLEAUX
1999
Springer
13 years 10 months ago
1999
Springer
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.
TABLEAUX
1997
Springer
13 years 10 months ago
1997
Springer
Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariabl...