The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David A. McAllester: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David A. McAllester, Ramin Zabih
    Boolean Classes. [Citation Graph (5, 0)][DBLP]
    OOPSLA, 1986, pp:417-423 [Conf]
  2. David A. McAllester
    Truth Maintenance. [Citation Graph (1, 0)][DBLP]
    AAAI, 1990, pp:1109-1116 [Conf]
  3. Charles Elkan, David A. McAllester
    Automated Inductive Reasoning about Logic Programs. [Citation Graph (1, 0)][DBLP]
    ICLP/SLP, 1988, pp:876-892 [Conf]
  4. Robert Givan, David A. McAllester, Sameer Shalaby
    Natural Language Based Inference Procedures Applied to Schubert's Steamroller. [Citation Graph (0, 0)][DBLP]
    AAAI, 1991, pp:915-920 [Conf]
  5. Joseph Y. Halpern, David A. McAllester
    Likelihood, Probability, and Knowledge. [Citation Graph (0, 0)][DBLP]
    AAAI, 1984, pp:137-141 [Conf]
  6. Daphne Koller, David A. McAllester, Avi Pfeffer
    Effective Bayesian Inference for Stochastic Programs. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1997, pp:740-747 [Conf]
  7. David A. McAllester
    Observations on Cognitive Judgments. [Citation Graph (0, 0)][DBLP]
    AAAI, 1991, pp:910-914 [Conf]
  8. David A. McAllester, David Rosenblitt
    Systematic Nonlinear Planning. [Citation Graph (0, 0)][DBLP]
    AAAI, 1991, pp:634-639 [Conf]
  9. David A. McAllester, Bart Selman, Henry A. Kautz
    Evidence for Invariants in Local Search. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1997, pp:321-326 [Conf]
  10. Jeffrey Mark Siskind, David A. McAllester
    Nondeterministic Lisp as a Substrate for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    AAAI, 1993, pp:133-138 [Conf]
  11. Ramin Zabih, David A. McAllester
    A Rearrangement Search Strategy for Determining Propositional Satisfiability. [Citation Graph (0, 0)][DBLP]
    AAAI, 1988, pp:155-160 [Conf]
  12. Ramin Zabih, David A. McAllester, David Chapman
    Non-Deterministic Lisp with Dependency-directed Backtracking. [Citation Graph (0, 0)][DBLP]
    AAAI, 1987, pp:59-65 [Conf]
  13. Steven P. Abney, David A. McAllester, Fernando Pereira
    Relating Probabilistic Grammars and Automata. [Citation Graph (0, 0)][DBLP]
    ACL, 1999, pp:- [Conf]
  14. Peter Stone, David A. McAllester
    An architecture for action selection in robotic soccer. [Citation Graph (0, 0)][DBLP]
    Agents, 2001, pp:316-323 [Conf]
  15. Peter Stone, Robert E. Schapire, János A. Csirik, Michael L. Littman, David A. McAllester
    ATTac-2001: A Learning, Autonomous Bidding Agent. [Citation Graph (0, 0)][DBLP]
    AMEC, 2002, pp:143-160 [Conf]
  16. Harald Ganzinger, David A. McAllester
    A New Meta-complexity Theorem for Bottom-Up Logic Programs. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:514-528 [Conf]
  17. David A. McAllester
    Ontic: A Knowledge Representation System for Mathematics. [Citation Graph (0, 0)][DBLP]
    CADE, 1988, pp:742-743 [Conf]
  18. David A. McAllester
    Grammar Rewriting. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:124-138 [Conf]
  19. David A. McAllester, Kostas Arkoudas
    Walther Recursion. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:643-657 [Conf]
  20. John Langford, David A. McAllester
    Computable Shell Decomposition Bounds. [Citation Graph (0, 0)][DBLP]
    COLT, 2000, pp:25-34 [Conf]
  21. Yishay Mansour, David A. McAllester
    Generalization Bounds for Decision Trees. [Citation Graph (0, 0)][DBLP]
    COLT, 2000, pp:69-74 [Conf]
  22. Yishay Mansour, David A. McAllester
    Boosting Using Branching Programs. [Citation Graph (0, 0)][DBLP]
    COLT, 2000, pp:220-224 [Conf]
  23. David A. McAllester
    Simplified PAC-Bayesian Margin Bounds. [Citation Graph (0, 0)][DBLP]
    COLT, 2003, pp:203-215 [Conf]
  24. David A. McAllester
    Some PAC-Bayesian Theorems. [Citation Graph (0, 0)][DBLP]
    COLT, 1998, pp:230-234 [Conf]
  25. David A. McAllester
    PAC-Bayesian Model Averaging. [Citation Graph (0, 0)][DBLP]
    COLT, 1999, pp:164-170 [Conf]
  26. David A. McAllester, Robert E. Schapire
    On the Convergence Rate of Good-Turing Estimators. [Citation Graph (0, 0)][DBLP]
    COLT, 2000, pp:1-6 [Conf]
  27. David A. McAllester
    Meta-complexity Theorems: Talk Abstract. [Citation Graph (0, 0)][DBLP]
    CP, 2000, pp:13-17 [Conf]
  28. David A. McAllester, Prakash Panangaden, Vasant Shanbhogue
    Nonexpressibility of Fairness and Signaling [Citation Graph (0, 0)][DBLP]
    FOCS, 1988, pp:377-386 [Conf]
  29. Nevin Heintze, David A. McAllester
    On the Complexity of Set-Based Analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:150-163 [Conf]
  30. Matthias Blume, David A. McAllester
    A sound (and complete) model of contracts. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:189-200 [Conf]
  31. Harald Ganzinger, David A. McAllester
    Logical Algorithms. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:209-223 [Conf]
  32. Robert E. Schapire, Peter Stone, David A. McAllester, Michael L. Littman, János A. Csirik
    Modeling Auction Price Uncertainty Using Boosting-based Conditional Density Estimation. [Citation Graph (0, 0)][DBLP]
    ICML, 2002, pp:546-553 [Conf]
  33. David A. McAllester
    Bottom Up Logic Programming as an Inference Tool. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1993, pp:8- [Conf]
  34. David A. McAllester
    Algebraic Approximations. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1981, pp:1024-1026 [Conf]
  35. Scott Sanner, David A. McAllester
    Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1384-1390 [Conf]
  36. Bart Selman, Henry A. Kautz, David A. McAllester
    Ten Challenges in Propositional Reasoning and Search. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:50-54 [Conf]
  37. William W. Cohen, Henry A. Kautz, David A. McAllester
    Hardening soft information sources. [Citation Graph (0, 0)][DBLP]
    KDD, 2000, pp:255-259 [Conf]
  38. Robert Givan, David A. McAllester
    New Results on Local Inference Relations. [Citation Graph (0, 0)][DBLP]
    KR, 1992, pp:403-412 [Conf]
  39. Matthew L. Ginsberg, David A. McAllester
    GSAT and Dynamic Backtracking. [Citation Graph (0, 0)][DBLP]
    KR, 1994, pp:226-237 [Conf]
  40. Henry A. Kautz, David A. McAllester, Bart Selman
    Encoding Plans in Propositional Logic. [Citation Graph (0, 0)][DBLP]
    KR, 1996, pp:374-384 [Conf]
  41. David A. McAllester, Robert Givan, Tanveer Fatima
    Taxonomic Syntax for First Order Inference. [Citation Graph (0, 0)][DBLP]
    KR, 1989, pp:289-300 [Conf]
  42. Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz
    The Horn Mu-calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:58-69 [Conf]
  43. Nevin Heintze, David A. McAllester
    On the Cubic Bottleneck in Subtyping and Flow Analysis. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:342-351 [Conf]
  44. David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen
    Tarskian Set Constraints. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:138-147 [Conf]
  45. David A. McAllester
    World-Modeling vs. World-Axiomatizing. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:375-388 [Conf]
  46. Yasemin Altun, David A. McAllester, Mikhail Belkin
    Margin Semi-Supervised Learning for Structured Variables. [Citation Graph (0, 0)][DBLP]
    NIPS, 2005, pp:- [Conf]
  47. Peter L. Bartlett, Michael Collins, Benjamin Taskar, David A. McAllester
    Exponentiated Gradient Algorithms for Large-margin Structured Classification. [Citation Graph (0, 0)][DBLP]
    NIPS, 2004, pp:- [Conf]
  48. Sanjoy Dasgupta, Michael L. Littman, David A. McAllester
    PAC Generalization Bounds for Co-training. [Citation Graph (0, 0)][DBLP]
    NIPS, 2001, pp:375-382 [Conf]
  49. Yishay Mansour, David A. McAllester
    Boosting with Multi-Way Branching in Decision Trees. [Citation Graph (0, 0)][DBLP]
    NIPS, 1999, pp:300-306 [Conf]
  50. David A. McAllester, Luis E. Ortiz
    Concentration Inequalities for the Missing Mass and for Histogram Rule Error. [Citation Graph (0, 0)][DBLP]
    NIPS, 2002, pp:351-358 [Conf]
  51. Richard S. Sutton, David A. McAllester, Satinder P. Singh, Yishay Mansour
    Policy Gradient Methods for Reinforcement Learning with Function Approximation. [Citation Graph (0, 0)][DBLP]
    NIPS, 1999, pp:1057-1063 [Conf]
  52. Nevin Heintze, David A. McAllester
    Linear-time Subtransitive Control Flow Analysis. [Citation Graph (0, 0)][DBLP]
    PLDI, 1997, pp:261-272 [Conf]
  53. Matthew L. Ginsberg, David A. McAllester
    GSAT and Dynamic Backtracking. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:243-265 [Conf]
  54. David A. McAllester, Peter Stone
    Keeping the Ball from CMUnited-99. [Citation Graph (0, 0)][DBLP]
    RoboCup, 2000, pp:333-338 [Conf]
  55. Patrick Riley, Peter Stone, David A. McAllester, Manuela M. Veloso
    ATT-CMUnited-2000: Third Place Finisher in the RoboCup-2000 Simulator League. [Citation Graph (0, 0)][DBLP]
    RoboCup, 2000, pp:489-492 [Conf]
  56. David A. McAllester
    Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:436-451 [Conf]
  57. David A. McAllester
    On the Complexity Analysis of Static Analyses. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:312-329 [Conf]
  58. Frédéric Benhamou, David A. McAllester, Pascal Van Hentenryck
    CLP(Intervals) Revisited. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:124-138 [Conf]
  59. David A. McAllester, Satinder P. Singh
    Approximate Planning for Factored POMDPs using Belief State Simplification. [Citation Graph (0, 0)][DBLP]
    UAI, 1999, pp:409-416 [Conf]
  60. David A. McAllester
    Conspiracy Numbers for Min-Max Search. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1988, v:35, n:3, pp:287-310 [Journal]
  61. David A. McAllester, Robert Givan
    Natural Language Syntax and First-Order Inference. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1992, v:56, n:1, pp:1-20 [Journal]
  62. Robert Givan, David A. McAllester
    Polynomial-time Computation via Local Inference Relations [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  63. David A. McAllester
    The Rise of Nonlinear Mathematical Programming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:68- [Journal]
  64. Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen
    Tarskian Set Constraints. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:174, n:2, pp:105-131 [Journal]
  65. David A. McAllester, J. Kucan, D. F. Otth
    A Proof of Strong Normalization of F_2, F_omega and Beyond [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:121, n:2, pp:193-200 [Journal]
  66. David A. McAllester
    On the complexity analysis of static analyses. [Citation Graph (0, 0)][DBLP]
    J. ACM, 2002, v:49, n:4, pp:512-537 [Journal]
  67. David A. McAllester
    Automatic Recognition of Tractability in Inference Relations. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1993, v:40, n:2, pp:284-303 [Journal]
  68. David A. McAllester, Robert Givan
    Taxonomic Syntax for First Order Inference. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1993, v:40, n:2, pp:246-283 [Journal]
  69. Peter Stone, Robert E. Schapire, Michael L. Littman, János A. Csirik, David A. McAllester
    Decision-Theoretic Bidding Based on Learned Density Models in Simultaneous, Interacting Auctions. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2003, v:19, n:, pp:209-242 [Journal]
  70. Yishay Mansour, David A. McAllester
    Boosting Using Branching Programs. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2002, v:64, n:1, pp:103-112 [Journal]
  71. David A. McAllester, Prakash Panangaden, Vasant Shanbhogue
    Nonexpressibility of Fairness and Signaling. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1993, v:47, n:2, pp:287-321 [Journal]
  72. Matthias Blume, David A. McAllester
    Sound and complete models of contracts. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:4-5, pp:375-414 [Journal]
  73. Hai-Ping Ko, David A. McAllester, Mark E. Nadel
    Lower Bounds for the Lengths of Refutations. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:17, n:1, pp:31-58 [Journal]
  74. John Langford, David A. McAllester
    Computable Shell Decomposition Bounds. [Citation Graph (0, 0)][DBLP]
    Journal of Machine Learning Research, 2004, v:5, n:, pp:529-547 [Journal]
  75. David A. McAllester, Luis E. Ortiz
    Concentration Inequalities for the Missing Mass and for Histogram Rule Error. [Citation Graph (0, 0)][DBLP]
    Journal of Machine Learning Research, 2003, v:4, n:, pp:895-911 [Journal]
  76. David A. McAllester
    PAC-Bayesian Stochastic Model Selection. [Citation Graph (0, 0)][DBLP]
    Machine Learning, 2003, v:51, n:1, pp:5-21 [Journal]
  77. David A. McAllester
    Some PAC-Bayesian Theorems. [Citation Graph (0, 0)][DBLP]
    Machine Learning, 1999, v:37, n:3, pp:355-363 [Journal]
  78. David A. McAllester
    Socratic Sequent Systems. [Citation Graph (0, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:98-100 [Journal]
  79. Robert Givan, David A. McAllester
    Polynomial-time computation via local inference relations. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2002, v:3, n:4, pp:521-541 [Journal]
  80. Andrew W. Appel, David A. McAllester
    An indexed model of recursive types for foundational proof-carrying code. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2001, v:23, n:5, pp:657-683 [Journal]
  81. Prahladh Harsha, Rahul Jain, David A. McAllester, Jaikumar Radhakrishnan
    The Communication Complexity of Correlation. [Citation Graph (0, 0)][DBLP]
    IEEE Conference on Computational Complexity, 2007, pp:10-23 [Conf]
  82. David A. McAllester, Michael Collins, Fernando Pereira
    Case-Factor Diagrams for Structured Probabilistic Modeling. [Citation Graph (0, 0)][DBLP]
    UAI, 2004, pp:382-391 [Conf]
  83. Pedro F. Felzenszwalb, David A. McAllester
    The Generalized A* Architecture. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2007, v:29, n:, pp:153-190 [Journal]

  84. A discriminatively trained, multiscale, deformable part model. [Citation Graph (, )][DBLP]


  85. Discriminative Latent Variable Models for Object Detection. [Citation Graph (, )][DBLP]


  86. Particle-Based Belief Propagation for Structure from Motion and Dense Stereo Vision with Unknown Camera Constraints. [Citation Graph (, )][DBLP]


  87. Stereovision-based road boundary detection for intelligent vehicles in challenging scenarios. [Citation Graph (, )][DBLP]


  88. The communication complexity of correlation. [Citation Graph (, )][DBLP]


Search in 0.621secs, Finished in 0.627secs
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