1462 search results - page 3 / 293 » Autoepistemic Description Logics |
LATA
2012
Springer
12 years 6 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...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
FUIN
2007
13 years 10 months ago
2007
DIS
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. To the best of our knowledge, this paper is the first attempt to formalise a pragmatic logic of scientific discovery in a manner such that it can be realised by scientist...
AAAI
1998
14 years 6 days ago
1998
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and de ne the semantics as its least xpoint. The semantics is...