7335 search results - page 214 / 1467 » Scene Based Reasoning |
134
click to vote
FLAIRS
2007
15 years 6 months ago
2007
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
119
Voted
CLIMA
2007
15 years 5 months ago
2007
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...
186
Voted
IWAR
1992
15 years 4 months ago
1992
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...
138
Voted
AI
2004
Springer
15 years 3 months ago
2004
Springer
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
169
click to vote
EDBT
2002
ACM
16 years 3 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...