7167 search results - page 508 / 1434 » Answer Set Programming |
163
click to vote
KDD
2005
ACM
16 years 5 months ago
2005
ACM
Regardless of the frequent patterns to discover, either the full frequent patterns or the condensed ones, either closed or maximal, the strategy always includes the traversal of t...
155
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
201
click to vote
VLDB
2005
ACM
16 years 4 months ago
2005
ACM
Abstract. We propose a mediator model for providing integrated and unified access to multiple taxonomy-based sources. Each source comprises a taxonomy and a database that indexes o...
174
click to vote
PODS
2004
ACM
16 years 4 months ago
2004
ACM
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework ...
118
click to vote
PODS
2004
ACM
16 years 4 months ago
2004
ACM
Typechecking consists of statically verifying whether the output of an XML transformation is always conform to an output type for documents satisfying a given input type. We focus...