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....

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Kazakov, Y
Formáid:	Record
Foilsithe / Cruthaithe:	Max−Planck−Institut für Informatik 2005

Míreanna comhchosúla

Proving, Refuting, Improving—Looking for a Theorem
de réir: Branislav Boričić
Foilsithe / Cruthaithe: (2022-10-01)

Saturation−Based Decision Procedures for Extensions of the Guarded Fragment
de réir: Kazakov, Y
Foilsithe / Cruthaithe: (2006)

The Reliability and the Purpos- Refutation Arguments in Proving Prophets' Infallibility: A Critical Survey
de réir: Hossein Atrak
Foilsithe / Cruthaithe: (2020-04-01)

A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
de réir: Freek Wiedijk
Foilsithe / Cruthaithe: (2012-03-01)

Theorem proving [filem]
Foilsithe / Cruthaithe: (1969)

Theorem proving [kasetvideo]
Foilsithe / Cruthaithe: (1969)

Elementary Geometry Theorem Proving
de réir: Goldstein, Ira
Foilsithe / Cruthaithe: (2004)

Playing with LEGO and proving theorems
de réir: Tanswell, FS
Foilsithe / Cruthaithe: (2017)

A theorem proving framework for the formal verification of Web Services Composition
de réir: Petros Papapanagiotou, et al.
Foilsithe / Cruthaithe: (2011-08-01)

PLANNER: A Language for Proving Theorems
de réir: Hewitt, Carl
Foilsithe / Cruthaithe: (2004)

Accurate Theorem Proving for Program Verification
de réir: Cook, B, et al.
Foilsithe / Cruthaithe: (2006)

Symbolic logic and mechanical theorem proving /
de réir: 336504 Chang, Chin-Ling, et al.
Foilsithe / Cruthaithe: (1973)

Another look at automated theorem-proving
de réir: Koblitz Neal
Foilsithe / Cruthaithe: (2007-12-01)

Integrating Testing and Interactive Theorem Proving
de réir: Harsh Raju Chamarthi, et al.
Foilsithe / Cruthaithe: (2011-10-01)

Automated theorem proving in elementary geometry
de réir: Alfredo Ferro, et al.
Foilsithe / Cruthaithe: (1988-11-01)

The Meaning of 'Refutation' in Kant's Refutation of Idealism
de réir: Hyoung Sung Kim
Foilsithe / Cruthaithe: (2024-03-01)

Automated theorem proving : a logical basis /
de réir: 403272 Loveland, Donald W.
Foilsithe / Cruthaithe: (1978)

Cogent: Accurate theorem proving for program verification
de réir: Cook, B, et al.
Foilsithe / Cruthaithe: (2005)

Theorem-proving distributed algorithms with dynamic analysis
de réir: Ne Win, Toh, 1979-
Foilsithe / Cruthaithe: (2006)

Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
de réir: Aagaard, M, et al.
Foilsithe / Cruthaithe: (1999)

Using sophiscated models in resolution theorem proving /
de réir: 367238 Sandford, David M.
Foilsithe / Cruthaithe: (1980)

Machine−Assisted Theorem−Proving for Software Engineering
de réir: Martin, A
Foilsithe / Cruthaithe: (2015)

Applications of real number theorem proving in PVS
de réir: Gottliebsen, H, et al.
Foilsithe / Cruthaithe: (2013)

Theorem proving with analytic tableaux and related methods /
de réir: International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), et al.
Foilsithe / Cruthaithe: (1995)

Dealing with Degeneracies in Automated Theorem Proving in Geometry
de réir: Zoltán Kovács, et al.
Foilsithe / Cruthaithe: (2021-08-01)

Another look at automated theorem-proving II
de réir: Koblitz Neal
Foilsithe / Cruthaithe: (2012-02-01)

On Quantified Modal Theorem Proving for Modeling Ethics
de réir: Naveen Sundar Govindarajulu, et al.
Foilsithe / Cruthaithe: (2019-12-01)

A Proposal for a Geometry Theorem Proving Program
de réir: Hart, Timothy P.
Foilsithe / Cruthaithe: (2004)

Dialectic and Refutation in Plato. On the Role of Refutation in the Search for Truth
de réir: Graciela Marcos
Foilsithe / Cruthaithe: (2022-06-01)

A Human Oriented Logic for Automatic Theorem Proving
de réir: Nevins, Arthur J.
Foilsithe / Cruthaithe: (2004)

A Study Of User Activity In Interactive Theorem Proving
de réir: Aitken, S, et al.
Foilsithe / Cruthaithe: (1995)

Plane Geometry Theorem Proving Using Forward Chaining
de réir: Nevins, Arthur J.
Foilsithe / Cruthaithe: (2004)

Logic for computer science : foundations of automatic theorem proving /
de réir: 455116 Gallier, Jean H.
Foilsithe / Cruthaithe: (1986)

Interactive Theorem Proving: An Empirical Study of User Activity
de réir: Aitken, J, et al.
Foilsithe / Cruthaithe: (1998)

Conditional and preferential logics : proof methods and theorem proving /
de réir: 518526 Pozzato, Gian Luca
Foilsithe / Cruthaithe: (c201)

On the calculus of positively constructed formulas for authomated theorem proving
de réir: A. V. Davydov, et al.
Foilsithe / Cruthaithe: (2010-12-01)

Some observations on the logical foundations of inductive theorem proving
de réir: Stefan Hetzl, et al.
Foilsithe / Cruthaithe: (2018-04-01)

Formal Analysis of Soft Errors using Theorem Proving
de réir: Sofiène Tahar, et al.
Foilsithe / Cruthaithe: (2013-07-01)

jsCoq: Towards Hybrid Theorem Proving Interfaces
de réir: Emilio Jesús Gallego Arias, et al.
Foilsithe / Cruthaithe: (2017-01-01)

A Resolution-Based Decision Procedure for SHOIQ.
de réir: Kazakov, Y, et al.
Foilsithe / Cruthaithe: (2008)