P. Mateus, A. Sernadas  Home/Search
Context Related
| cs.math.ist.utl.pt...04MSfiblog24x.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.math.ist.utl.pt/s84....publist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A new logic is proposed for reasoning about quantum systems. (Update)
Cited by: More
Modal Sequent Calculi Labelled with Truth Values: Cut.. - Mateus, Rasga, Sernadas (Correct)
Active bibliography (related documents): More All
1.7: Exogenous Quantum Logic - Mateus, Sernadas (2004) (Correct)
0.3: Paraconsistent Logic from a Modal Viewpoint - Beziau (Correct)
0.1: Current Approaches to Handling Imperfect Information in Data and.. - Parsons (1996) (Correct)
Similar documents based on text: More All
0.4: Probabilistic Situation Calculus - Mateus, Pacheco, Pinto, Sernadas.. (2000) (Correct)
0.3: Precategories for Combining Probabilistic Automata - Mateus, Sernadas, Sernadas (1999) (Correct)
0.3: Fibring Non-Truth-Functional Logics: Completeness.. - Caleiro, Carnielli.. (2002) (Correct)
BibTeX entry: (Update)
P. Mateus and A. Sernadas. Reasoning about quantum systems. In J. Alferes and J. Leite, editors, Logics in Artificial Intelligence, Ninth European Conference, JELIA'04, Lecture Notes in Artificial Intelligence. Springer-Verlag, in print. http://citeseer.ist.psu.edu/642070.html More
@misc{ mateus-reasoning,
author = "P. Mateus and A. Sernadas",
title = "Reasoning about quantum systems",
text = "P. Mateus and A. Sernadas. Reasoning about quantum systems. In J. Alferes
and J. Leite, editors, Logics in Artificial Intelligence, Ninth European
Conference, JELIA'04, Lecture Notes in Artificial Intelligence. Springer-Verlag,
in print.",
url = "citeseer.ist.psu.edu/642070.html" }
Citations (may not include all citations):650 An axiomatic basis for computer programming (context) - Hoare - 1969
167 Quantum Computation and Quantum Information (context) - Nielsen, Chuang - 2000
129 Representing and Reasoning with Probabilistic Knowledge (context) - Bacchus - 1990
110 A logic for reasoning about probabilities - Fagin, Halpern et al. - 1990
107 Artificial Intelligence (context) - Nilsson - 1986
90 Quantum cryptography: Public key distribution and coin tossi.. (context) - Bennett, Brassard - 1984
69 Revised report on the algorithmic language Algol (context) - Naur - 1963
49 Two-bit gates are universal for quantum computation - DiVincenzo - 1995
30 Zeitschrift fur Mathematische Logik und Grundlagen der Mathe.. (context) - Kripke, Semantical - 1963
22 The logic of quantum mechanics (context) - von Neumann - 1936
16 Probabilistic logic revisited (context) - Nilsson - 1993
11 Possible-translations semantics for paraconsistent logics (context) - Carnielli - 2000
8 On probability distributions over possible worlds (context) - Bacchus - 1990
3 Society semantics and multiple-valued logics (context) - Carnielli, Lima-Marques - 1999
2 Kluwer Academic Publishers (context) - Chiara, Giuntini et al. - 2004
2 A half-century of quantum logic (context) - Foulis - 1999
1 Semantics of the minimal logic of quantum mechanics (context) - Dishkant - 1972
Documents on the same site (http://www.cs.math.ist.utl.pt/s84.www/cs/clc/publist/publist.html): More
Composition of Cryptographic Protocols in a.. - Mateus, Mitchell.. (2003) (Correct)
Program Extraction from Large Proof Developments - Cruz-Filipe, Spitters (2003) (Correct)
Multi-Agent Systems Specification and Certification: a.. - Gouveia, Ramos (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC