SCOPUS 정보 검색 플랫폼

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3229, Issue , 2004, Pages 239-251

Reasoning about quantum systems

(2) Mateus, P a Sernadas, A a

a INSTITUTO SUPERIOR TÉCNICO (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; MATHEMATICAL MODELS; QUANTUM THEORY; SEMANTICS; SET THEORY; VECTORS; ARTIFICIAL INTELLIGENCE; CALCULATIONS; PROBABILISTIC LOGICS; QUANTUM OPTICS; UNCERTAINTY ANALYSIS;

DISTRIBUTION PROTOCOLS; MODAL OPERATORS; QUANTUM MODELS; QUANTUM SYSTEMS;

FORMAL LOGIC; QUANTUM CRYPTOGRAPHY;

CLASSICAL LOGIC; CLASSICAL MODEL; DYNAMIC REASONING; MODAL OPERATORS; PROBABILISTIC REASONING; QUANTUM KEY DISTRIBUTION PROTOCOLS; QUANTUM PHYSICS; TRADITIONAL APPROACHES;

EID: 22944493045 PISSN: 03029743 EISSN: None Source Type: Conference Proceeding
DOI: 10.1007/978-3-540-30227-8_22 Document Type: Conference Paper

Times cited : (17)

References (17)

1
- 84861593360
- Cambridge University Press
- Nielsen, M. A., Chuang, I. L.: Quantum Computation and Quantum Information. Cambridge University Press (2000)
- (2000) Quantum Computation and Quantum Information
- Nielsen, M.A.¹ Chuang, I.L.²

2
- 33646563533
- A half-century of quantum logic. What have we learned?
- Kluwer Acad. Publ
- Foulis, D. J.: A half-century of quantum logic. What have we learned? In: Quantum Structures and the Nature of Reality. Volume 7 of Einstein Meets Magritte. Kluwer Acad. Publ. (1999) 1-36
- (1999) Quantum Structures and the Nature of Reality. Volume 7 of Einstein Meets Magritte , pp. 1-36
- Foulis, D.J.¹

3
- 25444482085
- Kluwer Academic Publishers
- Chiara, M. L. D., Giuntini, R., Greechie, R.: Reasoning in Quantum Theory. Kluwer Academic Publishers (2004)
- (2004) Reasoning in Quantum Theory
- Chiara, M.L.D.¹ Giuntini, R.² Greechie, R.³

4
- 0000194417
- The logic of quantum mechanics
- Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Annals of Mathematics 37 (1936) 823-843
- (1936) Annals of Mathematics , vol.37 , pp. 823-843
- Birkhoff, G.¹ Von Neumann, J.²

5
- 37949002557
- Semantical analysis of modal logic. I. Normal modal propositional calculi
- Kripke, S. A.: Semantical analysis of modal logic. I. Normal modal propositional calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9 (1963) 67-96
- (1963) Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol.9 , pp. 67-96
- Kripke, S.A.¹

6
- 14044270065
- Society semantics and multiple-valued logics
- Carnielli, W. A., Lima-Marques, M.: Society semantics and multiple-valued logics. In: Advances in Contemporary Logic and Computer Science (Salvador, 1996). Volume 235 of Contemporary Mathematics. AMS (1999) 33-52
- (1999) Advances in Contemporary Logic and Computer Science (Salvador, 1996). Volume 235 of Contemporary Mathematics. AMS , pp. 33-52
- Carnielli, W.A.¹ Lima-Marques, M.²

7
- 18944400158
- Possible-translations semantics for paraconsistent logics
- Research Studies Press
- Carnielli, W. A.: Possible-translations semantics for paraconsistent logics. In: Frontiers of Paraconsistent Logic (Ghent, 1997). Volume 8 of Studies in Logic and Computation. Research Studies Press (2000) 149-163
- (2000) Frontiers of Paraconsistent Logic (Ghent, 1997). Volume 8 of Studies in Logic and Computation , pp. 149-163
- Carnielli, W.A.¹

8
- 0022659563
- Probabilistic logic
- Nilsson, N. J.: Probabilistic logic. Artificial Intelligence 28 (1986) 71-87
- (1986) Artificial Intelligence , vol.28 , pp. 71-87
- Nilsson, N.J.¹

9
- 38249004688
- Probabilistic logic revisited
- Nilsson, N. J.: Probabilistic logic revisited. Artificial Intelligence 59 (1993) 39-42
- (1993) Artificial Intelligence , vol.59 , pp. 39-42
- Nilsson, N.J.¹

10
- 0004150856
- MIT Press Series in Artificial Intelligence. MIT Press
- Bacchus, F.: Representing and Reasoning with Probabilistic Knowledge. MIT Press Series in Artificial Intelligence. MIT Press (1990)
- (1990) Representing and Reasoning with Probabilistic Knowledge
- Bacchus, F.¹

11
- 85023526439
- On probability distributions over possible worlds
- North-Holland
- Bacchus, F.: On probability distributions over possible worlds. In: Uncertainty in Artificial Intelligence, 4. Volume 9 of Machine Intelligence and Pattern Recognition. North-Holland (1990) 217-226
- (1990) Uncertainty in Artificial Intelligence, 4. Volume 9 of Machine Intelligence and Pattern Recognition , pp. 217-226
- Bacchus, F.¹

12
- 0025465251
- A logic for reasoning about probabilities
- Fagin, R., Halpern, J. Y., Megiddo, N.: A logic for reasoning about probabilities. Information and Computation 87 (1990) 78-128
- (1990) Information and Computation , vol.87 , pp. 78-128
- Fagin, R.¹ Halpern, J.Y.² Megiddo, N.³

13
- 0009048759
- Semantics of the minimal logic of quantum mechanics
- Dishkant, H.: Semantics of the minimal logic of quantum mechanics. Studia Logica 30 (1972) 23-32
- (1972) Studia Logica , vol.30 , pp. 23-32
- Dishkant, H.¹

14
- 84945708698
- An axiomatic basis for computer programming
- Hoare, C.: An axiomatic basis for computer programming. Communications of the ACM 12 (1969) 576-583
- (1969) Communications of the ACM , vol.12 , pp. 576-583
- Hoare, C.¹

15
- 33751021446
- Two-bit gates are universal for quantum computation
- DiVincenzo, D. P.: Two-bit gates are universal for quantum computation. Physics Reviews A 51 (1995) 1015-1022
- (1995) Physics Reviews A , vol.51 , pp. 1015-1022
- DiVincenzo, D.P.¹

16
- 22944445391
- Revised report on the algorithmic language Algol 60
- Naur, P.: Revised report on the algorithmic language Algol 60. The Computer Journal 5 (1963) 349-367
- (1963) The Computer Journal , vol.5 , pp. 349-367
- Naur, P.¹

17
- 0003259517
- Quantum cryptography: Public key distribution and coin tossing
- Bennett, C. H., Brassard, G.: Quantum cryptography: Public key distribution and coin tossing. In: Proceedings of the IEEE International Conference on Computers, Systems and Signal Processing, IEEE (1984) 175-179
- (1984) Proceedings of the IEEE International Conference on Computers, Systems and Signal Processing, IEEE , pp. 175-179
- Bennett, C.H.¹ Brassard, G.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.