Probabilistic sentence satisfiability: An approach to PSAT

, , , , , &
Artificial Intelligence 278 (C):103199 (2020)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2019.103199

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Summarization beyond sentence extraction: A probabilistic approach to sentence compression.Kevin Knight & Daniel Marcu - 2002 - Artificial Intelligence 139 (1):91-107.
A Probabilistic Model of Semantic Plausibility in Sentence Processing.Ulrike Padó, Matthew W. Crocker & Frank Keller - 2009 - Cognitive Science 33 (5):794-838.
On the Decision Problem for Two-Variable First-Order Logic.Phokion G. Kolaitis & Moshe Y. Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.
On the computational complexity of the numerically definite syllogistic and related logics.Ian Pratt-Hartmann - 2008 - Bulletin of Symbolic Logic 14 (1):1-28.
On the decision problem for two-variable first-order logic.Erich Grädel, Phokion G. Kolaitis & Moshe Y. Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.
Hypergraph Satisfiability.R. Cowen - 1991 - Reports on Mathematical Logic.
Probabilistic Modeling of Discourse‐Aware Sentence Processing.Amit Dubey, Frank Keller & Patrick Sturt - 2013 - Topics in Cognitive Science 5 (3):425-451.
Contentual approach to negation1.Piotr Ł Łukowski - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):47-60.
Probabilistic Semantics, Identity and Belief.William Seager - 1983 - Canadian Journal of Philosophy 13 (3):353 - 364.
If perception is probabilistic, why doesn't it seem probabilistic?Ned Block - 2018 - Philosophical Transactions of the Royal Society B 373 (1755).
An Essay towards an Epistemology of Responsibility: A Probabilistic Approach.Masaki Ichinose - 2016 - Philosophical Studies (University of Tokyo) 34:1-32.
Combinatorial Analytic Tableaux.Robert Cowen - 1993 - Reports on Mathematical Logic:29-39.
Probabilistic Grammars and Languages.András Kornai - 2011 - Journal of Logic, Language and Information 20 (3):317-328.
Theory and applications of satisfiability testing: 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005: proceedings.Fahiem Bacchus & Toby Walsh (eds.) - 2005 - New York: Springer.
Probabilistic Entailment and a Non-Probabilistic Logic.Kevin Knight - 2003 - Logic Journal of the IGPL 11 (3):353-365.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,287,956)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

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.
On the hardness of approximate reasoning.Dan Roth - 1996 - Artificial Intelligence 82 (1-2):273-302.

View all 7 references / Add more references