1544 search results - page 138 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
163
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
159
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...
165
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicati...
193
click to vote
CSL
2007
Springer
16 years 21 days ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
154
click to vote
LICS
1989
IEEE
15 years 10 months ago
1989
IEEE
A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the...