Results 281 to 290 of about 17,772 (305)

Internal analogy in theorem proving

1996
Internal analogy tries to reuse solutions of subproblems within the same problem solving process. In mathematical theorem proving several patterns are known where internal analogy suggests itself. Hence, we propose the use of internal analogy in automated theorem proving.
Erica Melis, Jon Whittle 0001
openaire   +1 more source

Termination of theorem proving by reuse

1996
We investigate the improvement of theorem provers by reusing previously computed proofs. We formulate our method for reusing proofs as an instance of the problem reduction paradigm and then develop a termination requirement for our reuse procedure.
Thomas Kolbe, Christoph Walther
openaire   +1 more source

Theorem-Proving on the Computer

Journal of the ACM, 1963
openaire   +1 more source

Overview of Theorem Proving

ACM SIGSOFT Software Engineering Notes, 1985
openaire   +1 more source

Abstract Theorem Proving. [PDF]

, 1989
Giunchiglia, Fausto, T. Walsh
openaire   +1 more source

Strips: A new approach to the application of theorem proving to problem solving

Artificial Intelligence, 1971
Richard E Fikes, Nils J Nilsson
exaly  

Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System

Information Processing Letters, 2016
Cinzia Bernardeschi, Andrea Domenici
exaly  

A multi-agent framework for distributed theorem proving

Expert Systems With Applications, 2005
Chih-Hung Wu
exaly  

Theorem proving for conditional logics: CondLean and GOALD U CK

Journal of Applied Non-Classical Logics, 2008
Nicola Olivetti, Gian Luca Pozzato
exaly  

Applications of real number theorem proving in PVS

Formal Aspects of Computing, 2013
Ursula Martin
exaly