Sciweavers

473 search results - page 43 / 95
» Interrogative theory of information and knowledge
Sort
View
LPNMR
2009
Springer
16 years 5 days ago
The Complexity of Circumscriptive Inference in Post's Lattice
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...
Michael Thomas
234
Voted
SEAAI
1998
Springer
15 years 9 months ago
On theoretical backgrounds of CAD
Abstract. In the past, some information technologies (IT) have quickly been adopted by the engineering practice while the implementation of others has been slower. In the paper, th...
Ziga Turk
ACM
1995
15 years 9 months ago
Rough Sets
We study properties of rough sets, that is, approximations to sets of records in a database or, more formally, to subsets of the universe of an information system. A rough set is a...
Zdzislaw Pawlak
ICDE
2004
IEEE
111views Database» more  ICDE 2004»
16 years 7 months ago
Modeling Uncertainties in Publish/Subscribe Systems
In the publish/subscribe paradigm, information providers disseminate publications to all consumers who have expressed interest by registering subscriptions. This paradigm has foun...
Haifeng Liu, Hans-Arno Jacobsen
190
Voted
CCS
2005
ACM
15 years 11 months ago
PeerAccess: a logic for distributed authorization
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
Marianne Winslett, Charles C. Zhang, Piero A. Bona...