15 search results - page 1 / 3 » tableaux 1999 |
TABLEAUX
1999
Springer
13 years 10 months ago
1999
Springer
TABLEAUX
1999
Springer
13 years 10 months ago
1999
Springer
TABLEAUX
1999
Springer
13 years 10 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 10 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 10 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...