5482 search results - page 371 / 1097 » Logic Programming and Databases |
196
click to vote
GRC
2005
IEEE
16 years 12 days ago
2005
IEEE
— In this article, a formalism for a specific temporal data mining task (the discovery of rules, inferred from databases of events having a temporal dimension), is defined. The...
183
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
272
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Transparent persistence promises to integrate programming languages and databases by allowing procedural programs to access persistent data with the same ease as non-persistent da...
173
click to vote
IJAR
2008
15 years 6 months ago
2008
We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailm...
178
click to vote
PODS
2006
ACM
16 years 7 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...