Author:
Jung Jean Christoph,Lutz Carsten,Goncharov Sergey,Schröder Lutz
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Abadi, M., Halpern, J.: Decidability and expressiveness for first-order logics of probability. Inf. Comput. 112, 1–36 (1994)
2. Andréka, H., van Benthem, J., Németi, I.: Back and forth between modal logic and classical logic. Logic J. IGPL 3, 685–720 (1995)
3. Artin, E., Schreier, O.: Algebraische Konstruktion reeller Körper. Abh. Math. Sem. Univ. Hamburg 5, 85–99 (1927)
4. Bacchus, F.: Representing and reasoning with probabilistic knowledge - a logical approach to probabilities. MIT Press (1990)
5. Bacchus, F., Grove, A., Koller, D., Halpern, J.: From statistics to beliefs. In: Artificial Intelligence, AAAI 1992, pp. 602–608. AAAI Press/The MIT Press (1992)