Matthew L. Ginsberg

80 papers A* 28A 2B 1Misc 1Journal 39Unranked 7
YearRankTypeTitle / Venue / Authors
2022 — conf
Automated Crossword Solving.
ACL (1)
Eric Wallace, Nicholas Tomlin, Albert Xu, Kevin Yang, Eshaan Pathak, Matthew L. Ginsberg, Dan Klein
2022 J jnl
Automated Crossword Solving.
CoRR
Eric Wallace, Nicholas Tomlin, Albert Xu, Kevin Yang, Eshaan Pathak, Matthew L. Ginsberg, Dan Klein
2022 J jnl
Unbalancing Binary Trees.
CoRR
Matthew L. Ginsberg
2015 J jnl
Satsisfiability and Systematicity.
J. Artif. Intell. Res.
Matthew L. Ginsberg
2014 J jnl
Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs.
CoRR
Matthew L. Ginsberg
2013 J jnl
Implementing Probabilistic Reasoning
CoRR
Matthew L. Ginsberg
2012 J jnl
The Crossword Solver DR.FILL.
ICGA J.
Matthew L. Ginsberg
2011 J jnl
Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs.
J. Artif. Intell. Res.
Matthew L. Ginsberg
2011 J jnl
GIB: Imperfect Information in a Computationally Challenging Game
CoRR
Matthew L. Ginsberg
2011 J jnl
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work
CoRR
Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes
2011 J jnl
Generalizing Boolean Satisfiability II: Theory
CoRR
Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes
2011 J jnl
Generalizing Boolean Satisfiability III: Implementation
CoRR
Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes
2011 A* conf
Green Driver: AI in a Microcosm.
AAAI
Jim Apple, Paul Chang, Aran Clauson, Heidi E. Dixon, Hiba Fakhoury, Matthew L. Ginsberg, Erin Keenan, Alex Leighton, Kevin Scavezze, Bryan Smith
2008 A* conf
The Complexity of Optimal Planning and a More Efficient Method for Finding Solutions.
ICAPS
Katrina Ray, Matthew L. Ginsberg
2007 A conf
Of Mousetraps and Men: A Cautionary Tale.
CP
Matthew L. Ginsberg
2006 Misc conf
Stochastic shipyard simulation with SimYard.
WSC
Oliver Dain, Matthew L. Ginsberg, Erin Keenan, John M. Pyle, Tristan B. Smith, Andrew Stoneman, Iain Pardoe
2005 J jnl
Generalizing Boolean Satisfiability III: Implementation.
J. Artif. Intell. Res.
Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes
2004 J jnl
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work.
J. Artif. Intell. Res.
Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes
2004 J jnl
Generalizing Boolean Satisfiability II: Theory.
J. Artif. Intell. Res.
Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes
2004 A* conf
Implementing a Generalized Version of Resolution.
AAAI
Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes
2002 — conf
Inference Methods for a Pseudo-Boolean Satisfiability Solver.
AAAI/IAAI
Heidi E. Dixon, Matthew L. Ginsberg
2001 J jnl
GIB: Imperfect Information in a Computationally Challenging Game.
J. Artif. Intell. Res.
Matthew L. Ginsberg
2000 J jnl
Report on the 1999 World Computer-Bridge Championship.
ICGA J.
Matthew L. Ginsberg
2000 A* conf
Satisfiability Algorithms and Finite Quantification.
KR
Matthew L. Ginsberg, Andrew J. Parkes
1999 A* conf
GIB: Steps Toward an Expert-Level Bridge-Playing Program.
IJCAI
Matthew L. Ginsberg
1998 — conf
Supermodels and Robustness.
AAAI/IAAI
Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy
1996 A* conf
A New Algorithm for Generative Planning.
KR
Matthew L. Ginsberg
1996 A* conf
Do Computers Need Common Sense?
KR
Matthew L. Ginsberg
1996 — conf
Partition Search.
AAAI/IAAI, Vol. 1
Matthew L. Ginsberg
1996 A* conf
Procedural Reasoning in Constraint Satisfaction.
KR
Ari K. Jónsson, Matthew L. Ginsberg
1996 A* conf
Symmetry-Breaking Predicates for Search Problems.
KR
James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy
1995 J jnl
Approximate Planning.
Artif. Intell.
Matthew L. Ginsberg
1995 J jnl
Epistemological and Heuristic Adequacy Revisited.
ACM Comput. Surv.
Matthew L. Ginsberg
1995 A* conf
Limited Discrepancy Search.
IJCAI (1)
William D. Harvey, Matthew L. Ginsberg
1995 J jnl
Modality and Interrupts.
J. Autom. Reason.
Matthew L. Ginsberg
1995 A* conf
Systematic Versus Stochastic Constraint Satisfaction.
IJCAI
Eugene C. Freuder, Rina Dechter, Matthew L. Ginsberg, Bart Selman, Edward P. K. Tsang
1994 — conf
Approximate Planning (Extended Abstract).
AIPS
Matthew L. Ginsberg
1994 A* conf
GSAT and Dynamic Backtracking.
KR
Matthew L. Ginsberg, David A. McAllester
1994 — conf
GSAT and Dynamic Backtracking.
PPCP
Matthew L. Ginsberg, David A. McAllester
1994 J jnl
What Defaults can do that Hierarchies Can't.
Fundam. Informaticae
Matthew L. Ginsberg, Hugh W. Holbrook
1993 J jnl
Dynamic Backtracking
CoRR
Matthew L. Ginsberg
1993 J jnl
Dynamic Backtracking.
J. Artif. Intell. Res.
Matthew L. Ginsberg
1993 — book
Essentials of Artificial Intelligence
Matthew L. Ginsberg
1992 A* conf
A Symbolic Generalization of Probability Theory.
AAAI
Adnan Darwiche, Matthew L. Ginsberg
1992 J jnl
Iterative Broadening.
Artif. Intell.
Matthew L. Ginsberg, William D. Harvey
1992 J jnl
Prolegomena to Any Future Prolegomena.
Comput. Intell.
Matthew L. Ginsberg
1991 A* conf
Computational Considerations in Reasoning about Action.
KR
Matthew L. Ginsberg
1991 A* conf
Is There any Need for Domain-Dependent Control Information?
AAAI
Matthew L. Ginsberg, Donald F. Geddis
1991 J jnl
Knowledge Interchange Format: the KIF of Death.
AI Mag.
Matthew L. Ginsberg
1991 J jnl
Marvin Minsky, The Society of Mind.
Artif. Intell.
Matthew L. Ginsberg
1991 J jnl
Negative Subgoals with Free Variables.
J. Log. Program.
Matthew L. Ginsberg
1991 A* conf
The Computational Value of Nonmonotonic Reasoning.
KR
Matthew L. Ginsberg
1991 J jnl
The MVL Theorem Proving System.
SIGART Bull.
Matthew L. Ginsberg
1990 B conf
Bilattices and Modal Operators.
TARK
Matthew L. Ginsberg
1990 J jnl
Bilattices and Modal Operators.
J. Log. Comput.
Matthew L. Ginsberg
1990 A* conf
Iterative Broadening.
AAAI
Matthew L. Ginsberg, William D. Harvey
1990 A* conf
Search Lessons Learned from Crossword Puzzles.
AAAI
Matthew L. Ginsberg, Michael Frank, Michael P. Halpin, Mark C. Torrance
1989 J jnl
A Circumscriptive Theorem Prover.
Artif. Intell.
Matthew L. Ginsberg
1989 A* conf
A Theorem Prover for Prioritized Circumscription.
IJCAI
Andrew B. Baker, Matthew L. Ginsberg
1989 A* conf
Critical Issues in Nonmonotonic Reasoning.
KR
David W. Etherington, Kenneth D. Forbus, Matthew L. Ginsberg, David J. Israel, Vladimir Lifschitz
1989 J jnl
Ginsberg Replies of Chapman and Schoppers - Universal Planning Research: A Good or Bad Idea?
AI Mag.
Matthew L. Ginsberg
1989 — ed.
Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings
NMR
Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall
1989 A* conf
Temporal Projection and Explanation.
IJCAI
Andrew B. Baker, Matthew L. Ginsberg
1989 J jnl
Universal Planning: An (Almost) Universally Bad Idea.
AI Mag.
Matthew L. Ginsberg
1988 A* conf
A Circumscriptive Theorem Prover.
AAAI
Matthew L. Ginsberg
1988 — conf
A Circumscriptive Theorem Prover.
NMR
Matthew L. Ginsberg
1988 J jnl
Multivalued logics: a uniform approach to reasoning in artificial intelligence.
Comput. Intell.
Matthew L. Ginsberg
1988 J jnl
Reasoning About Action I: A Possible Worlds Approach.
Artif. Intell.
Matthew L. Ginsberg, David E. Smith
1988 J jnl
Reasoning About Action II: The Qualification Problem.
Artif. Intell.
Matthew L. Ginsberg, David E. Smith
1988 J jnl
Reply to Cheeseman's An inquiry into computer understanding.
Comput. Intell.
Matthew L. Ginsberg
1987 A* conf
Possible Worlds and the Qualification Problem.
AAAI
Matthew L. Ginsberg, David E. Smith
1986 J jnl
Controlling Recursive Inference.
Artif. Intell.
David E. Smith, Michael R. Genesereth, Matthew L. Ginsberg
1986 A* conf
Cooperation without Communication.
AAAI
Michael R. Genesereth, Matthew L. Ginsberg, Jeffrey S. Rosenschein
1986 J jnl
Counterfactuals.
Artif. Intell.
Matthew L. Ginsberg
1986 A* conf
Multi-Valued Logics.
AAAI
Matthew L. Ginsberg
1985 A* conf
Counterfactuals.
IJCAI
Matthew L. Ginsberg
1985 A* conf
Does Probability Have a Place in Non-monotonic Reasoning?
IJCAI
Matthew L. Ginsberg
1985 A conf
Implementing Probabilistic Reasoning.
UAI
Matthew L. Ginsberg
1985 J jnl
Logic Programming.
Commun. ACM
Michael R. Genesereth, Matthew L. Ginsberg
1984 A* conf
Non-Monotonic Reasoning Using Dempster's Rule.
AAAI
Matthew L. Ginsberg