Ginsberg, Matthew L.

29 publications

JAIR 2015 Satsisfiability and Systematicity Matthew L. Ginsberg

JAIR 2011 Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs Matthew L. Ginsberg

AAAI 2011 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

JAIR 2005 Generalizing Boolean Satisfiability III: Implementation Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes

JAIR 2004 Generalizing Boolean Satisfiability I: Background and Survey of Existing Work Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes

JAIR 2004 Generalizing Boolean Satisfiability II: Theory Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes

AAAI 2004 Implementing a Generalized Version of Resolution Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes

AAAI 2002 Inference Methods for a Pseudo-Boolean Satisfiability Solver Heidi E. Dixon, Matthew L. Ginsberg

JAIR 2001 GIB: Imperfect Information in a Computationally Challenging Game Matthew L. Ginsberg

IJCAI 1999 GIB: Steps Toward an Expert-Level Bridge-Playing Program Matthew L. Ginsberg

AAAI 1998 Supermodels and Robustness Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy

AAAI 1996 Partition Search Matthew L. Ginsberg

IJCAI 1995 Limited Discrepancy Search William D. Harvey, Matthew L. Ginsberg

IJCAI 1995 Systematic Versus Stochastic Constraint Satisfaction Eugene C. Freuder, Rina Dechter, Matthew L. Ginsberg, Bart Selman, Edward P. K. Tsang

JAIR 1993 Dynamic Backtracking Matthew L. Ginsberg

AAAI 1992 A Symbolic Generalization of Probability Theory Adnan Darwiche, Matthew L. Ginsberg

AAAI 1991 Is There Any Need for Domain-Dependent Control Information? Matthew L. Ginsberg, Donald F. Geddis

AAAI 1990 Iterative Broadening Matthew L. Ginsberg, William D. Harvey

AAAI 1990 Search Lessons Learned from Crossword Puzzles Matthew L. Ginsberg, Michael Frank, Michael P. Halpin, Mark C. Torrance

IJCAI 1989 A Theorem Prover for Prioritized Circumscription Andrew B. Baker, Matthew L. Ginsberg

IJCAI 1989 Temporal Projection and Explanation Andrew B. Baker, Matthew L. Ginsberg

AAAI 1988 A Circumscriptive Theorem Prover Matthew L. Ginsberg

AAAI 1987 Possible Worlds and the Qualification Problem Matthew L. Ginsberg, David E. Smith

AAAI 1986 Cooperation Without Communication Michael R. Genesereth, Matthew L. Ginsberg, Jeffrey S. Rosenschein

AAAI 1986 Multi-Valued Logics Matthew L. Ginsberg

IJCAI 1985 Counterfactuals Matthew L. Ginsberg

IJCAI 1985 Does Probability Have a Place in Non-Monotonic Reasoning? Matthew L. Ginsberg

UAI 1985 Implementing Probabilistic Reasoning Matthew L. Ginsberg

AAAI 1984 Non-Monotonic Reasoning Using Dempster's Rule Matthew L. Ginsberg