3776 search results - page 65 / 756 » Partition-Based Logical Reasoning |
NIL
1991
14 years 1 months ago
1991
In this paper we continue investigations of proof theory of default logic. It turns out that, similarly to classical logic, default theories can be represented in normal forms.
CSL
1999
Springer
13 years 9 months ago
1999
Springer
We explain why the original proofs of P-Time completeness for Light Affine Logic and Light Linear Logic can not work, and we fully develop a working one.
LICS
2002
IEEE
14 years 3 months ago
2002
IEEE
TIME
2002
IEEE
14 years 3 months ago
2002
IEEE
FLOPS
2001
Springer
14 years 2 months ago
2001
Springer