2035 search results - page 4 / 407 » On the complexity of stratified logics |
LATA
2012
Springer
13 years 5 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...
ECSQARU
2009
Springer
15 years 1 months ago
2009
Springer
Most operators for merging multiple knowledge bases (where each is a set of formulae) aim to produce a knowledge base as output that best reflects the information available in the ...
101
click to vote
BIRTHDAY
2008
Springer
15 years 2 days ago
2008
Springer
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...
AIR
2006
14 years 10 months ago
2006
Recently, the problem of inconsistency handling in description logics has attracted a lot of attention. Many approaches have been proposed to deal with this problem based on existi...
JANCL
2002
14 years 9 months ago
2002
ABSTRACT. It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of rea...