Anytime deduction for probabilistic logic

&
Artificial Intelligence 69 (1-2):93-122 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(94)90079-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An Absolute Probabilistic Semantics for Free Logic with Identity.Lisa Anne O'neill - 1998 - Dissertation, Temple University
Probabilistic Justification Logic.Joseph Lurie - 2018 - Philosophies 3 (1):2.
Probabilistic Grammars and Languages.András Kornai - 2011 - Journal of Logic, Language and Information 20 (3):317-328.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Special issue on combining probability and logic introduction.Jon Williamson - manuscript
Remarks on Stoic deduction.John Corcoran - 1974 - In Ancient Logic and its Modern Interpretations. Boston: Reidel. pp. 169--181.
A probabilistic extension of intuitionistic logic.Z. Ognjanovic & Z. Markovic - 2003 - Mathematical Logic Quarterly 49 (4):415.
From worlds to probabilities: A probabilistic semantics for modal logic.Charles B. Cross - 1993 - Journal of Philosophical Logic 22 (2):169 - 192.
Hybrid Probabilistic Logic Programs as Residuated Logic Programs.Carlos Damásio & Luís Pereira - 2002 - Studia Logica 72 (1):113-138.
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P.Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz & Giuseppe Sanfilippo - 2002 - Journal of Applied Non-Classical Logics 12 (2):189-213.
Probabilistic Logic and Probabilistic Networks. Haenni, R., Romeijn, J.-W., Wheeler, G. & Williamson, J. - unknown
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
From Axiomatic Logic to Natural Deduction.Jan von Plato - 2014 - Studia Logica 102 (6):1167-1184.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,341,274)

6 months
5 (#707,850)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Inconsistency measures for probabilistic logics.Matthias Thimm - 2013 - Artificial Intelligence 197 (C):1-24.

View all 15 citations / Add more citations

References found in this work

Probabilistic logic.Nils J. Nilsson - 1986 - Artificial Intelligence 28 (1):71-87.
An analysis of first-order logics of probability.Joseph Y. Halpern - 1990 - Artificial Intelligence 46 (3):311-350.
Probabilistic logic revisited.Nils J. Nilsson - 1993 - Artificial Intelligence 59 (1-2):39-42.
Variable precision logic.Ryszard S. Michalski & Patrick H. Winston - 1986 - Artificial Intelligence 29 (2):121-146.

Add more references