Proving semantic properties as first-order satisfiability

Artificial Intelligence 277 (C):103174 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2019.103174

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Proving properties of states in the situation calculus.Raymond Reiter - 1993 - Artificial Intelligence 64 (2):337-351.
Proving properties of continuous systems: qualitative simulation and temporal logic.Benjamin Shults & Benjamin J. Kuipers - 1997 - Artificial Intelligence 92 (1-2):91-129.
A first-order conditional logic for prototypical properties.James P. Delgrande - 1987 - Artificial Intelligence 33 (1):105-130.
The satisfiability constraint gap.Ian P. Gent & Toby Walsh - 1996 - Artificial Intelligence 81 (1-2):59-80.
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
Optimizing with minimum satisfiability.Chu Min Li, Zhu Zhu, Felip Manyà & Laurent Simon - 2012 - Artificial Intelligence 190 (C):32-44.
Planning as satisfiability: Heuristics.Jussi Rintanen - 2012 - Artificial Intelligence 193 (C):45-86.
Backjumping for Quantified Boolean Logic satisfiability.Enrico Giunchiglia, Massimo Narizzano & Armando Tacchella - 2003 - Artificial Intelligence 145 (1-2):99-120.
Probabilistic sentence satisfiability: An approach to PSAT.T. C. Henderson, R. Simmons, B. Serbinowski, M. Cline, D. Sacharny, X. Fan & A. Mitiche - 2020 - Artificial Intelligence 278 (C):103199.
On satisfiability in ATL with strategy contexts.Nicolas Troquard & Dirk Walther - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 398--410.

Analytics

Added to PP
2020-12-22

Downloads
17 (#1,149,837)

6 months
7 (#704,497)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proving semantic properties as first-order satisfiability.Salvador Lucas - 2019 - Artificial Intelligence 277 (C):103174.

Add more citations

References found in this work

Logic of many-sorted theories.Hao Wang - 1952 - Journal of Symbolic Logic 17 (2):105-116.
Proving semantic properties as first-order satisfiability.Salvador Lucas - 2019 - Artificial Intelligence 277 (C):103174.
Proof by consistency.Deepak Kapur & David R. Musser - 1987 - Artificial Intelligence 31 (2):125-157.

Add more references