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)