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

Does Probability Have a Place in Non-monotonic Reasoning? - Matthew L. Ginsberg (IJCAI, 1985)

Implementing Probabilistic Reasoning. - Matthew L. Ginsberg (UAI, 1985)

Logic Programming. - Michael R. Genesereth; Matthew L. Ginsberg (Commun. ACM, 1985)

Cooperation without Communication. - Michael R. Genesereth; Matthew L. Ginsberg; Jeffrey S. Rosenschein (AAAI, 1986)

Multi-Valued Logics. - Matthew L. Ginsberg (AAAI, 1986)

Counterfactuals. - Matthew L. Ginsberg (Artif. Intell., 1986)

Controlling Recursive Inference. - David E. Smith 001; Michael R. Genesereth; Matthew L. Ginsberg (Artif. Intell., 1986)

Possible Worlds and the Qualification Problem. - Matthew L. Ginsberg; David E. Smith 001 (AAAI, 1987)

Reasoning About Action I: A Possible Worlds Approach. - Matthew L. Ginsberg; David E. Smith 001 (Artif. Intell., 1988)

Reasoning About Action II: The Qualification Problem. - Matthew L. Ginsberg; David E. Smith 001 (Artif. Intell., 1988)

Reply to Cheeseman's An inquiry into computer understanding. - Matthew L. Ginsberg (Comput. Intell., 1988)

Multivalued logics: a uniform approach to reasoning in artificial intelligence. - Matthew L. Ginsberg (Comput. Intell., 1988)

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

Temporal Projection and Explanation. - Andrew B. Baker; Matthew L. Ginsberg (IJCAI, 1989)

Critical Issues in Nonmonotonic Reasoning. - David W. Etherington; Kenneth D. Forbus; Matthew L. Ginsberg; David J. Israel; Vladimir Lifschitz (KR, 1989)

A Circumscriptive Theorem Prover. - Matthew L. Ginsberg (Artif. Intell., 1989)

Universal Planning: An (Almost) Universally Bad Idea. - Matthew L. Ginsberg (AI Mag., 1989)

Ginsberg Replies of Chapman and Schoppers - Universal Planning Research: A Good or Bad Idea? - Matthew L. Ginsberg (AI Mag., 1989)

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

Bilattices and Modal Operators. - Matthew L. Ginsberg (J. Log. Comput., 1990)

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

Computational Considerations in Reasoning about Action. - Matthew L. Ginsberg (KR, 1991)

The Computational Value of Nonmonotonic Reasoning. - Matthew L. Ginsberg (KR, 1991)

Marvin Minsky, The Society of Mind. - Matthew L. Ginsberg (Artif. Intell., 1991)

Knowledge Interchange Format: the KIF of Death. - Matthew L. Ginsberg (AI Mag., 1991)

Negative Subgoals with Free Variables. - Matthew L. Ginsberg (J. Log. Program., 1991)

The MVL Theorem Proving System. - Matthew L. Ginsberg (SIGART Bull., 1991)

A Symbolic Generalization of Probability Theory. - Adnan Darwiche; Matthew L. Ginsberg (AAAI, 1992)

Iterative Broadening. - Matthew L. Ginsberg; William D. Harvey (Artif. Intell., 1992)

Prolegomena to Any Future Prolegomena. - Matthew L. Ginsberg (Comput. Intell., 1992)

Essentials of Artificial Intelligence - Matthew L. Ginsberg (Morgan Kaufmann, 1993)

Dynamic Backtracking. - Matthew L. Ginsberg (J. Artif. Intell. Res., 1993)

Approximate Planning (Extended Abstract). - Matthew L. Ginsberg (AIPS, 1994)

GSAT and Dynamic Backtracking. - Matthew L. Ginsberg; David A. McAllester (KR, 1994)

What Defaults can do that Hierarchies Can't. - Matthew L. Ginsberg; Hugh W. Holbrook (Fundam. Informaticae, 1994)

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

Limited Discrepancy Search. - William D. Harvey; Matthew L. Ginsberg (IJCAI (1), 1995)

Approximate Planning. - Matthew L. Ginsberg (Artif. Intell., 1995)

Epistemological and Heuristic Adequacy Revisited. - Matthew L. Ginsberg (ACM Comput. Surv., 1995)

Modality and Interrupts. - Matthew L. Ginsberg (J. Autom. Reason., 1995)

Partition Search. - Matthew L. Ginsberg (AAAI/IAAI, Vol. 1, 1996)

Symmetry-Breaking Predicates for Search Problems. - James M. Crawford; Matthew L. Ginsberg; Eugene M. Luks; Amitabha Roy 001 (KR, 1996)

A New Algorithm for Generative Planning. - Matthew L. Ginsberg (KR, 1996)

Do Computers Need Common Sense? - Matthew L. Ginsberg (KR, 1996)

Procedural Reasoning in Constraint Satisfaction. - Ari K. Jónsson; Matthew L. Ginsberg (KR, 1996)

Supermodels and Robustness. - Matthew L. Ginsberg; Andrew J. Parkes; Amitabha Roy 001 (AAAI/IAAI, 1998)

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

Satisfiability Algorithms and Finite Quantification. - Matthew L. Ginsberg; Andrew J. Parkes (KR, 2000)

Report on the 1999 World Computer-Bridge Championship. - Matthew L. Ginsberg (J. Int. Comput. Games Assoc., 2000)

GIB: Imperfect Information in a Computationally Challenging Game. - Matthew L. Ginsberg (J. Artif. Intell. Res., 2001)

Inference Methods for a Pseudo-Boolean Satisfiability Solver. - Heidi E. Dixon; Matthew L. Ginsberg (AAAI/IAAI, 2002)

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

Generalizing Boolean Satisfiability II: Theory. - Heidi E. Dixon; Matthew L. Ginsberg; Eugene M. Luks; Andrew J. Parkes (J. Artif. Intell. Res., 2004)

Generalizing Boolean Satisfiability I: Background and Survey of Existing Work. - Heidi E. Dixon; Matthew L. Ginsberg; Andrew J. Parkes (J. Artif. Intell. Res., 2004)

Generalizing Boolean Satisfiability III: Implementation. - Heidi E. Dixon; Matthew L. Ginsberg; David K. Hofer; Eugene M. Luks; Andrew J. Parkes (J. Artif. Intell. Res., 2005)

Stochastic shipyard simulation with SimYard. - Oliver Dain; Matthew L. Ginsberg; Erin Keenan; John M. Pyle; Tristan B. Smith; Andrew Stoneman; Iain Pardoe (WSC, 2006)

Of Mousetraps and Men: A Cautionary Tale. - Matthew L. Ginsberg (CP, 2007)

The Complexity of Optimal Planning and a More Efficient Method for Finding Solutions. - Katrina Ray; Matthew L. Ginsberg (ICAPS, 2008)

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 (AAAI, 2011)

Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs. - Matthew L. Ginsberg (J. Artif. Intell. Res., 2011)

The Crossword Solver DR.FILL. - Matthew L. Ginsberg (J. Int. Comput. Games Assoc., 2012)

Satsisfiability and Systematicity. - Matthew L. Ginsberg (J. Artif. Intell. Res., 2015)

Automated Crossword Solving. - Eric Wallace; Nicholas Tomlin; Albert Xu; Kevin Yang; Eshaan Pathak; Matthew L. Ginsberg; Dan Klein 001 (ACL (1), 2022)

Unbalancing Binary Trees. - Matthew L. Ginsberg (CoRR, 2022)