Sciweavers

498 search results - page 33 / 100
» A Formal Foundation for ODRL
Sort
View
173
Voted
ICDE
2000
IEEE
116views Database» more  ICDE 2000»
15 years 11 months ago
Query Plans for Conventional and Temporal Queries Involving Duplicates and Ordering
Most real-world database applications contain a substantial portion of time-referenced, or temporal, data. Recent advances in temporal query languages show that such database appl...
Giedrius Slivinskas, Christian S. Jensen, Richard ...
ICDT
2009
ACM
127views Database» more  ICDT 2009»
15 years 4 months ago
A logical account of uncertain databases based on linear logic
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
Sungwoo Park, Seung-won Hwang
DBPL
2007
Springer
100views Database» more  DBPL 2007»
15 years 4 months ago
Provenance as Dependency Analysis
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...
James Cheney, Amal Ahmed, Umut A. Acar
ECAI
2004
Springer
15 years 3 months ago
Models of Behavior Deviations in Model-Based Systems
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
Peter Struss
AIPRF
2007
14 years 11 months ago
On the Role of Interactive Epistemology in Multiagent Planning
This paper focuses on the foundational role of interactive epistemology in the problem of generating plans for rational agents in multiagent settings. Interactive epistemology dea...
Prashant Doshi