3239 search results - page 57 / 648 » A Logical Process Calculus |
CORR
2009
Springer
14 years 10 months ago
2009
Springer
CORR
2009
Springer
14 years 10 months ago
2009
Springer
93
Voted
DLOG
2007
15 years 2 months ago
2007
We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau an...
91
Voted
CADE
2008
Springer
16 years 26 days ago
2008
Springer
Abstract. We present randoCoP, a theorem prover for classical firstorder logic, which integrates randomized search techniques into the connection prover leanCoP 2.0. By randomly re...
120
click to vote
CADE
2007
Springer
16 years 26 days ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...