Sciweavers

635 search results - page 18 / 127
» Reasoning About Quantum Knowledge
Sort
View
MKM
2005
Springer
15 years 5 months ago
Impasse-Driven Reasoning in Proof Planning
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 ...
Andreas Meier, Erica Melis
CORR
2011
Springer
191views Education» more  CORR 2011»
14 years 7 months ago
Picturing classical and quantum Bayesian inference
We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum...
Bob Coecke, Robert W. Spekkens
112
Voted
KR
1998
Springer
15 years 4 months ago
Foundations of Spatioterminological Reasoning with Description Logics
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
Volker Haarslev, Carsten Lutz, Ralf Möller
DIS
2006
Springer
15 years 4 months ago
Visual Knowledge Discovery in Paleoclimatology with Parallel Coordinates
Paleoclimatology requires the analysis of paleo time-series, obtained from a number of independent techniques and instruments, produced by several researchers and/or laboratories. ...
Roberto Therón
ENTCS
2008
102views more  ENTCS 2008»
15 years 13 days ago
A Monotonicity Principle for Information Theory
We establish a monotonicity principle for convex functions that enables high-level reasoning about capacity in information theory. Despite its simplicity, this single idea is rema...
Konstantinos Chatzikokolakis, Keye Martin