171 search results - page 4 / 35 » Classical Logic, Continuation Semantics and Abstract Machine... |
LICS
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
CLEIEJ
2006
14 years 9 months ago
2006
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alpha...
DLOG
2008
14 years 11 months ago
2008
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
EUSFLAT
2009
14 years 7 months ago
2009
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
61
Voted
CAV
2007
Springer
15 years 3 months ago
2007
Springer
lued Abstraction for Continuous-Time Markov Chains⋆ Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 RWTH Aachen University1 , TU Munich2 , University of...