2022 search results - page 82 / 405 » Complexity of Non-Monotonic Logics |
116
click to vote
DAGSTUHL
2003
15 years 2 months ago
2003
In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...
108
Voted
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. For a reasonable sound and complete proof calculus for firstorder logic consider the problem to decide, given a sentence of firstorder logic and a natural number n, whet...
113
Voted
SEBD
2007
15 years 2 months ago
2007
The use of ontologies in various application domains, such as Data Integration, the Semantic Web, or ontology-based data management, where ontologies provide the access to large am...
114
Voted
DLOG
2001
15 years 2 months ago
2001
Description logics have been designed and studied in a modular way. This has allowed a methodic approach to complexity evaluation. We present a way to preserve this modularity in ...
96
Voted
ENTCS
2010
15 years 23 days ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...