Larry Wos - RankMe

96 papers A* 1A 11B 1Journal 72Unranked 9

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