Larry Wos


Ontology type: schema:Person     


Person Info

NAME

Larry

SURNAME

Wos

Publications in SciGraph latest 50 shown

  • 2017-01 Finding Proofs in Tarskian Geometry in JOURNAL OF AUTOMATED REASONING
  • 2014 OTTER Proofs in Tarskian Geometry in AUTOMATED REASONING
  • 2013 The Legacy of a Great Researcher in AUTOMATED REASONING AND MATHEMATICS
  • 2005-08 Double-Negation Elimination in Some Propositional Logics in STUDIA LOGICA
  • 2005 The Flowering of Automated Reasoning in MECHANIZING MATHEMATICAL REASONING
  • 2003-02 The Strategy of Cramming in JOURNAL OF AUTOMATED REASONING
  • 2002-06 Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus in JOURNAL OF AUTOMATED REASONING
  • 2002-03 Short Single Axioms for Boolean Algebra in JOURNAL OF AUTOMATED REASONING
  • 2002-03 Hilbert's Twenty-Fourth Problem in JOURNAL OF AUTOMATED REASONING
  • 2001-08 Conquering the Meredith Single Axiom in JOURNAL OF AUTOMATED REASONING
  • 2001-08 Missing Proofs Found in JOURNAL OF AUTOMATED REASONING
  • 2001-08 Finding Missing Proofs with Automated Reasoning in STUDIA LOGICA
  • 2001-08 A Milestone Reached and a Secret Revealed in JOURNAL OF AUTOMATED REASONING
  • 2000 Automating the Search for Answers to Open Questions in THEOREM PROVING IN HIGHER ORDER LOGICS
  • 1999-01 The Hot List Strategy in JOURNAL OF AUTOMATED REASONING
  • 1998-10 Automating the Search for Elegant Proofs in JOURNAL OF AUTOMATED REASONING
  • 1997-04 Otter - The CADE-13 Competition Incarnations in JOURNAL OF AUTOMATED REASONING
  • 1996-08 The power of combining resonance with heat in JOURNAL OF AUTOMATED REASONING
  • 1995-10 Searching for circles of pure proofs in JOURNAL OF AUTOMATED REASONING
  • 1994-10 The problem of hyperparamodulation and nuclei in JOURNAL OF AUTOMATED REASONING
  • 1994-06 The problem of hyperparamodulation in JOURNAL OF AUTOMATED REASONING
  • 1994-02 The problem of strategy and hyperresolution in JOURNAL OF AUTOMATED REASONING
  • 1993-10 The problem of induction in JOURNAL OF AUTOMATED REASONING
  • 1993-10 The problem of reasoning by analogy in JOURNAL OF AUTOMATED REASONING
  • 1993-10 The kernel strategy and its use for the study of combinatory logic in JOURNAL OF AUTOMATED REASONING
  • 1993-06 The problem of reasoning by case analysis in JOURNAL OF AUTOMATED REASONING
  • 1993-06 The problem of selecting an approach based on prior success in JOURNAL OF AUTOMATED REASONING
  • 1993-02 The problem of naming and function replacement in JOURNAL OF AUTOMATED REASONING
  • 1993-02 The problem of automated theorem finding in JOURNAL OF AUTOMATED REASONING
  • 1992-12 The problem of demodulating across argument and literal boundaries in JOURNAL OF AUTOMATED REASONING
  • 1992-10 The problem of demodulator adjunction in JOURNAL OF AUTOMATED REASONING
  • 1992-10 Note on McCune's article on discrimination trees in JOURNAL OF AUTOMATED REASONING
  • 1992-08 The problem of demodulation during inference rule application in JOURNAL OF AUTOMATED REASONING
  • 1992-06 The problem of reasoning from inequalities in JOURNAL OF AUTOMATED REASONING
  • 1992-06 The application of automated reasoning to questions in mathematics and logic in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
  • 1992-04 The problem of choosing between using and avoiding equality predicates in JOURNAL OF AUTOMATED REASONING
  • 1992-04 The linked inference principle, I: The formal treatment in JOURNAL OF AUTOMATED REASONING
  • 1992 Application of automated deduction to the search for single axioms for exponent groups in LOGIC PROGRAMMING AND AUTOMATED REASONING
  • 1992 The impossibility of the automation of logical reasoning in AUTOMATED DEDUCTION—CADE-11
  • 1992 Experiments in automated deduction with condensed detachment in AUTOMATED DEDUCTION—CADE-11
  • 1991-12 The problem of choosing the representation, inference rule, and strategy in JOURNAL OF AUTOMATED REASONING
  • 1991-09 The problem of choosing the type of subsumption to use in JOURNAL OF AUTOMATED REASONING
  • 1991-03 The problem of finding a restriction strategy more effective than the set of support strategy in JOURNAL OF AUTOMATED REASONING
  • 1991 Automated Reasoning and Bledsoe’s Dream for the Field in AUTOMATED REASONING
  • 1990-12 The problem of choosing between predicate and function notation for problem representation in JOURNAL OF AUTOMATED REASONING
  • 1990-09 The problem of finding a semantic strategy for focusing inference rules in JOURNAL OF AUTOMATED REASONING
  • 1990-06 The problem of finding a mapping between clause representation and natural-deduction representation in JOURNAL OF AUTOMATED REASONING
  • 1990-06 Meeting the challenge of fifty years of logic in JOURNAL OF AUTOMATED REASONING
  • 1990-03 The problem of choosing between logic programming and general-purpose automated reasoning in JOURNAL OF AUTOMATED REASONING
  • 1989-12 The problem of guaranteeing the absence of a complete set of reductions in JOURNAL OF AUTOMATED REASONING
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "familyName": "Wos", 
        "givenName": "Larry", 
        "id": "sg:person.014212155341.71", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014212155341.71"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:49", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1599.json", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.014212155341.71'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.014212155341.71'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.014212155341.71'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.014212155341.71'


     

    This table displays all metadata directly associated to this object as RDF triples.

    11 TRIPLES      9 PREDICATES      10 URIs      6 LITERALS      1 BLANK NODES

    Subject Predicate Object
    1 sg:person.014212155341.71 schema:familyName Wos
    2 schema:givenName Larry
    3 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014212155341.71
    4 schema:sdDatePublished 2019-03-07T13:49
    5 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    6 schema:sdPublisher N4fe9d947ca5f41f6b779b0968424d0be
    7 sgo:license sg:explorer/license/
    8 sgo:sdDataset persons
    9 rdf:type schema:Person
    10 N4fe9d947ca5f41f6b779b0968424d0be schema:name Springer Nature - SN SciGraph project
    11 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...