3468 search results - page 144 / 694 » An open logical framework |
100
Voted
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
120
Voted
WILF
2007
Springer
15 years 7 months ago
2007
Springer
The conceptual formalism supported by an ontology is not sufficient for handling vague information that is commonly found in many application domains. We describe how to introduce...
104
Voted
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
118
Voted
EUSFLAT
2007
15 years 2 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...
98
Voted
IJAIT
2006
15 years 25 days ago
2006
This article constitutes a contribution to an analysis of the notion of variable. Whithin the framework of Combinatory Logic as a formalism without bound variables, the Logic of D...