Sciweavers

948 search results - page 110 / 190
» The Query Answering System PRODICOS
Sort
View
ECSQARU
2001
Springer
14 years 2 months ago
Reasoning about Knowledge Using Rough Sets
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
Weiru Liu
CORR
2010
Springer
180views Education» more  CORR 2010»
13 years 7 months ago
XSB: Extending Prolog with Tabled Logic Programming
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
Terrance Swift, David Scott Warren
CIDR
2011
266views Algorithms» more  CIDR 2011»
13 years 1 months ago
Consistency in a Stream Warehouse
A stream warehouse is a Data Stream Management System (DSMS) that stores a very long history, e.g. years or decades; or equivalently a data warehouse that is continuously loaded. ...
Lukasz Golab, Theodore Johnson
INFFUS
2007
88views more  INFFUS 2007»
13 years 10 months ago
A progressive query language and interactive reasoner for information fusion support
Previous approaches in query processing do not consider queries to automatically combine results obtained from different information sources, i.e. they do not support information...
Shi-Kuo Chang, Erland Jungert, Xin Li
QEST
2006
IEEE
14 years 4 months ago
Optimization of Cache Expiration Dates in Content Networks
One of the fundamental decisions in content networks is how the information about the existing contents is deployed and accessed. In particular, in many content network architectu...
Héctor Cancela, Pablo Rodríguez-Bocc...