850 search results - page 138 / 170 » A Logic Programming Language Based on Binding Algebras |
128
click to vote
DEXAW
2007
IEEE
15 years 5 months ago
2007
IEEE
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...
BSL
2004
15 years 1 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
161
click to vote
CG
2005
Springer
15 years 1 months ago
2005
Springer
OpenGL is the industry-leading, cross-platform graphics application programming interface (API), and the only major API with support for virtually all operating systems. Many lang...
116
click to vote
PODS
2005
ACM
16 years 1 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
129
click to vote
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...