413 search results - page 18 / 83 » On the Relation Between ID-Logic and Answer Set Programming |
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
The relational algebra and calculus do not take the semantics of terms into account when answering queries. As a consequence, not all tuples that should be returned in response to ...
ANLP
1994
13 years 10 months ago
1994
A computational model for the acquisition of knowledge from encyclopedic texts is described. The model has been implemented in a program, called SNOWY, that reads unedited texts f...
JMLR
2006
13 years 8 months ago
2006
We develop kernels for measuring the similarity between relational instances using background knowledge expressed in first-order logic. The method allows us to bridge the gap betw...
WIDM
2003
ACM
14 years 2 months ago
2003
ACM
A growing number of databases especially those published on the Web are becoming available to external users. Users of these databases are provided simple form-based query interfa...