2303 search results - page 157 / 461 » On the logic of argumentation theory |
138
click to vote
COLING
2010
15 years 1 months ago
2010
With OWL (Web Ontology Language) established as a standard for encoding ontologies on the Semantic Web, interest has begun to focus on the task of verbalising OWL code in controll...
166
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
179
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
This paper proposes a logic for causal based on event trees. Event trees provide a natural and familiar framework for probability and decision theory, but they lack the modularity...
149
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machi...
178
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
In this work we propose a general approach for representing uncertainty measures in the framework of t-norm based logics. This approach is extended also to classes of measures lik...