Sciweavers

3119 search results - page 526 / 624
» General Default Logic
Sort
View
ACL
1998
15 years 2 months ago
A Descriptive Characterization of Tree-Adjoining Languages (Project Note)
Since the early Sixties and Seventies it has been known that the regular and context-free languages arc characterized by definability in the monadic second-order theory of certain...
James Rogers
UAI
2003
15 years 2 months ago
Updating with incomplete observations
Currently, there is renewed interest in the problem, raised by Shafer in 1985, of updating probabilities when observations are incomplete (or setvalued). This is a fundamental pro...
Gert de Cooman, Marco Zaffalon
105
Voted
DMDW
2000
161views Management» more  DMDW 2000»
15 years 2 months ago
View materialization for nested GPSJ queries
View materialization is a central issue in logical design of data warehouses since it is one of the most powerful techniques to improve the response to the workload. Most approach...
Matteo Golfarelli, Stefano Rizzi
77
Voted
KRDB
1998
74views Database» more  KRDB 1998»
15 years 2 months ago
Reasoning About Web-Site Structure
Buildinglarge Websites is similar in manywaysto building knowledgeand database systems. In particular, byprovidinga declarative,logical viewof a Website's data andstructure, ...
Mary F. Fernandez, Daniela Florescu, Alon Y. Levy,...
104
Voted
SLP
1994
77views more  SLP 1994»
15 years 2 months ago
Modal Event Calculus
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
Iliano Cervesato, Luca Chittaro, Angelo Montanari