895 search results - page 13 / 179 » A Spectrum of Applications of Automated Reasoning |
CL
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
DLOG
2006
14 years 11 months ago
2006
In our case study we investigate a server for answering OWLQL queries with distinguished variables only (henceforth called OWLQL). This server acts as a proxy that delegates queri...
103
click to vote
MM
2009
ACM
2009
ACM
Distance metric learning from uncertain side information with application to automated photo tagging
15 years 2 months ago
Automated photo tagging is essential to make massive unlabeled photos searchable by text search engines. Conventional image annotation approaches, though working reasonably well o...
LPNMR
2009
Springer
15 years 2 months ago
2009
Springer
We present a formal framework where the action description language C+ is used to provide multiple robots with high-level reasoning in the style of cognitive robotics. We show the ...
GIS
2009
ACM
15 years 10 months ago
2009
ACM
Categories and Subject Descriptors General Terms Keywords