4617 search results - page 726 / 924 » Automation of Diagrammatic Reasoning |
181
click to vote
LPAR
2005
Springer
16 years 19 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...
165
click to vote
LPAR
2005
Springer
16 years 19 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...
230
click to vote
LPNMR
2005
Springer
16 years 19 days ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
186
click to vote
LPNMR
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
187
click to vote
LPNMR
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...