Larry Wos

Publication Activity (10 Years)

Years Active: 1964-2017
Publications (10 Years): 2

Top Topics

Young Researchers

Geometric Structure

Top Venues

Automated Reasoning and Mathematics

J. Autom. Reason.

Publications

Michael Beeson, Larry Wos
Finding Proofs in Tarskian Geometry. J. Autom. Reason. 58 (1) (2017)
Michael Beeson, Larry Wos
Finding Proofs in Tarskian Geometry. CoRR (2016)
Michael Beeson, Larry Wos
OTTER Proofs in Tarskian Geometry. IJCAR (2014)
Larry Wos
The Legacy of a Great Researcher. Automated Reasoning and Mathematics (2013)
Larry Wos
Milestones for Automated Reasoning with Otter. Int. J. Artif. Intell. Tools 15 (1) (2006)
Michael Beeson, Robert Veroff, Larry Wos
Double-Negation Elimination in Some Propositional Logics. Stud Logica 80 (2-3) (2005)
Larry Wos
The Flowering of Automated Reasoning. Mechanizing Mathematical Reasoning (2005)
Larry Wos
The Strategy of Cramming. J. Autom. Reason. 30 (2) (2003)
Michael Beeson, Robert Veroff, Larry Wos
Double-Negation Elimination in Some Propositional Logics CoRR (2003)
William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos
Short Single Axioms for Boolean Algebra. J. Autom. Reason. 29 (1) (2002)
Larry Wos, Dolph Ulrich, Branden Fitelson
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus CoRR (2002)
Larry Wos, Dolph Ulrich, Branden Fitelson
Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus CoRR (2002)
Larry Wos, Dolph Ulrich, Branden Fitelson
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. J. Autom. Reason. 29 (2) (2002)
Ruediger Thiele, Larry Wos
Hilbert's Twenty-Fourth Problem. J. Autom. Reason. 29 (1) (2002)
Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos
Shortest Axiomatizations of Implicational S4 and S5. Notre Dame J. Formal Log. 43 (3) (2002)
Larry Wos
A Spectrum of Applications of Automated Reasoning CoRR (2002)
Branden Fitelson, Larry Wos
Missing Proofs Found. J. Autom. Reason. 27 (2) (2001)
Larry Wos
Conquering the Meredith Single Axiom. J. Autom. Reason. 27 (2) (2001)
Branden Fitelson, Larry Wos
Finding Missing Proofs with Automated Reasoning. Stud Logica 68 (3) (2001)
Larry Wos
A Milestone Reached and a Secret Revealed. J. Autom. Reason. 27 (2) (2001)
Larry Wos, Branden Fitelson
Automating the Search for Answers to Open Questions. TPHOLs (2000)
Larry Wos
Appendix: Conjectures Concerning Proof, Design, and Verification. TPHOLs (2000)
Larry Wos, Gail W. Pieper
The Hot List Strategy. J. Autom. Reason. 22 (1) (1999)
Larry Wos
Programs That Offer Fast, Flawless, Logical Reasoning. Commun. ACM 41 (6) (1998)
Larry Wos
Automating the Search for Elegant Proofs. J. Autom. Reason. 21 (2) (1998)
William McCune, Larry Wos
Otter - The CADE-13 Competition Incarnations. J. Autom. Reason. 18 (2) (1997)
Larry Wos
OTTER and the Moufang Identity Problem. J. Autom. Reason. 17 (2) (1996)
Larry Wos
The Power of Combining Resonance with Heat. J. Autom. Reason. 17 (1) (1996)
Larry Wos
Searching for Circles of Pure Proofs. J. Autom. Reason. 15 (3) (1995)
Larry Wos
The problem of hyperparamodulation. J. Autom. Reason. 12 (2) (1994)
Larry Wos
The Problem of Naming and Function Replacement. J. Autom. Reason. 11 (1) (1993)
Larry Wos
The Problem of Reasoning by Analogy. J. Autom. Reason. 10 (3) (1993)
Larry Wos
The Problem of Automated Theorem Finding. J. Autom. Reason. 10 (1) (1993)
Larry Wos
The Problem of Induction. J. Autom. Reason. 11 (3) (1993)
Larry Wos
The Problem of Selecting an Approach Based on Prior Success. J. Autom. Reason. 10 (2) (1993)
Larry Wos
The Kernel Strategy and Its Use for the Study of Combinatory Logic. J. Autom. Reason. 10 (3) (1993)
Larry Wos
The Problem of Reasoning by Case Analysis. J. Autom. Reason. 11 (2) (1993)
Larry Wos
The Problem of Demodulation During Inference Rule Application. J. Autom. Reason. 9 (1) (1992)
Larry Wos
The Problem of Demodulating Across Argument and Literal Boundaries. J. Autom. Reason. 9 (3) (1992)
William McCune, Larry Wos
Experiments in Automated Deduction with Condensed Detachment. CADE (1992)
Larry Wos, William McCune
The Application of Automated Reasoning to Questions in Mathematics and Logic. Ann. Math. Artif. Intell. 5 (2-4) (1992)
William McCune, Larry Wos
Application of Automated Deduction to the Search for Single Axioms for Exponent Groups. LPAR (1992)
Larry Wos
The Problem of Reasoning from Inequalities. J. Autom. Reason. 8 (3) (1992)
Larry Wos
Note on McCune's Article on Discrimination Trees. J. Autom. Reason. 9 (2) (1992)
Ewing L. Lusk, Larry Wos
Benchmark Problems in Which Equality Plays the Major Role. CADE (1992)
Larry Wos
The Impossibility of the Automation of Logical Reasoning. CADE (1992)
Larry Wos
The Problem of Demodulator Adjunction. J. Autom. Reason. 9 (2) (1992)
Larry Wos
The Problem of Choosing between Using and Avoiding Eqyality Predicates. J. Autom. Reason. 8 (2) (1992)
Larry Wos, Ross A. Overbeek, Ewing L. Lusk
Subsumption, a Sometimes Undervalued Procedure. Computational Logic - Essays in Honor of Alan Robinson (1991)
Larry Wos, William McCune
Automated Theorem Proving and Logic Programming. J. Log. Program. 11 (1&2) (1991)
Larry Wos
Automated Reasoning and Bledsoe's Dream for the Field. Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Larry Wos
The Problem of Choosing the Type of Subsumption to Use. J. Autom. Reason. 7 (3) (1991)
Larry Wos
The Problem of Choosing the Representation, Inference Rule, and Strategy. J. Autom. Reason. 7 (4) (1991)
William McCune, Larry Wos
The Absence and the Presence of Fixed Point Combinators. Theor. Comput. Sci. 87 (1) (1991)
Larry Wos
The Problem of Finding a Restriction Strategy More Effective Than the Set of Support Strategy. J. Autom. Reason. 7 (1) (1991)
Larry Wos
The Problem of Finding a Mapping between Clause Representation and Natural-Deduction Representation. J. Autom. Reason. 6 (2) (1990)
Larry Wos
The Problem of Choosing between Predicate and Function Notation for Problem Representation. J. Autom. Reason. 6 (4) (1990)
Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler
Automated Reasoning Contributed to Mathematics and Logic. CADE (1990)
Larry Wos
The Problem of Finding a Semantic Strategy for Focusing Inference Rules. J. Autom. Reason. 6 (3) (1990)
Larry Wos
The Problem of Choosing between Logic Programming and General-Purpose Automated Reasoning. J. Autom. Reason. 6 (1) (1990)
Larry Wos
Meeting the Challenge of Fifty Years of Logic. J. Autom. Reason. 6 (2) (1990)
Larry Wos
The Problem of Guaranteeing the Absence of a Complete Set of Reductions. J. Autom. Reason. 5 (4) (1989)
Larry Wos
The Problem of Guaranteeing the Existence of a Complete Set of Reductions. J. Autom. Reason. 5 (3) (1989)
Larry Wos
The Problem of Determining the Size of a Complete Set of Reductions. J. Autom. Reason. 5 (2) (1989)
Larry Wos
The Problem of Finding an Inference Rule for Set Theory. J. Autom. Reason. 5 (1) (1989)
Larry Wos
The Problem of Self-Analytically Choosing the Set of Support. J. Autom. Reason. 4 (3) (1988)
Larry Wos, William McCune
Challenge Problems Focusing on Equality and Combinatory Logic: Evaluating Automated Theorem-Proving Programs. CADE (1988)
Larry Wos
The Problem of Explaining the Disparate Performance of Hyperresolution and Paramodulation. J. Autom. Reason. 4 (2) (1988)
Larry Wos
The Problem of Self-Analytically Choosing the Weights. J. Autom. Reason. 4 (4) (1988)
Larry Wos
The Problem of Finding a Strategy to Control Binary Paramodulation. J. Autom. Reason. 4 (1) (1988)
William McCune, Larry Wos
A Case Study in Automated Theorem Proving: Finding Sages in Combinatory Logic. J. Autom. Reason. 3 (1) (1987)
Larry Wos
Some Obstacles to the Automation of Reasoning and the Problem of Redundant Information. J. Autom. Reason. 3 (1) (1987)
Larry Wos
The Problem of Extending the Set of Support Strategy. J. Autom. Reason. 3 (3) (1987)
Larry Wos
The Problem of Definition Expansion and Contraction. J. Autom. Reason. 3 (4) (1987)
Larry Wos
The Problem of Choosing the Inference Rule to Employ. J. Autom. Reason. 3 (2) (1987)
Robert S. Boyer, Ewing L. Lusk, William McCune, Ross A. Overbeek, Mark E. Stickel, Larry Wos
Set Theory in First-Order Logic: Clauses for Gödel's Axioms. J. Autom. Reason. 2 (3) (1986)
Larry Wos, William McCune
Negative Paramodulation. CADE (1986)
Larry Wos
Editorial: A Journal Is Born. J. Autom. Reason. 1 (1) (1985)
Larry Wos
What Is Automated Reasoning? J. Autom. Reason. 1 (1) (1985)
Larry Wos, Robert Veroff, Barry Smith, William McCune
The Linked Inference Principle, II: The User's Viewpoint. CADE (1984)
Larry Wos, Steve Winker, Barry Smith, Robert Veroff, Lawrence J. Henschen
A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. Artif. Intell. 22 (3) (1984)
Larry Wos
Automated Reasoning: Real Uses and Potential Uses. IJCAI (1983)
Larry Henschen, Barry Smith, Robert Veroff, Steve Winker, Larry Wos
Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. Notre Dame J. Formal Log. 24 (2) (1983)
Larry Wos
Solving Open Questions with an Automated Theorem-Proving Program. CADE (1982)
Steven K. Winker, Larry Wos
Procedure Implementation Through Demodulation and Related Tricks. CADE (1982)
Larry Wos, Steven K. Winker, Ewing L. Lusk
An automated reasoning system. AFIPS National Computer Conference (1981)
Larry Wos, Ross A. Overbeek, Lawrence J. Henschen
Hyperparamodulation: A Refinement of Paramodulation. CADE (1980)
Steve Winker, Larry Wos
Automated generation of models and counterexamples and its application to open questions in Ternary Boolean algebra. MVL (1978)
John D. McCharen, Ross A. Overbeek, Larry Wos
Problems and Experiments for and with Automated Theorem-Proving Programs. IEEE Trans. Computers 25 (8) (1976)
Lawrence J. Henschen, Ross A. Overbeek, Larry Wos
A Theorem-Proving Language for Experimentation. Commun. ACM 17 (6) (1974)
Lawrence J. Henschen, Larry Wos
Unit Refutations and Horn Sets. J. ACM 21 (4) (1974)
Larry Wos, George A. Robinson, Daniel F. Carson, Leon Shalla
The Concept of Demodulation in Theorem Proving. J. ACM 14 (4) (1967)
Larry Wos, George A. Robinson, Daniel F. Carson
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving. J. ACM 12 (4) (1965)
Larry Wos, Daniel F. Carson, George A. Robinson
The unit preference strategy in theorem proving. AFIPS Fall Joint Computing Conference (1) (1964)