2432 search results - page 58 / 487 » Cryptographic logical relations |
139
click to vote
JAIR
2008
15 years 4 months ago
2008
The notion of strong equivalence on logic programs with answer set semantics gives rise to a consequence relation on logic program rules, called SE-consequence. We present a sound...
154
click to vote
TABLEAUX
2000
Springer
15 years 7 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
180
click to vote
AC
1992
Springer
15 years 8 months ago
1992
Springer
Logic and databases have gone a long way together since the advent of relational databases. Already the rst basic query languages for relational databases beside relational algebra...
143
Voted
COMMA
2010
14 years 11 months ago
2010
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
277
click to vote
WEA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. A new technique for combinational logic optimization is described. The technique is a two-step process. In the first step, the nonlinearity of a circuit – as measured ...