A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures

A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures

Automated state-of-the-art theorem provers are typically optimised for particular strategies, and there are only limited number of options that can be set by the user. Probably because of this, the general conditions on applicability of saturation-based calculi have not been thoroughly investigated....

Descripció completa

Dades bibliogràfiques
Autor principal:	Kazakov, Y
Format:	Record
Publicat:	Max−Planck−Institut für Informatik 2005

Ítems similars

Proving, Refuting, Improving—Looking for a Theorem
per: Branislav Boričić
Publicat: (2022-10-01)

Saturation−Based Decision Procedures for Extensions of the Guarded Fragment
per: Kazakov, Y
Publicat: (2006)

The Reliability and the Purpos- Refutation Arguments in Proving Prophets' Infallibility: A Critical Survey
per: Hossein Atrak
Publicat: (2020-04-01)

A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
per: Freek Wiedijk
Publicat: (2012-03-01)

Theorem proving [filem]
Publicat: (1969)

Theorem proving [kasetvideo]
Publicat: (1969)

Elementary Geometry Theorem Proving
per: Goldstein, Ira
Publicat: (2004)

Playing with LEGO and proving theorems
per: Tanswell, FS
Publicat: (2017)

A theorem proving framework for the formal verification of Web Services Composition
per: Petros Papapanagiotou, et al.
Publicat: (2011-08-01)

PLANNER: A Language for Proving Theorems
per: Hewitt, Carl
Publicat: (2004)

Accurate Theorem Proving for Program Verification
per: Cook, B, et al.
Publicat: (2006)

Symbolic logic and mechanical theorem proving /
per: 336504 Chang, Chin-Ling, et al.
Publicat: (1973)

Another look at automated theorem-proving
per: Koblitz Neal
Publicat: (2007-12-01)

Integrating Testing and Interactive Theorem Proving
per: Harsh Raju Chamarthi, et al.
Publicat: (2011-10-01)

Automated theorem proving in elementary geometry
per: Alfredo Ferro, et al.
Publicat: (1988-11-01)

The Meaning of 'Refutation' in Kant's Refutation of Idealism
per: Hyoung Sung Kim
Publicat: (2024-03-01)

Automated theorem proving : a logical basis /
per: 403272 Loveland, Donald W.
Publicat: (1978)

Cogent: Accurate theorem proving for program verification
per: Cook, B, et al.
Publicat: (2005)

Theorem-proving distributed algorithms with dynamic analysis
per: Ne Win, Toh, 1979-
Publicat: (2006)

Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
per: Aagaard, M, et al.
Publicat: (1999)

Using sophiscated models in resolution theorem proving /
per: 367238 Sandford, David M.
Publicat: (1980)

Machine−Assisted Theorem−Proving for Software Engineering
per: Martin, A
Publicat: (2015)

Applications of real number theorem proving in PVS
per: Gottliebsen, H, et al.
Publicat: (2013)

Theorem proving with analytic tableaux and related methods /
per: International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), et al.
Publicat: (1995)

Dealing with Degeneracies in Automated Theorem Proving in Geometry
per: Zoltán Kovács, et al.
Publicat: (2021-08-01)

Another look at automated theorem-proving II
per: Koblitz Neal
Publicat: (2012-02-01)

On Quantified Modal Theorem Proving for Modeling Ethics
per: Naveen Sundar Govindarajulu, et al.
Publicat: (2019-12-01)

A Proposal for a Geometry Theorem Proving Program
per: Hart, Timothy P.
Publicat: (2004)

Dialectic and Refutation in Plato. On the Role of Refutation in the Search for Truth
per: Graciela Marcos
Publicat: (2022-06-01)

A Human Oriented Logic for Automatic Theorem Proving
per: Nevins, Arthur J.
Publicat: (2004)

A Study Of User Activity In Interactive Theorem Proving
per: Aitken, S, et al.
Publicat: (1995)

Plane Geometry Theorem Proving Using Forward Chaining
per: Nevins, Arthur J.
Publicat: (2004)

Logic for computer science : foundations of automatic theorem proving /
per: 455116 Gallier, Jean H.
Publicat: (1986)

Interactive Theorem Proving: An Empirical Study of User Activity
per: Aitken, J, et al.
Publicat: (1998)

Conditional and preferential logics : proof methods and theorem proving /
per: 518526 Pozzato, Gian Luca
Publicat: (c201)

On the calculus of positively constructed formulas for authomated theorem proving
per: A. V. Davydov, et al.
Publicat: (2010-12-01)

Some observations on the logical foundations of inductive theorem proving
per: Stefan Hetzl, et al.
Publicat: (2018-04-01)

Formal Analysis of Soft Errors using Theorem Proving
per: Sofiène Tahar, et al.
Publicat: (2013-07-01)

jsCoq: Towards Hybrid Theorem Proving Interfaces
per: Emilio Jesús Gallego Arias, et al.
Publicat: (2017-01-01)

A Resolution-Based Decision Procedure for SHOIQ.
per: Kazakov, Y, et al.
Publicat: (2008)