Sciweavers

5818 search results - page 228 / 1164
» A reasonable Semantic Web
Sort
View
ASWC
2006
Springer
15 years 11 months ago
Semantic Autocompletion
This paper generalizes the idea of traditional syntactic text autocompletion onto the semantic level. The idea is to autocomplete typed text into ontological categories instead of ...
Eero Hyvönen, Eetu Mäkelä
NMR
2004
Springer
16 years 16 days ago
A unifying semantics for belief change
Richard Booth, Samir Chopra, Thomas Andreas Meyer,...
221
Voted
JAIR
2010
160views more  JAIR 2010»
15 years 5 months ago
Reasoning About the Transfer of Control
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
Wiebe van der Hoek, Dirk Walther, Michael Wooldrid...
258
Voted
POPL
2012
ACM
14 years 2 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...
ECSQARU
2009
Springer
16 years 1 months ago
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data
Abstract. We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structur...
Ofer Arieli, Anna Zamansky