Sciweavers

3269 search results - page 372 / 654
» Query Optimization for XML
Sort
View
CADE
2006
Springer
15 years 10 months ago
Presburger Modal Logic Is PSPACE-Complete
We introduce a Presburger modal logic PML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as num...
Stéphane Demri, Denis Lugiez
BTW
2009
Springer
150views Database» more  BTW 2009»
15 years 9 months ago
The Frontiers of Data Programmability
: Simplifying data programming is a core mission of data management research. The issue at stake is to help engineers build efficient and robust data-centric applications. The fron...
Sergey Melnik
ECIR
2007
Springer
15 years 7 months ago
A Parameterised Search System
This paper introduces the concept of a Parameterised Search System (PSS), which allows flexibility in user queries, and, more importantly, allows system engineers to easily defin...
Roberto Cornacchia, Arjen P. de Vries
OWLED
2007
15 years 7 months ago
Extending Fuzzy Description Logics for the Semantic Web
Fuzzy Description Logics (Fuzzy DLs) and fuzzy OWL have been proposed as languages able to represent and reason about imprecise and vague knowledge. Such extensions have gained con...
Giorgos Stoilos, Giorgos B. Stamou
JAPLL
2010
133views more  JAPLL 2010»
15 years 4 months ago
Complexity of modal logics with Presburger constraints
We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...
Stéphane Demri, Denis Lugiez