3573 search results - page 341 / 715 » Reasoning about Codata |
157
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
146
Voted
IH
2005
Springer
15 years 10 months 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...
113
click to vote
ILP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
115
click to vote
ILP
2005
Springer
15 years 10 months ago
2005
Springer
The Cyc KB has a rich pre-existing ontology for representing common sense knowledge. To clarify and enforce its terms’ semantics and to improve inferential efficiency, the Cyc on...
145
click to vote
ISMIS
2005
Springer
15 years 10 months ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...