4573 search results - page 586 / 915 » Automated Reasoning |
139
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
138
Voted
DLOG
2009
15 years 2 months ago
2009
Abstract. Description Logic Programs (DLP) have been described as a description logic (DL) that is in the "expressive intersection" of DL and datalog. This is a very weak...
169
click to vote
DLOG
2009
15 years 2 months ago
2009
Ontology matching is one of the key research topics in the field of the Semantic Web. There are many matching systems that generate mappings between different ontologies either aut...
160
click to vote
ESSLLI
2009
Springer
15 years 2 months ago
2009
Springer
We present an implemented model for speech recognition in natural environments which relies on contextual information about salient entities to prime utterance recognition. The hyp...
154
click to vote
GIS
2009
ACM
15 years 2 months ago
2009
ACM
Privacy preservation has recently received considerable attention for location-based mobile services. Various location cloaking approaches have been proposed to protect the locati...