635 search results - page 9 / 127 » Reasoning About Quantum Knowledge |
135
click to vote
ATAL
2011
Springer
14 years 10 days ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
KR
1989
Springer
15 years 4 months ago
1989
Springer
In this paper I argue that we do not understand the process of default reasoning. A number of examples are given which serve to distinguish di erent default reasoning systems. It ...
112
Voted
IEAAIE
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents an agent-based model for decision making, which integrates personal biological and psychological aspects with rational utility-based reasoning. The model takes ...
101
Voted
COREGRID
2007
Springer
15 years 6 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
109
click to vote
DOLAP
2005
ACM
15 years 2 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...