Sciweavers

1791 search results - page 188 / 359
» Semantics and Complexity of SPARQL
Sort
View
MKM
2009
Springer
15 years 10 months ago
Compensating the Computational Bias of Spreadsheets with MKM Techniques
Spreadsheets are mathematical documents that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direc...
Andrea Kohlhase, Michael Kohlhase
RELMICS
1998
Springer
15 years 10 months ago
Coping with semilattices of relations in logics with relative accessibility relations
We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...
Stéphane Demri
DOOD
1993
Springer
135views Database» more  DOOD 1993»
15 years 10 months ago
A Deductive and Typed Object-Oriented Language
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
René Bal, Herman Balsters
ECAI
1998
Springer
15 years 10 months ago
Probabilistic Logic Programming
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...
Thomas Lukasiewicz
VLDB
1987
ACM
75views Database» more  VLDB 1987»
15 years 9 months ago
The POSTGRES Data Model
The design of the POSTGRES data model is described. The data model is a relational model that has been extended with abstract data types including user-defined operators and proce...
Lawrence A. Rowe, Michael Stonebraker