Sciweavers

635 search results - page 5 / 127
» Reasoning About Quantum Knowledge
Sort
View
AAAI
2007
15 years 9 months ago
Optimal Regression for Reasoning about Knowledge and Actions
Hans P. van Ditmarsch, Andreas Herzig, Tiago De Li...
JCIT
2010
94views more  JCIT 2010»
15 years 1 months ago
Research on Spatial Knowledge Reasoning about Jiangzhai Settlement in First Period
Shuoben Bi, Jingtao Liang, Shenjun Xue, Lianghu Lu
ATAL
2010
Springer
15 years 7 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
16 years 4 days 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