Sciweavers

2395 search results - page 73 / 479
» Reasoning in Semantic Wikis
Sort
View
DLOG
2007
15 years 4 days ago
Distributed Description Logics Revisited
Distributed Description Logics (DDLs) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping (bridge rules). DDLs capture ...
Martin Homola
JAIR
2010
160views more  JAIR 2010»
14 years 8 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...
POPL
2012
ACM
13 years 5 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
15 years 4 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
FLAIRS
2004
14 years 11 months ago
Use of Default Reasoning for Disambiguation Under Question Answering
We develop the default logic for pragmatic analysis of natural language queries. Ambiguous sentences are considered so that each set of meanings is assigned an extension of defaul...
Boris Galitsky