635 search results - page 22 / 127 » Reasoning About Quantum Knowledge |
110
click to vote
FOIKS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
OWLED
2008
15 years 1 months ago
2008
Chemical Entities of Biological Interest (ChEBI) is a database and ontology that represents biochemical knowledge about small molecules. Recent changes to the ontology have created...
218
Voted
COSIT
2011
Springer
14 years 6 days 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...
301
Voted
ICDE
2009
IEEE
17 years 3 days ago
2009
IEEE
Recent work has shown the importance of considering the adversary’s background knowledge when reasoning about privacy in data publishing. However, it is very difficult
for the d...
100
Voted
TARK
2007
Springer
15 years 6 months ago
2007
Springer
This paper provides a set-theoretic model of knowledge and unawareness, in which reasoning through theorems is employed. A new property called Awareness Leads to Knowledge shows t...