5482 search results - page 653 / 1097 » Logic Programming and Databases |
212
click to vote
FOIKS
2006
Springer
15 years 10 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
283
click to vote
GIS
2007
ACM
16 years 8 months ago
2007
ACM
We have developed Environmental Scenario Search Engine (ESSE) for parallel data mining of a set of conditions inside distributed, very large databases from multiple environmental ...
230
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
Schema merging is the process of consolidating multiple schemas into a unified view. The task becomes particularly challenging when the schemas are highly heterogeneous and autono...
188
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...
205
click to vote
PPDP
2005
Springer
16 years 10 days ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...