4217 search results - page 9 / 844 » Computational indistinguishability logic |
ECEASST
2010
13 years 4 months ago
2010
ation and logic. The logic courses mainly provided a very abstract and
TARK
2009
Springer
14 years 1 months ago
2009
Springer
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
PODS
2008
ACM
14 years 7 months ago
2008
ACM
A schema mapping is a high-level specification that describes the relationship between two database schemas. As schema mappings constitute the essential building blocks of data ex...
AAAI
2008
13 years 9 months ago
2008
Unifying first-order logic and probability is a long-standing goal of AI, and in recent years many representations combining aspects of the two have been proposed. However, infere...
FOSSACS
2004
Springer
14 years 24 days ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...