Sciweavers

5378 search results - page 206 / 1076
» Base Logics in Argumentation
Sort
View
BIRTHDAY
2006
Springer
15 years 10 months ago
Quantum Institutions
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...
Carlos Caleiro, Paulo Mateus, Amílcar Serna...
AAAI
2010
15 years 8 months ago
Past and Future of DL-Lite
We design minimal temporal description logics that are capable of expressing various aspects of temporal conceptual data models and investigate their computational complexity. We ...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
FSS
2006
82views more  FSS 2006»
15 years 6 months ago
From fuzzy logic to fuzzy mathematics: A methodological manifesto
The paper states the problem of fragmentation of contemporary fuzzy mathematics and the need of a unified methodology and formalism. We formulate several guidelines based on H
Libor Behounek, Petr Cintula
FLAIRS
2008
15 years 9 months ago
Toward Markov Logic with Conditional Probabilities
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
Jens Fisseler
CORR
2000
Springer
132views Education» more  CORR 2000»
15 years 6 months ago
Uniform semantic treatment of default and autoepistemic logics
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
Marc Denecker, Victor W. Marek, Miroslaw Truszczyn...