2332 search results - page 38 / 467 » AIS and Semantic Query |
104
click to vote
ECAI
1990
Springer
15 years 5 months ago
1990
Springer
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...
116
Voted
JELIA
2010
Springer
15 years 3 hour ago
2010
Springer
Abstract. Many logics for AI applications that are defined by denotational semantics are trivialized in the presence of inconsistency. It is therefore often desirable, and practic...
111
click to vote
ICCS
2009
Springer
15 years 8 months ago
2009
Springer
Semantic search attempts to go beyond the current state of the art in information access by addressing information needs on the semantic level, i.e. considering the meaning of user...
116
click to vote
BNCOD
2008
15 years 3 months ago
2008
Abstract. We introduce a query language over sensors, streams and relations and formally describe its semantics. Although the language was specifically designed for sensor network ...