2766 search results - page 107 / 554 » Hybridizing a Logical Framework |
115
click to vote
ISQED
2009
IEEE
15 years 11 months ago
2009
IEEE
— With continued scaling, reliability is emerging as a critical challenge for the designers of digital circuits. The challenge stems in part from the lack of computationally efï¬...
106
click to vote
MLG
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a framework for an empirical evaluation of probabilistic logic languages and systems.
169
click to vote
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
126
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
136
click to vote
SLOGICA
2008
15 years 4 months ago
2008
Fuzzy logics are in most cases based on an ad-hoc decision about the interpretation of the conjunction. If they are useful or not can typically be found out only by testing them wi...