2022 search results - page 4 / 405 » Complexity of Non-Monotonic Logics |
ASP
2005
Springer
14 years 3 months ago
2005
Springer
Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...
FLAIRS
2004
13 years 11 months ago
2004
We propose a rigorous definition of the notion of typicality, making use of the strict partial order naturally induced among the objects at hand by a given concept. This perspecti...
KR
2004
Springer
14 years 3 months ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
LATA
2012
Springer
12 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...
EUSFLAT
2009
13 years 7 months ago
2009
The present article dedicates itself to fuzzy modelling of data