4573 search results - page 701 / 915 » Automated Reasoning |
170
click to vote
LOPSTR
2005
Springer
16 years 2 days ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
176
click to vote
LPAR
2005
Springer
16 years 2 days ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
135
click to vote
LPAR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present new careful semantics within Dung’s theory of argumentation. Under such careful semantics, two arguments cannot belong to the same extension whenever one of ...
161
click to vote
LPAR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
148
click to vote
LPAR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...