2296 search results - page 374 / 460 » The Expressive Power of Synchronizations |
147
click to vote
PODS
1997
ACM
15 years 8 months ago
1997
ACM
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
208
click to vote
LPKR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We study the relationship between argumentation (abduction) and disjunctive logic programming. Based on the paradigm of argumentation, an abductive semantic framework for...
140
click to vote
SIGMOD
1996
ACM
15 years 8 months ago
1996
ACM
Decision support applications involve complex queries on very large databases. Since response times should be small, query optimization is critical. Users typically view the data ...
137
click to vote
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
134
click to vote
TIME
1994
IEEE
15 years 8 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...