4266 search results - page 110 / 854 » A Framework for Defining Logics |
DLOG
1998
14 years 11 months ago
1998
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...
ENTCS
2006
14 years 10 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
JANCL
2007
14 years 9 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...
100
click to vote
EUSFLAT
2009
14 years 7 months ago
2009
Abstract-- This paper examines type-2 fuzzy arithmetic using interval analysis. It relies heavily on alpha-cuts and alpha-planes. Furthermore, we discuss the use of quasi type-2 fu...
107
click to vote
APSEC
2001
IEEE
15 years 1 months ago
2001
IEEE
is a mechanism for abstraction and encapsulation of languages. It aims to make the best support on the definition and implementation of new languages, especially DSLs (Domain Spec...