Sciweavers

409 search results - page 11 / 82
» Semantics for a theory of defeasible reasoning
Sort
View
ECSQARU
2009
Springer
14 years 2 months ago
A Note on Cumulative Stereotypical Reasoning
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
Giovanni Casini, Hykel Hosni
IJCAI
1993
13 years 8 months ago
Statistical Foundations for Default Reasoning
We describe a new approach to default reasoning, based on a principle of indi erence among possible worlds. We interpret default rules as extreme statistical statements, thus obta...
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...
DLOG
2009
13 years 5 months ago
Reasoning About Typicality in ALC and EL
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
Laura Giordano, Valentina Gliozzi, Nicola Olivetti...
ECSQARU
2005
Springer
14 years 1 months ago
Possibility Theory for Reasoning About Uncertain Soft Constraints
Abstract. Preferences and uncertainty occur in many real-life problems. The theory of possibility is one non-probabilistic way of dealing with uncertainty, which allows for easy in...
Maria Silvia Pini, Francesca Rossi, Kristen Brent ...
POPL
2012
ACM
12 years 3 months ago
Probabilistic relational reasoning for differential privacy
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
Gilles Barthe, Boris Köpf, Federico Olmedo, S...