Sciweavers

635 search results - page 5 / 127
» Reasoning About Quantum Knowledge
Sort
View
AAAI
2007
14 years 3 days ago
Optimal Regression for Reasoning about Knowledge and Actions
Hans P. van Ditmarsch, Andreas Herzig, Tiago De Li...
JCIT
2010
94views more  JCIT 2010»
13 years 4 months ago
Research on Spatial Knowledge Reasoning about Jiangzhai Settlement in First Period
Shuoben Bi, Jingtao Liang, Shenjun Xue, Lianghu Lu
ATAL
2010
Springer
13 years 10 months ago
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
Chitta Baral, Gregory Gelfond, Tran Cao Son, Enric...
CSL
2003
Springer
14 years 3 months ago
A Logic for Probability in Quantum Systems
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
Ron van der Meyden, Manas Patra