Travelled to:1 × Canada
1 × Germany
3 × USA
Collaborated with:∅ A.J.Parkes A.K.Jónsson D.A.McAllester J.M.Crawford E.M.Luks A.Roy D.W.Etherington K.D.Forbus D.J.Israel V.Lifschitz
Talks about:reason (4) comput (3) nonmonoton (2) algorithm (2) constraint (1) satisfact (1) backtrack (1) symmetri (1) procedur (1) consider (1)
Person: Matthew L. Ginsberg
DBLP: Ginsberg:Matthew_L=
Contributed to:
20001996199419911989Wrote 9 papers:
- KR-2000-GinsbergP #algorithm #finite #quantifier #satisfiability
- Satisfiability Algorithms and Finite Quantification (MLG, AJP), pp. 690–701.
- KR-1996-CrawfordGLR #problem #symmetry
- Symmetry-Breaking Predicates for Search Problems (JMC, MLG, EML, AR), pp. 148–159.
- KR-1996-Ginsberg #algorithm #generative
- A New Algorithm for Generative Planning (MLG), pp. 186–197.
- KR-1996-Ginsberg96a #question
- Do Computers Need Common Sense? (MLG), pp. 620–626.
- KR-1996-JonssonG #constraints #reasoning
- Procedural Reasoning in Constraint Satisfaction (AKJ, MLG), pp. 160–171.
- KR-1994-GinsbergM #backtracking
- GSAT and Dynamic Backtracking (MLG, DAM), pp. 226–237.
- KR-1991-Ginsberg #reasoning
- Computational Considerations in Reasoning about Action (MLG), pp. 250–261.
- KR-1991-Ginsberg91a #reasoning
- The Computational Value of Nonmonotonic Reasoning (MLG), pp. 262–268.
- KR-1989-EtheringtonFGIL #reasoning
- Critical Issues in Nonmonotonic Reasoning (DWE, KDF, MLG, DJI, VL), pp. 500–504.