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

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखक:	Kazakov, Y
स्वरूप:	Record
प्रकाशित:	Max−Planck−Institut für Informatik 2005

समान संसाधन

Proving, Refuting, Improving—Looking for a Theorem
द्वारा: Branislav Boričić
प्रकाशित: (2022-10-01)

Saturation−Based Decision Procedures for Extensions of the Guarded Fragment
द्वारा: Kazakov, Y
प्रकाशित: (2006)

The Reliability and the Purpos- Refutation Arguments in Proving Prophets' Infallibility: A Critical Survey
द्वारा: Hossein Atrak
प्रकाशित: (2020-04-01)

A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
द्वारा: Freek Wiedijk
प्रकाशित: (2012-03-01)

Theorem proving [filem]
प्रकाशित: (1969)

Theorem proving [kasetvideo]
प्रकाशित: (1969)

Elementary Geometry Theorem Proving
द्वारा: Goldstein, Ira
प्रकाशित: (2004)

Playing with LEGO and proving theorems
द्वारा: Tanswell, FS
प्रकाशित: (2017)

A theorem proving framework for the formal verification of Web Services Composition
द्वारा: Petros Papapanagiotou, और अन्य
प्रकाशित: (2011-08-01)

PLANNER: A Language for Proving Theorems
द्वारा: Hewitt, Carl
प्रकाशित: (2004)

Accurate Theorem Proving for Program Verification
द्वारा: Cook, B, और अन्य
प्रकाशित: (2006)

Symbolic logic and mechanical theorem proving /
द्वारा: 336504 Chang, Chin-Ling, और अन्य
प्रकाशित: (1973)

Another look at automated theorem-proving
द्वारा: Koblitz Neal
प्रकाशित: (2007-12-01)

Integrating Testing and Interactive Theorem Proving
द्वारा: Harsh Raju Chamarthi, और अन्य
प्रकाशित: (2011-10-01)

Automated theorem proving in elementary geometry
द्वारा: Alfredo Ferro, और अन्य
प्रकाशित: (1988-11-01)

The Meaning of 'Refutation' in Kant's Refutation of Idealism
द्वारा: Hyoung Sung Kim
प्रकाशित: (2024-03-01)

Automated theorem proving : a logical basis /
द्वारा: 403272 Loveland, Donald W.
प्रकाशित: (1978)

Cogent: Accurate theorem proving for program verification
द्वारा: Cook, B, और अन्य
प्रकाशित: (2005)

Theorem-proving distributed algorithms with dynamic analysis
द्वारा: Ne Win, Toh, 1979-
प्रकाशित: (2006)

Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
द्वारा: Aagaard, M, और अन्य
प्रकाशित: (1999)

Using sophiscated models in resolution theorem proving /
द्वारा: 367238 Sandford, David M.
प्रकाशित: (1980)

Machine−Assisted Theorem−Proving for Software Engineering
द्वारा: Martin, A
प्रकाशित: (2015)

Applications of real number theorem proving in PVS
द्वारा: Gottliebsen, H, और अन्य
प्रकाशित: (2013)

Theorem proving with analytic tableaux and related methods /
द्वारा: International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), और अन्य
प्रकाशित: (1995)

Dealing with Degeneracies in Automated Theorem Proving in Geometry
द्वारा: Zoltán Kovács, और अन्य
प्रकाशित: (2021-08-01)

Another look at automated theorem-proving II
द्वारा: Koblitz Neal
प्रकाशित: (2012-02-01)

On Quantified Modal Theorem Proving for Modeling Ethics
द्वारा: Naveen Sundar Govindarajulu, और अन्य
प्रकाशित: (2019-12-01)

A Proposal for a Geometry Theorem Proving Program
द्वारा: Hart, Timothy P.
प्रकाशित: (2004)

Dialectic and Refutation in Plato. On the Role of Refutation in the Search for Truth
द्वारा: Graciela Marcos
प्रकाशित: (2022-06-01)

A Human Oriented Logic for Automatic Theorem Proving
द्वारा: Nevins, Arthur J.
प्रकाशित: (2004)

A Study Of User Activity In Interactive Theorem Proving
द्वारा: Aitken, S, और अन्य
प्रकाशित: (1995)

Plane Geometry Theorem Proving Using Forward Chaining
द्वारा: Nevins, Arthur J.
प्रकाशित: (2004)

Logic for computer science : foundations of automatic theorem proving /
द्वारा: 455116 Gallier, Jean H.
प्रकाशित: (1986)

Interactive Theorem Proving: An Empirical Study of User Activity
द्वारा: Aitken, J, और अन्य
प्रकाशित: (1998)

Conditional and preferential logics : proof methods and theorem proving /
द्वारा: 518526 Pozzato, Gian Luca
प्रकाशित: (c201)

On the calculus of positively constructed formulas for authomated theorem proving
द्वारा: A. V. Davydov, और अन्य
प्रकाशित: (2010-12-01)

Some observations on the logical foundations of inductive theorem proving
द्वारा: Stefan Hetzl, और अन्य
प्रकाशित: (2018-04-01)

Formal Analysis of Soft Errors using Theorem Proving
द्वारा: Sofiène Tahar, और अन्य
प्रकाशित: (2013-07-01)

jsCoq: Towards Hybrid Theorem Proving Interfaces
द्वारा: Emilio Jesús Gallego Arias, और अन्य
प्रकाशित: (2017-01-01)

A Resolution-Based Decision Procedure for SHOIQ.
द्वारा: Kazakov, Y, और अन्य
प्रकाशित: (2008)