David McAllester

David McAllester may refer to:

*David A. McAllester (born 1956), computer scientist and artificial intelligence researcher *David P. McAllester (1916–2006), ethnomusicologist *David S. McAllester (born 1983), founder of BIGPLAY and host of the BIGPLAY Reflog Show Provided by Wikipedia
Showing 1 - 18 results of 18 for search 'McAllester, David', query time: 0.06s Refine Results
  1. 1
    Observations on Cognitive Judgments

    Observations on Cognitive Judgments by McAllester, David

    Published 2004
    Get full text
  2. 2
    Grammar Rewriting

    Grammar Rewriting by McAllester, David

    Published 2004
    Get full text
  3. 3
    Automatic Recognition of Tractability in Inference Relations

    Automatic Recognition of Tractability in Inference Relations by McAllester, David

    Published 2004
    Get full text
  4. 4
    Reasoning Utility Package User's Manual, Version One

    Reasoning Utility Package User's Manual, Version One by McAllester, David Allen

    Published 2004
    Get full text
  5. 5
    A Three Valued Truth Maintenance System

    A Three Valued Truth Maintenance System by McAllester, David A.

    Published 2004
    Get full text
  6. 6
    An Outlook on Truth Maintenance

    An Outlook on Truth Maintenance by McAllester, David A.

    Published 2004
    Get full text
  7. 7
    Solving Uninterpreted Equations with Context Free Expression Grammars

    Solving Uninterpreted Equations with Context Free Expression Grammars by McAllester, David Allen

    Published 2004
    Get full text
  8. 8
    Symmetric Set Theory: A General Theory of Isomorphism, Abstraction, and Representation

    Symmetric Set Theory: A General Theory of Isomorphism, Abstraction, and Representation by McAllester, David Allen

    Published 2004
    Get full text
  9. 9
    The Use of Equality in Deduction and Knowledge Representation

    The Use of Equality in Deduction and Knowledge Representation by McAllester, David Allen

    Published 2004
    Get full text
  10. 10
    ONTIC: A Knowledge Representation System for Mathematics

    ONTIC: A Knowledge Representation System for Mathematics by McAllester, David Allen

    Published 2004
    Get full text
  11. 11
    Boolean Classes

    Boolean Classes by McAllester, David, Zabih, Ramin

    Published 2004
    Get full text
  12. 12
    Tractable Inference Relations

    Tractable Inference Relations by Givan, Robert, McAllester, David

    Published 2004
    Get full text
  13. 13
    Lifting Transformations

    Lifting Transformations by McAllester, David, Siskind, Jeffrey

    Published 2004
    Get full text
  14. 14
    Taxonomic Syntax for First-Order Inference

    Taxonomic Syntax for First-Order Inference by McAllester, David, Givan, Robert

    Published 2004
    Get full text
  15. 15
    Natural Language Syntax and First Order Preference

    Natural Language Syntax and First Order Preference by McAllester, David, Givan, Robert

    Published 2004
    Get full text
  16. 16
    Systematic Nonlinear Planning

    Systematic Nonlinear Planning by McAllester, David, Rosenblatt, David

    Published 2004
    Get full text
  17. 17
    Natural Language Based Inference Procedures Applied to Schubert's Steamroller

    Natural Language Based Inference Procedures Applied to Schubert's Steamroller by Givan, Robert, McAllester, David, Shalaby, Sameer

    Published 2004
    Get full text
  18. 18
    Random-World Semantics and Syntactic Independence for Expressive Languages

    Random-World Semantics and Syntactic Independence for Expressive Languages by McAllester, David, Milch, Brian, Goodman, Noah D.

    Published 2008
    Get full text

Search Tools: