2519 search results - page 298 / 504 » Reasoning with Textual Cases |
162
click to vote
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
171
click to vote
IH
2005
Springer
16 years 2 days ago
2005
Springer
We study the effect compulsion attacks, through which an adversary can request a decryption or key from an honest node, have on the security of mix based anonymous communication s...
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...
204
click to vote
LPNMR
2005
Springer
16 years 2 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...
171
click to vote
OTM
2005
Springer
16 years 2 days ago
2005
Springer
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...