15 search results - page 1 / 3 » tableaux 1999 |
TABLEAUX
1999
Springer
13 years 9 months ago
1999
Springer
TABLEAUX
1999
Springer
13 years 9 months ago
1999
Springer
TABLEAUX
1999
Springer
13 years 9 months ago
1999
Springer
We prove, by introducing a new kind of sequent calculus, that the decision problem for the non-associative Lambek calculus with product belongs to PTIME. This solves an open prolem...
TABLEAUX
1999
Springer
13 years 9 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
1999
Springer
13 years 9 months ago
1999
Springer
Appeared in: N.V. Murray, editor, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’99), Lecture Notes in Artificial Intelligence 1617, Springer, pages 2...