1636 search results - page 40 / 328 » Reasoning About Quantum Systems |
131
click to vote
UMUAI
2010
15 years 8 days ago
2010
Abstract. Pervasive computing creates possibilities for presenting highly personalised information about the people, places and things in a building. One of the challenges for such...
136
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
246
click to vote
COSIT
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
124
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
104
click to vote
MKM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...