2272 search results - page 48 / 455 » A Calculus for |
LACL
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus c...
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...
FLAIRS
2004
15 years 1 months ago
2004
We present a tool for commonsense reasoning in the classical logic event calculus using satisfiability. We describe the tool, which takes event calculus reasoning problems as inpu...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We present an algorithm for computing directly the denotation of a modal
ENTCS
2008
14 years 12 months ago
2008
System L is a linear version of G