3773 search results - page 109 / 755 » Logical Reasoning |
128
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters
100
Voted
CSL
2005
Springer
15 years 9 months ago
2005
Springer
We study the complexity of model-checking for the fixpoint extension of Hintikka and Sandu’s independence-friendly logic. We show that this logic captures ExpTime; and by embedd...
109
Voted
IJIS
2002
15 years 3 months ago
2002
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
139
Voted
DLOG
2006
15 years 4 months ago
2006
Fuzzy Description Logics have been proposed in the literature as a way to represent and reason with vague and imprecise knowledge. Their decidability, the empirically tractable an...
133
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...