Sciweavers

1008 search results - page 27 / 202
» Logic and Databases
Sort
View
ER
2009
Springer
126views Database» more  ER 2009»
14 years 2 months ago
A Frame Manipulation Algebra for ER Logical Stage Modelling
Antonio L. Furtado, Marco A. Casanova, Karin Kooga...
FQAS
2004
Springer
104views Database» more  FQAS 2004»
14 years 1 months ago
Logic-Based Integration of Query Answering and Knowledge Discovery
Abstract. There is currently great interest in integrating knowledge discovery research into mainstream database systems. Such an enterprise is nontrivial because knowledge discove...
Marcelo A. T. Aragão, Alvaro A. A. Fernande...
VLDB
2007
ACM
161views Database» more  VLDB 2007»
14 years 1 months ago
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based ...
Dumitru Roman, Michael Kifer
ECSQARU
2003
Springer
14 years 27 days ago
Epistemic Logics for Information Fusion
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
Churn-Jung Liau
DEXAW
2004
IEEE
118views Database» more  DEXAW 2004»
13 years 11 months ago
LITO - A Logic For Indeterminate Temporal Objects
In order to obtain a suitable model of the universe of discourse of some information systems, it is important to allow the description of imprecise objects with temporal indetermi...
Ed Porto Bezerra, Ulrich Schiel, Bernardo Lula Jr.