Sciweavers

925 search results - page 99 / 185
» Probabilistic Belief Logics
Sort
View
ECSQARU
2005
Springer
15 years 11 months ago
Measuring the Quality of Uncertain Information Using Possibilistic Logic
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...
Anthony Hunter, Weiru Liu
DEON
2004
Springer
15 years 9 months ago
Conflicting Imperatives and Dyadic Deontic Logic
Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to ...
Jörg Hansen
CLIMA
2010
15 years 7 months ago
An Agent Language with Destructive Assignment and Model-Theoretic Semantics
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
Robert A. Kowalski, Fariba Sadri
POPL
2012
ACM
14 years 1 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...
PSSE
2004
Springer
15 years 11 months ago
Developing and Reasoning About Probabilistic Programs in pGCL
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
Annabelle McIver, Carroll Morgan