Sciweavers

3179 search results - page 119 / 636
» Applications of PCF Theory
Sort
View
121
Voted
ICFEM
2009
Springer
15 years 10 months ago
Symbolic Query Exploration
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
Margus Veanes, Pavel Grigorenko, Peli de Halleux, ...
COSIT
1999
Springer
162views GIS» more  COSIT 1999»
15 years 8 months ago
Terminological Default Reasoning about Spatial Information: A First Step
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
Ralf Möller, Michael Wessel
135
Voted
IJCAI
1989
15 years 4 months ago
Measure-Free Conditioning, Probability and Non-Monotonic Reasoning
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...
Didier Dubois, Henri Prade
ACS
2007
15 years 3 months ago
Directed Algebraic Topology, Categories and Higher Categories
Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology gro...
Marco Grandis
139
Voted
AMAI
2006
Springer
15 years 3 months ago
Functional and multivalued dependencies in nested databases generated by record and list constructor
tor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new i...
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe