Larry Wos

发表

Short Single Axioms for Boolean Algebra

Larry Wos, William McCune, Robert Veroff, 2002, Journal of Automated Reasoning.

Benchmark Problems in Which Equality Plays the Major Role

Larry Wos, Ewing L. Lusk, 1992, CADE.

The kernel strategy and its use for the study of combinatory logic

Larry Wos, L. Wos, 1993, Journal of Automated Reasoning.

Research in Formal Logic

Larry Wos, Gail W Pieper, 1999 .

The problem of automated theorem finding

Larry Wos, 2004, Journal of Automated Reasoning.

The problem of determining the size of a complete set of reductions

Larry Wos, 2004, Journal of Automated Reasoning.

Automated Theorem Proving 1965–1970

Larry Wos, L. Henschen, 1983 .

Theory Institute in Automated Reasoning : Held at Argonne National Laboratory, August 6-10, 1990

Larry Wos, 1990 .

Learning Logic by Example

Larry Wos, Gail W Pieper, 1999 .

The problem of self-analytically choosing the weights

Larry Wos, 2004, Journal of Automated Reasoning.

Challenge Problems Focusing on Equality and Combinatory Logic: Evaluating Automated Theorem-Proving Programs

Larry Wos, William McCune, L. Wos, 1988, CADE.

The problem of guaranteeing the existence of a complete set of reductions

Larry Wos, 2004, Journal of Automated Reasoning.

Preface: The field of automated reasoning☆

Larry Wos, 1995 .

Automated reasoning - 33 basic research problems

Larry Wos, L. Wos, 1988 .

The problem of naming and function replacement

Larry Wos, 2004, Journal of Automated Reasoning.

An automated reasoning system

Larry Wos, Ewing L. Lusk, Steven K. Winker, 1981, AFIPS '81.

Automated Reasoning: Introduction and Applications

Larry Wos, Ewing Lusk, James M. Boyle, 1984 .

Automated Reasoning and Bledsoe's Dream for the Field

Larry Wos, L. Wos, 1991, Automated Reasoning: Essays in Honor of Woody Bledsoe.

Solving Open Questions with an Automated Theorem-Proving Program

Larry Wos, 1982, CADE.

Automating the Search for Elegant Proofs* .1. Measuring Progress

Larry Wos, 1997 .

Automating the Search for Elegant Proofs

Larry Wos, 2004, Journal of Automated Reasoning.

The problem of reasoning from inequalities

Larry Wos, L. Wos, 1992, Journal of Automated Reasoning.

Finding Proofs in Tarskian Geometry

Larry Wos, Michael Beeson, 2016, Journal of Automated Reasoning.

Missing Proofs Found

Branden Fitelson, Larry Wos, L. Wos, 2001, Journal of Automated Reasoning.

The Legacy of a Great Researcher

Larry Wos, L. Wos, 2013, Automated Reasoning and Mathematics.

The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions

Larry Wos, Gail W Pieper, 2000 .

The problem of finding a mapping between clause representation and natural-deduction representation

Larry Wos, 2004, Journal of Automated Reasoning.

Experiments concerning the automated search for elegant proofs

Larry Wos, 1997 .

The problem of choosing the inference rule to employ

Larry Wos, 2004, Journal of Automated Reasoning.

The Formal Treatment of Automated Reasoning

Larry Wos, Gail W Pieper, 1999 .

The Menu, The Map, and the Magic

Larry Wos, Gail W Pieper, 1999 .

Double-Negation Elimination in Some Propositional Logics

Larry Wos, Robert Veroff, Michael Beeson, 2005, Stud Logica.

Problems and Experiments for and with Automated Theorem-Proving Programs

Larry Wos, Ross A. Overbeek, John D. McCharen, 1976, IEEE Transactions on Computers.

Set theory in first-order logic: Clauses for Gödel's axioms

Larry Wos, William McCune, Ewing L. Lusk, 1986, Journal of Automated Reasoning.

OTTER Experiments Pertinent to CADE-10

Larry Wos, William McCune, Ewing L. Lusk, 1991 .

The problem of finding a semantic strategy for focusing inference rules

Larry Wos, 2004, Journal of Automated Reasoning.

The problem of choosing the type of subsumption to use

Larry Wos, 2004, Journal of Automated Reasoning.

Logic Circuit Validation

Larry Wos, Gail W Pieper, L. Wos, 1999 .

Automated Reasoning: Real Uses and Potential Uses

Larry Wos, 1983, IJCAI.

The problem of choosing between predicate and function notation for problem representation

Larry Wos, 2004, Journal of Automated Reasoning.

