11436 search results - page 103 / 2288 » Modeling Real Reasoning |
110
Voted
IJCAI
1989
15 years 2 months ago
1989
This paper presents methods of default reasoning which allow us to draw negative conclusions that are not available in some of the models for inheritance reasoning. Some of these ...
104
Voted
DLOG
1996
15 years 2 months ago
1996
fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...
114
Voted
CADE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
100
click to vote
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
155
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...