3738 search results - page 254 / 748 » Parametrized Logic Programming |
153
click to vote
FSTTCS
1999
Springer
15 years 8 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
136
click to vote
ISQED
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract — Nanoelectronic design faces unprecedented reliability challenges and must achieve noise immunity and delay insensitiveness in the presence of prevalent defects and sig...
154
click to vote
WLP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
139
click to vote
KSEM
2010
Springer
15 years 2 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
237
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...