Editorial: A journal is born

Larry Wos, 2004, Journal of Automated Reasoning.

The application of automated reasoning to questions in mathematics and logic

Larry Wos, William McCune, L. Wos, 1992, Annals of Mathematics and Artificial Intelligence.

Application of Automated Deduction to the Search for Single Axioms for Exponent Groups

Larry Wos, William McCune, 1992, LPAR.

Procedure Implementation Through Demodulation and Related Tricks

Larry Wos, Steven K. Winker, 1982, CADE.

The Impossibility of the Automation of Logical Reasoning

Larry Wos, 1992, CADE.

The Flowering of Automated Reasoning

Larry Wos, L. Wos, 2005, Mechanizing Mathematical Reasoning.

The problem of demodulator adjunction

Larry Wos, 2004, Journal of Automated Reasoning.

Automated Reasoning Contributed to Mathematics and Logic

Rick Stevens, Larry Wos, William McCune, 1990, CADE.

OTTER and the Moufang identity problem

Larry Wos, L. Wos, 1996, Journal of Automated Reasoning.

Automated reasoning (2nd ed.): introduction and applications

Larry Wos, Ewing Lusk, Ross Overbeek, 1992 .

OTTER Proofs in Tarskian Geometry

Larry Wos, Michael Beeson, 2014, IJCAR.

Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus

Branden Fitelson, Larry Wos, Dolph Ulrich, 2004, Journal of Automated Reasoning.

The problem of reasoning by analogy

Larry Wos, 2004, Journal of Automated Reasoning.

The problem of demodulating across argument and literal boundaries

Larry Wos, 2004, Journal of Automated Reasoning.

The Absence and the Presence of Fixed Point Combinators

Larry Wos, William McCune, L. Wos, 1991, Theor. Comput. Sci..

A case study in automated theorem proving: Finding sages in combinatory logic

Larry Wos, William McCune, L. Wos, 1987, Journal of Automated Reasoning.

A Milestone Reached and a Secret Revealed

Larry Wos, 2004, Journal of Automated Reasoning.

The problem of hyperparamodulation and nuclei

Larry Wos, 2004, Journal of Automated Reasoning.

The problem of demodulation during inference rule application

Larry Wos, 2004, Journal of Automated Reasoning.

Milestones for Automated Reasoning with Otter

Larry Wos, 2006, Int. J. Artif. Intell. Tools.

Unit Refutations and Horn Sets

Lawrence J. Henschen, Larry Wos, 1974, JACM.

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving

Larry Wos, George A. Robinson, Daniel F. Carson, 1965, JACM.

Hyperparamodulation: A Refinement of Paramodulation

Lawrence J. Henschen, Larry Wos, Ross A. Overbeek, 1980, CADE.

The problem of choosing between using and avoiding equality predicates

Larry Wos, 2004, Journal of Automated Reasoning.

Note on McCune's article on discrimination trees

Larry Wos, 2004, Journal of Automated Reasoning.

The problem of finding a restriction strategy more effective than the set of support strategy

Larry Wos, 2004, Journal of Automated Reasoning.

The problem of guaranteeing the absence of a complete set of reductions

Larry Wos, 2004, Journal of Automated Reasoning.

The problem of choosing the representation, inference rule, and strategy

Larry Wos, 2005, Journal of Automated Reasoning.

The problem of selecting an approach based on prior success

Larry Wos, 2004, Journal of Automated Reasoning.

The Hot List Strategy

Larry Wos, Gail W. Pieper, L. Wos, 2004, Journal of Automated Reasoning.

International conference on foundations of computation theory : August 21–27, 1983, Linköping, Sweden

Larry Wos, 1983 .

Achievements in Automated Reasoning

Larry Wos, 2000 .

Applying automated reasoning to puzzles, problems, and open questions

Larry Wos, Gail W Pieper, 2000 .

The problem of explaining the disparate performance of hyperresolution and paramodulation

Larry Wos, 2004, Journal of Automated Reasoning.

The problem of choosing between logic programming and general-purpose automated reasoning

Larry Wos, L. Wos, 1990, Journal of Automated Reasoning.

A Spectrum of Applications of Automated Reasoning

Larry Wos, 2002, ArXiv.

The problem of induction

Larry Wos, 2004, Journal of Automated Reasoning.

The Linked Inference Principle, II: The User's Viewpoint

Larry Wos, William McCune, Robert Veroff, 1984, CADE.

The problem of reasoning by case analysis

Larry Wos, 2004, Journal of Automated Reasoning.

Meeting the challenge of fifty years of logic

