1486 search results - page 7 / 298 » A Logically Saturated Extension of |
AMAI
2000
Springer
13 years 7 months ago
2000
Springer
principled ones
CADE
2005
Springer
14 years 1 months ago
2005
Springer
AIML
1998
13 years 9 months ago
1998
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
FUZZIEEE
2007
IEEE
14 years 2 months ago
2007
IEEE
— Possibilistic logic is essentially a formalism for handling qualitative uncertainty with an inference machinery that remains close to the one of classical logic. It is capable ...
LATA
2012
Springer
12 years 3 months ago
2012
Springer
We investigate the application of Courcelle’s Theorem and the logspace version of Elberfeld et al. in the context of the implication problem for propositional sets of formulae, t...