Matthew L. Ginsberg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
35
Venues
8
Active years
1984–2022
Best venue rank
A*
Where they publish
Papers
35 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ACL | Automated Crossword Solving. | Eric Wallace, Nicholas Tomlin, Albert Xu, Kevin Yang, Eshaan Pathak, Matthew L. Ginsberg, Dan Klein |
| 2011 | AAAI | Green Driver: AI in a Microcosm. | Jim Apple, Paul Chang, Aran Clauson, Heidi E. Dixon, Hiba Fakhoury, Matthew L. Ginsberg, Erin Keenan, Alex Leighton, Kevin Scavezze, Bryan Smith |
| 2007 | CP | Of Mousetraps and Men: A Cautionary Tale. | Matthew L. Ginsberg |
| 2006 | WSC | Stochastic shipyard simulation with SimYard. | Oliver Dain, Matthew L. Ginsberg, Erin Keenan, John M. Pyle, Tristan B. Smith, Andrew Stoneman, Iain Pardoe |
| 2004 | AAAI | Implementing a Generalized Version of Resolution. | Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes |
| 2002 | AAAI | Inference Methods for a Pseudo-Boolean Satisfiability Solver. | Heidi E. Dixon, Matthew L. Ginsberg |
| 2000 | KR | Satisfiability Algorithms and Finite Quantification. | Matthew L. Ginsberg, Andrew J. Parkes |
| 1999 | IJCAI | GIB: Steps Toward an Expert-Level Bridge-Playing Program. | Matthew L. Ginsberg |
| 1998 | AAAI | Supermodels and Robustness. | Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy |
| 1996 | AAAI | Partition Search. | Matthew L. Ginsberg |
| 1996 | KR | Symmetry-Breaking Predicates for Search Problems. | James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy |
| 1996 | KR | A New Algorithm for Generative Planning. | Matthew L. Ginsberg |
| 1996 | KR | Do Computers Need Common Sense? | Matthew L. Ginsberg |
| 1996 | KR | Procedural Reasoning in Constraint Satisfaction. | Ari K. Jnsson, Matthew L. Ginsberg |
| 1995 | IJCAI | Systematic Versus Stochastic Constraint Satisfaction. | Eugene C. Freuder, Rina Dechter, Matthew L. Ginsberg, Bart Selman, Edward P. K. Tsang |
| 1995 | IJCAI | Limited Discrepancy Search. | William D. Harvey, Matthew L. Ginsberg |
| 1994 | KR | GSAT and Dynamic Backtracking. | Matthew L. Ginsberg, David A. McAllester |
| 1992 | AAAI | A Symbolic Generalization of Probability Theory. | Adnan Darwiche, Matthew L. Ginsberg |
| 1991 | AAAI | Is There any Need for Domain-Dependent Control Information? | Matthew L. Ginsberg, Donald F. Geddis |
| 1991 | KR | Computational Considerations in Reasoning about Action. | Matthew L. Ginsberg |
| 1991 | KR | The Computational Value of Nonmonotonic Reasoning. | Matthew L. Ginsberg |
| 1990 | AAAI | Search Lessons Learned from Crossword Puzzles. | Matthew L. Ginsberg, Michael Frank, Michael P. Halpin, Mark C. Torrance |
| 1990 | AAAI | Iterative Broadening. | Matthew L. Ginsberg, William D. Harvey |
| 1990 | TARK | Bilattices and Modal Operators. | Matthew L. Ginsberg |
| 1989 | IJCAI | A Theorem Prover for Prioritized Circumscription. | Andrew B. Baker, Matthew L. Ginsberg |
| 1989 | IJCAI | Temporal Projection and Explanation. | Andrew B. Baker, Matthew L. Ginsberg |
| 1989 | KR | Critical Issues in Nonmonotonic Reasoning. | David W. Etherington, Kenneth D. Forbus, Matthew L. Ginsberg, David J. Israel, Vladimir Lifschitz |
| 1988 | AAAI | A Circumscriptive Theorem Prover. | Matthew L. Ginsberg |
| 1987 | AAAI | Possible Worlds and the Qualification Problem. | Matthew L. Ginsberg, David E. Smith |
| 1986 | AAAI | Cooperation without Communication. | Michael R. Genesereth, Matthew L. Ginsberg, Jeffrey S. Rosenschein |
| 1986 | AAAI | Multi-Valued Logics. | Matthew L. Ginsberg |
| 1985 | IJCAI | Counterfactuals. | Matthew L. Ginsberg |
| 1985 | IJCAI | Does Probability Have a Place in Non-monotonic Reasoning? | Matthew L. Ginsberg |
| 1985 | UAI | Implementing Probabilistic Reasoning. | Matthew L. Ginsberg |
| 1984 | AAAI | Non-Monotonic Reasoning Using Dempster's Rule. | Matthew L. Ginsberg |