BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ginsberg:Matthew_L=

Contributed to:

KR 20002000
KR 19961996
KR 19941994
KR 19911991
KR 19891989

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.