The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Larry Wos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Larry Wos, Ross A. Overbeek, Ewing L. Lusk
    Subsumption, a Sometimes Undervalued Procedure. [Citation Graph (0, 0)][DBLP]
    Computational Logic - Essays in Honor of Alan Robinson, 1991, pp:3-40 [Conf]
  2. Larry Wos
    Automated Reasoning and Bledsoe's Dream for the Field. [Citation Graph (0, 0)][DBLP]
    Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991, pp:297-345 [Conf]
  3. Larry Wos
    The Flowering of Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:204-227 [Conf]
  4. Larry Wos
    Solving Open Questions with an Automated Theorem-Proving Program. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:1-31 [Conf]
  5. Larry Wos
    The Impossibility of the Automation of Logical Reasoning. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:1-3 [Conf]
  6. Ewing L. Lusk, Larry Wos
    Benchmark Problems in Which Equality Plays the Major Role. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:781-785 [Conf]
  7. William McCune, Larry Wos
    Experiments in Automated Deduction with Condensed Detachment. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:209-223 [Conf]
  8. S. K. Winker, Larry Wos
    Procedure Implementation Through Demodulation and Related Tricks. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:109-131 [Conf]
  9. Larry Wos, William McCune
    Negative Paramodulation. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:229-239 [Conf]
  10. Larry Wos, William McCune
    Challenge Problems Focusing on Equality and Combinatory Logic: Evaluating Automated Theorem-Proving Programs. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:714-729 [Conf]
  11. Larry Wos, Ross A. Overbeek, Lawrence J. Henschen
    Hyperparamodulation: A Refinement of Paramodulation. [Citation Graph (0, 0)][DBLP]
    CADE, 1980, pp:208-219 [Conf]
  12. Larry Wos, Robert Veroff, B. Smith, William McCune
    The Linked Inference Principle, II: The User's Viewpoint. [Citation Graph (0, 0)][DBLP]
    CADE, 1984, pp:316-332 [Conf]
  13. Larry Wos, S. Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler
    Automated Reasoning Contributed to Mathematics and Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:485-499 [Conf]
  14. Larry Wos
    Automated Reasoning: Real Uses and Potential Uses. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:867-876 [Conf]
  15. William McCune, Larry Wos
    Application of Automated Deduction to the Search for Single Axioms for Exponent Groups. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:131-136 [Conf]
  16. Larry Wos
    Appendix: Conjectures Concerning Proof, Design, and Verification. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:526-533 [Conf]
  17. Larry Wos, Branden Fitelson
    Automating the Search for Answers to Open Questions. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:519-525 [Conf]
  18. Larry Wos, S. Winker, B. 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. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1984, v:22, n:3, pp:303-356 [Journal]
  19. Larry Wos, William McCune
    The Application of Automated Reasoning to Questions in Mathematics and Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1992, v:5, n:2-4, pp:321-369 [Journal]
  20. Lawrence J. Henschen, Ross A. Overbeek, Larry Wos
    A Theorem-Proving Language for Experimentation. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1974, v:17, n:6, pp:308-314 [Journal]
  21. Larry Wos
    Programs That Offer Fast, Flawless, Logical Reasoning. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1998, v:41, n:6, pp:87-95 [Journal]
  22. Larry Wos
    A Spectrum of Applications of Automated Reasoning [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  23. Larry Wos, Dolph Ulrich, Branden Fitelson
    Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  24. Larry Wos, Dolph Ulrich, Branden Fitelson
    XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  25. Michael Beeson, Robert Veroff, Larry Wos
    Double-Negation Elimination in Some Propositional Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  26. Larry Wos
    Milestones for Automated Reasoning with Otter. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2006, v:15, n:1, pp:3-20 [Journal]
  27. Lawrence J. Henschen, Larry Wos
    Unit Refutations and Horn Sets. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1974, v:21, n:4, pp:590-605 [Journal]
  28. Larry Wos, George A. Robinson, Daniel F. Carson
    Efficiency and Completeness of the Set of Support Strategy in Theorem Proving. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1965, v:12, n:4, pp:536-541 [Journal]
  29. Larry Wos, George A. Robinson, Daniel F. Carson, Leon Shalla
    The Concept of Demodulation in Theorem Proving. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1967, v:14, n:4, pp:698-709 [Journal]
  30. Larry Wos
    A Milestone Reached and a Secret Revealed. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2001, v:27, n:2, pp:89-95 [Journal]
  31. 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. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1986, v:2, n:3, pp:287-327 [Journal]
  32. Branden Fitelson, Larry Wos
    Missing Proofs Found. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2001, v:27, n:2, pp:201-225 [Journal]
  33. William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos
    Short Single Axioms for Boolean Algebra. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:29, n:1, pp:1-16 [Journal]
  34. William McCune, Larry Wos
    A Case Study in Automated Theorem Proving: Finding Sages in Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1987, v:3, n:1, pp:91-107 [Journal]
  35. William McCune, Larry Wos
    Otter - The CADE-13 Competition Incarnations. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:2, pp:211-220 [Journal]
  36. Larry Wos
    The Strategy of Cramming. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:30, n:2, pp:179-204 [Journal]
  37. Larry Wos
    Editorial: A Journal Is Born. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:1, pp:1-3 [Journal]
  38. Larry Wos
    Some Obstacles to the Automation of Reasoning and the Problem of Redundant Information. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1987, v:3, n:1, pp:81-90 [Journal]
  39. Larry Wos
    The Problem of Finding a Strategy to Control Binary Paramodulation. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1988, v:4, n:1, pp:101-107 [Journal]
  40. Larry Wos
    The Problem of Finding an Inference Rule for Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1989, v:5, n:1, pp:93-95 [Journal]
  41. Larry Wos
    The Problem of Choosing between Logic Programming and General-Purpose Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1990, v:6, n:1, pp:77-78 [Journal]
  42. Larry Wos
    The Problem of Choosing the Type of Subsumption to Use. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:3, pp:435-438 [Journal]
  43. Larry Wos
    The Problem of Finding a Restriction Strategy More Effective Than the Set of Support Strategy. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:1, pp:105-107 [Journal]
  44. Larry Wos
    The Problem of Choosing between Using and Avoiding Eqyality Predicates. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:8, n:2, pp:307-309 [Journal]
  45. Larry Wos
    The Problem of Automated Theorem Finding. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:10, n:1, pp:137-138 [Journal]
  46. Ruediger Thiele, Larry Wos
    Hilbert's Twenty-Fourth Problem. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:29, n:1, pp:67-89 [Journal]
  47. Larry Wos
    Conquering the Meredith Single Axiom. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2001, v:27, n:2, pp:175-199 [Journal]
  48. Larry Wos
    What Is Automated Reasoning? [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:1, pp:6-9 [Journal]
  49. Larry Wos
    The Problem of Choosing the Inference Rule to Employ. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1987, v:3, n:2, pp:201-209 [Journal]
  50. Larry Wos
    The Problem of Extending the Set of Support Strategy. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1987, v:3, n:3, pp:319-328 [Journal]
  51. Larry Wos
    The Problem of Definition Expansion and Contraction. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1987, v:3, n:4, pp:433-435 [Journal]
  52. Larry Wos
    The Problem of Explaining the Disparate Performance of Hyperresolution and Paramodulation. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1988, v:4, n:2, pp:215-217 [Journal]
  53. Larry Wos
    The Problem of Self-Analytically Choosing the Set of Support. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1988, v:4, n:3, pp:327-329 [Journal]
  54. Larry Wos
    The Problem of Self-Analytically Choosing the Weights. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1988, v:4, n:4, pp:463-464 [Journal]
  55. Larry Wos
    The Problem of Determining the Size of a Complete Set of Reductions. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1989, v:5, n:2, pp:235-237 [Journal]
  56. Larry Wos
    The Problem of Guaranteeing the Existence of a Complete Set of Reductions. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1989, v:5, n:3, pp:399-401 [Journal]
  57. Larry Wos
    The Problem of Guaranteeing the Absence of a Complete Set of Reductions. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1989, v:5, n:4, pp:531-532 [Journal]
  58. Larry Wos
    The Problem of Finding a Mapping between Clause Representation and Natural-Deduction Representation. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1990, v:6, n:2, pp:211-212 [Journal]
  59. Larry Wos
    Meeting the Challenge of Fifty Years of Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1990, v:6, n:2, pp:213-232 [Journal]
  60. Larry Wos
    The Problem of Finding a Semantic Strategy for Focusing Inference Rules. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1990, v:6, n:3, pp:337-339 [Journal]
  61. Larry Wos
    The Problem of Choosing between Predicate and Function Notation for Problem Representation. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1990, v:6, n:4, pp:463-464 [Journal]
  62. Larry Wos
    The Problem of Choosing the Representation, Inference Rule, and Strategy. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:4, pp:631-634 [Journal]
  63. Larry Wos
    The Problem of Reasoning from Inequalities. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:8, n:3, pp:421-426 [Journal]
  64. Larry Wos
    The Problem of Demodulation During Inference Rule Application. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:1, pp:141-143 [Journal]
  65. Larry Wos
    Note on McCune's Article on Discrimination Trees. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:2, pp:145-146 [Journal]
  66. Larry Wos
    The Problem of Demodulator Adjunction. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:2, pp:289-290 [Journal]
  67. Larry Wos
    The Problem of Demodulating Across Argument and Literal Boundaries. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:3, pp:407-408 [Journal]
  68. Larry Wos
    The Problem of Selecting an Approach Based on Prior Success. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:10, n:2, pp:283-284 [Journal]
  69. Larry Wos
    The Kernel Strategy and Its Use for the Study of Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:10, n:3, pp:287-343 [Journal]
  70. Larry Wos
    The Problem of Reasoning by Analogy. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:10, n:3, pp:421-422 [Journal]
  71. Larry Wos
    The Problem of Naming and Function Replacement. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:1, pp:147-148 [Journal]
  72. Larry Wos
    The Problem of Reasoning by Case Analysis. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:2, pp:289-291 [Journal]
  73. Larry Wos
    The Problem of Induction. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:11, n:3, pp:433-434 [Journal]
  74. Larry Wos
    Searching for Circles of Pure Proofs. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1995, v:15, n:3, pp:279-315 [Journal]
  75. Larry Wos
    The Power of Combining Resonance with Heat. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1996, v:17, n:1, pp:23-81 [Journal]
  76. Larry Wos
    OTTER and the Moufang Identity Problem. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1996, v:17, n:2, pp:215-257 [Journal]
  77. Larry Wos
    Automating the Search for Elegant Proofs. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:21, n:2, pp:135-175 [Journal]
  78. Larry Wos, Gail W. Pieper
    The Hot List Strategy. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1999, v:22, n:1, pp:1-44 [Journal]
  79. Larry Wos, Dolph Ulrich, Branden Fitelson
    Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2002, v:29, n:2, pp:107-124 [Journal]
  80. Larry Wos, William McCune
    Automated Theorem Proving and Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1991, v:11, n:1&2, pp:1-53 [Journal]
  81. Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos
    Shortest Axiomatizations of Implicational S4 and S5. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 2002, v:43, n:3, pp:169-179 [Journal]
  82. Michael Beeson, Robert Veroff, Larry Wos
    Double-Negation Elimination in Some Propositional Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:80, n:2-3, pp:195-234 [Journal]
  83. Branden Fitelson, Larry Wos
    Finding Missing Proofs with Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:68, n:3, pp:329-356 [Journal]
  84. John D. McCharen, Ross A. Overbeek, Larry Wos
    Problems and Experiments for and with Automated Theorem-Proving Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1976, v:25, n:8, pp:773-782 [Journal]
  85. William McCune, Larry Wos
    The Absence and the Presence of Fixed Point Combinators. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:221-228 [Journal]

  86. An automated reasoning system. [Citation Graph (, )][DBLP]


Search in 0.025secs, Finished in 0.030secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002