2272 search results - page 48 / 455 » A Calculus for |
LACL
1998
Springer
14 years 8 days 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
13 years 11 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
13 years 10 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
13 years 8 months ago
2010
Springer
We present an algorithm for computing directly the denotation of a modal
ENTCS
2008
13 years 8 months ago
2008
System L is a linear version of G