Larry Wos, 2004, Journal of Automated Reasoning.

The problem of finding an inference rule for set theory

Larry Wos, 2004, Journal of Automated Reasoning.

Appendix: Conjectures Concerning Proof, Design, and Verification

Larry Wos, 2000, TPHOLs.

Otter - The CADE-13 Competition Incarnations

Larry Wos, William McCune, L. Wos, 1997, Journal of Automated Reasoning.

The problem of hyperparamodulation

Larry Wos, 2004, Journal of Automated Reasoning.

The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial

Larry Wos, L. Wos, 1996 .

Some obstacles to the automation of reasoning, and the problem of redundant information

Larry Wos, L. Wos, 1987, Journal of Automated Reasoning.

The power of combining resonance with heat

Larry Wos, 2004, Journal of Automated Reasoning.

The problem of strategy and hyperresolution

Larry Wos, 2004, Journal of Automated Reasoning.

Shortest Axiomatizations of Implicational S4 and S5

Branden Fitelson, Larry Wos, Kenneth Harris, 2002, Notre Dame J. Formal Log..

Finding Missing Proofs with Automated Reasoning

Branden Fitelson, Larry Wos, 2001, Stud Logica.

Logical basis for the automation of reasoning: Case studies

Larry Wos, Robert Veroff, L. Wos, 1994, Handbook of Logic in Artificial Intelligence and Logic Programming.

Automated Reasoning in Full

Larry Wos, Gail W Pieper, 1999 .

Automated Reasoning Programs: How They Work

Larry Wos, 2000 .

The problem of definition expansion and contraction

Larry Wos, L. Wos, 1987, Journal of Automated Reasoning.

Subsumption, a Sometimes Undervalued Procedure

Larry Wos, Ewing L. Lusk, Ross A. Overbeek, 1991, Computational Logic - Essays in Honor of Alan Robinson.

A theorem-proving language for experimentation

Lawrence J. Henschen, Larry Wos, Ross A. Overbeek, 1974, CACM.

Experiments in Automated Deduction with Condensed Detachment

Larry Wos, William McCune, 1992, CADE.

The problem of self-analytically choosing the set of support

Larry Wos, 2004, Journal of Automated Reasoning.

APPLICATIONS OF AUTOMATED REASONING

Larry Wos, L. Wos, 2000 .

Conquering the Meredith Single Axiom

Larry Wos, 2004, Journal of Automated Reasoning.

Searching for circles of pure proofs

Larry Wos, 2004, Journal of Automated Reasoning.

The problem of extending the set of support strategy

Larry Wos, 2004, Journal of Automated Reasoning.

Logic Circuit Design

Larry Wos, Gail W Pieper, 1999 .

XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus

Branden Fitelson, Larry Wos, Dolph Ulrich, 2002, ArXiv.

Negative Paramodulation

Larry Wos, William McCune, L. Wos, 1986, CADE.

Automating the Search for Answers to Open Questions

Branden Fitelson, Larry Wos, 2000, TPHOLs.

A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains

Lawrence J. Henschen, Larry Wos, Robert Veroff, 1984, Artif. Intell..

A fascinating country in the world of computing: your guide to automated reasoning

Larry Wos, Gail W Pieper, 1999 .

The Concept of Demodulation in Theorem Proving

Larry Wos, George A. Robinson, Daniel F. Carson, 1967, JACM.

The problem of finding a strategy to control binary paramodulation

Larry Wos, L. Wos, 1988, Journal of Automated Reasoning.

The Strategy of Cramming

Larry Wos, 2004, Journal of Automated Reasoning.

Exploring the power of automated reasoning

Larry Wos, Gail W Pieper, 2000 .

Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains

Lawrence J. Henschen, Larry Wos, Robert Veroff, 1983, Notre Dame J. Formal Log..

Automated Theorem Proving and Logic Programming

Larry Wos, William McCune, 1991, J. Log. Program..

Programs that offer fast, flawless, logical reasoning

Larry Wos, L. Wos, 1998, CACM.

What Is Automated Reasoning?

Larry Wos, L. Wos, 1987, J. Autom. Reason..

Open maths problems computer competition

Larry Wos, 1983 .

Searching for Fixed Point Combinators by Using Automated Theorem Proving : a Preliminary Report

Larry Wos, 1988 .

Hilbert's new problem.

Larry Wos, Ruediger Thiele, 2001 .

The Application of Automated Reasoning to Proof Translation and to Finding Proofs with Specified Properties: a Case Study in Many-Valued Sentential Calculus

Larry Wos, William McCune, 1991 .

The resonance strategy

Larry Wos, 1995 .