Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Matthew L. Ginsberg
@inproceedings{DBLP:conf/acl/WallaceTXYPGK22,
author = {Eric Wallace and
Nicholas Tomlin and
Albert Xu and
Kevin Yang and
Eshaan Pathak and
Matthew L. Ginsberg and
Dan Klein},
editor = {Smaranda Muresan and
Preslav Nakov and
Aline Villavicencio},
title = {Automated Crossword Solving},
booktitle = {Proceedings of the 60th Annual Meeting of the Association for Computational
Linguistics (Volume 1: Long Papers), {ACL} 2022, Dublin, Ireland,
May 22-27, 2022},
pages = {3073--3085},
publisher = {Association for Computational Linguistics},
year = {2022},
url = {https://doi.org/10.18653/v1/2022.acl-long.219},
doi = {10.18653/V1/2022.ACL-LONG.219},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acl/WallaceTXYPGK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-09665,
author = {Eric Wallace and
Nicholas Tomlin and
Albert Xu and
Kevin Yang and
Eshaan Pathak and
Matthew L. Ginsberg and
Dan Klein},
title = {Automated Crossword Solving},
journal = {CoRR},
volume = {abs/2205.09665},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.09665},
doi = {10.48550/ARXIV.2205.09665},
eprinttype = {arXiv},
eprint = {2205.09665},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-09665.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-14481,
author = {Matthew L. Ginsberg},
title = {Unbalancing Binary Trees},
journal = {CoRR},
volume = {abs/2208.14481},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.14481},
doi = {10.48550/ARXIV.2208.14481},
eprinttype = {arXiv},
eprint = {2208.14481},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-14481.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Ginsberg15,
author = {Matthew L. Ginsberg},
title = {Satsisfiability and Systematicity},
journal = {J. Artif. Intell. Res.},
volume = {53},
pages = {497--540},
year = {2015},
url = {https://doi.org/10.1613/jair.4684},
doi = {10.1613/JAIR.4684},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Ginsberg15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Ginsberg14,
author = {Matthew L. Ginsberg},
title = {Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted
CSPs},
journal = {CoRR},
volume = {abs/1401.4597},
year = {2014},
url = {http://arxiv.org/abs/1401.4597},
eprinttype = {arXiv},
eprint = {1401.4597},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ginsberg14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-3428,
author = {Matthew L. Ginsberg},
title = {Implementing Probabilistic Reasoning},
journal = {CoRR},
volume = {abs/1304.3428},
year = {2013},
url = {http://arxiv.org/abs/1304.3428},
eprinttype = {arXiv},
eprint = {1304.3428},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-3428.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icga/Ginsberg12,
author = {Matthew L. Ginsberg},
title = {The Crossword Solver {DR.FILL}},
journal = {J. Int. Comput. Games Assoc.},
volume = {35},
number = {2},
pages = {80--89},
year = {2012},
url = {https://doi.org/10.3233/ICG-2012-35203},
doi = {10.3233/ICG-2012-35203},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icga/Ginsberg12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Ginsberg11,
author = {Matthew L. Ginsberg},
title = {Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted
CSPs},
journal = {J. Artif. Intell. Res.},
volume = {42},
pages = {851--886},
year = {2011},
url = {http://jair.org/papers/paper3437.html},
timestamp = {Wed, 21 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/Ginsberg11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AppleCCDFGKLSS11,
author = {Jim Apple and
Paul Chang and
Aran Clauson and
Heidi E. Dixon and
Hiba Fakhoury and
Matthew L. Ginsberg and
Erin Keenan and
Alex Leighton and
Kevin Scavezze and
Bryan Smith},
editor = {Wolfram Burgard and
Dan Roth},
title = {Green Driver: {AI} in a Microcosm},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {1311--1316},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7798},
doi = {10.1609/AAAI.V25I1.7798},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AppleCCDFGKLSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-0669,
author = {Matthew L. Ginsberg},
title = {{GIB:} Imperfect Information in a Computationally Challenging Game},
journal = {CoRR},
volume = {abs/1106.0669},
year = {2011},
url = {http://arxiv.org/abs/1106.0669},
eprinttype = {arXiv},
eprint = {1106.0669},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-0669.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-0040,
author = {Heidi E. Dixon and
Matthew L. Ginsberg and
Andrew J. Parkes},
title = {Generalizing Boolean Satisfiability {I:} Background and Survey of
Existing Work},
journal = {CoRR},
volume = {abs/1107.0040},
year = {2011},
url = {http://arxiv.org/abs/1107.0040},
eprinttype = {arXiv},
eprint = {1107.0040},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-0040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-2134,
author = {Heidi E. Dixon and
Matthew L. Ginsberg and
Eugene M. Luks and
Andrew J. Parkes},
title = {Generalizing Boolean Satisfiability {II:} Theory},
journal = {CoRR},
volume = {abs/1109.2134},
year = {2011},
url = {http://arxiv.org/abs/1109.2134},
eprinttype = {arXiv},
eprint = {1109.2134},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-2134.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-2142,
author = {Heidi E. Dixon and
Matthew L. Ginsberg and
David K. Hofer and
Eugene M. Luks and
Andrew J. Parkes},
title = {Generalizing Boolean Satisfiability {III:} Implementation},
journal = {CoRR},
volume = {abs/1109.2142},
year = {2011},
url = {http://arxiv.org/abs/1109.2142},
eprinttype = {arXiv},
eprint = {1109.2142},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-2142.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/RayG08,
author = {Katrina Ray and
Matthew L. Ginsberg},
editor = {Jussi Rintanen and
Bernhard Nebel and
J. Christopher Beck and
Eric A. Hansen},
title = {The Complexity of Optimal Planning and a More Efficient Method for
Finding Solutions},
booktitle = {Proceedings of the Eighteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2008, Sydney, Australia, September
14-18, 2008},
pages = {280--287},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/ICAPS/2008/icaps08-035.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/RayG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Ginsberg07,
author = {Matthew L. Ginsberg},
editor = {Christian Bessiere},
title = {Of Mousetraps and Men: {A} Cautionary Tale},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {2},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_2},
doi = {10.1007/978-3-540-74970-7\_2},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Ginsberg07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/DainGKPSSP06,
author = {Oliver Dain and
Matthew L. Ginsberg and
Erin Keenan and
John M. Pyle and
Tristan B. Smith and
Andrew Stoneman and
Iain Pardoe},
editor = {L. Felipe Perrone and
Barry Lawson and
Jason Liu and
Frederick P. Wieland},
title = {Stochastic shipyard simulation with SimYard},
booktitle = {Proceedings of the Winter Simulation Conference {WSC} 2006, Monterey,
California, USA, December 3-6, 2006},
pages = {1770--1778},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/WSC.2006.322954},
doi = {10.1109/WSC.2006.322954},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsc/DainGKPSSP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/DixonGHLP05,
author = {Heidi E. Dixon and
Matthew L. Ginsberg and
David K. Hofer and
Eugene M. Luks and
Andrew J. Parkes},
title = {Generalizing Boolean Satisfiability {III:} Implementation},
journal = {J. Artif. Intell. Res.},
volume = {23},
pages = {441--531},
year = {2005},
url = {https://doi.org/10.1613/jair.1656},
doi = {10.1613/JAIR.1656},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/DixonGHLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/DixonGP04,
author = {Heidi E. Dixon and
Matthew L. Ginsberg and
Andrew J. Parkes},
title = {Generalizing Boolean Satisfiability {I:} Background and Survey of
Existing Work},
journal = {J. Artif. Intell. Res.},
volume = {21},
pages = {193--243},
year = {2004},
url = {https://doi.org/10.1613/jair.1353},
doi = {10.1613/JAIR.1353},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/DixonGP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/DixonGLP04,
author = {Heidi E. Dixon and
Matthew L. Ginsberg and
Eugene M. Luks and
Andrew J. Parkes},
title = {Generalizing Boolean Satisfiability {II:} Theory},
journal = {J. Artif. Intell. Res.},
volume = {22},
pages = {481--534},
year = {2004},
url = {https://doi.org/10.1613/jair.1555},
doi = {10.1613/JAIR.1555},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/DixonGLP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DixonGHLP04,
author = {Heidi E. Dixon and
Matthew L. Ginsberg and
David K. Hofer and
Eugene M. Luks and
Andrew J. Parkes},
editor = {Deborah L. McGuinness and
George Ferguson},
title = {Implementing a Generalized Version of Resolution},
booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
Sixteenth Conference on Innovative Applications of Artificial Intelligence,
July 25-29, 2004, San Jose, California, {USA}},
pages = {55--60},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2004},
url = {http://www.aaai.org/Library/AAAI/2004/aaai04-009.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DixonGHLP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DixonG02,
author = {Heidi E. Dixon and
Matthew L. Ginsberg},
editor = {Rina Dechter and
Michael J. Kearns and
Richard S. Sutton},
title = {Inference Methods for a Pseudo-Boolean Satisfiability Solver},
booktitle = {Proceedings of the Eighteenth National Conference on Artificial Intelligence
and Fourteenth Conference on Innovative Applications of Artificial
Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada},
pages = {635--640},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2002},
url = {http://www.aaai.org/Library/AAAI/2002/aaai02-095.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DixonG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Ginsberg01,
author = {Matthew L. Ginsberg},
title = {{GIB:} Imperfect Information in a Computationally Challenging Game},
journal = {J. Artif. Intell. Res.},
volume = {14},
pages = {303--358},
year = {2001},
url = {https://doi.org/10.1613/jair.820},
doi = {10.1613/JAIR.820},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Ginsberg01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icga/Ginsberg00,
author = {Matthew L. Ginsberg},
title = {Report on the 1999 World Computer-Bridge Championship},
journal = {J. Int. Comput. Games Assoc.},
volume = {23},
number = {2},
pages = {111--114},
year = {2000},
url = {https://doi.org/10.3233/ICG-2000-23211},
doi = {10.3233/ICG-2000-23211},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/icga/Ginsberg00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GinsbergP00,
author = {Matthew L. Ginsberg and
Andrew J. Parkes},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Satisfiability Algorithms and Finite Quantification},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {690--701},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/GinsbergP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ginsberg99,
author = {Matthew L. Ginsberg},
editor = {Thomas Dean},
title = {{GIB:} Steps Toward an Expert-Level Bridge-Playing Program},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {584--593},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-1/Papers/084.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Ginsberg99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GinsbergPR98,
author = {Matthew L. Ginsberg and
Andrew J. Parkes and
Amitabha Roy},
editor = {Jack Mostow and
Chuck Rich},
title = {Supermodels and Robustness},
booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
and Tenth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
pages = {334--339},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1998},
url = {http://www.aaai.org/Library/AAAI/1998/aaai98-047.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GinsbergPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Ginsberg96,
author = {Matthew L. Ginsberg},
editor = {William J. Clancey and
Daniel S. Weld},
title = {Partition Search},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
1},
pages = {228--233},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-034.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Ginsberg96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CrawfordGLR96,
author = {James M. Crawford and
Matthew L. Ginsberg and
Eugene M. Luks and
Amitabha Roy},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {Symmetry-Breaking Predicates for Search Problems},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {148--159},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/CrawfordGLR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JonssonG96,
author = {Ari K. J{\'{o}}nsson and
Matthew L. Ginsberg},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {Procedural Reasoning in Constraint Satisfaction},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {160--171},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/JonssonG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Ginsberg96,
author = {Matthew L. Ginsberg},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {A New Algorithm for Generative Planning},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {186--197},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Ginsberg96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Ginsberg96a,
author = {Matthew L. Ginsberg},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {Do Computers Need Common Sense?},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {620--626},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Ginsberg96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Ginsberg95,
author = {Matthew L. Ginsberg},
title = {Approximate Planning},
journal = {Artif. Intell.},
volume = {76},
number = {1-2},
pages = {89--123},
year = {1995},
url = {https://doi.org/10.1016/0004-3702(94)00077-E},
doi = {10.1016/0004-3702(94)00077-E},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Ginsberg95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Ginsberg95,
author = {Matthew L. Ginsberg},
title = {Epistemological and Heuristic Adequacy Revisited},
journal = {{ACM} Comput. Surv.},
volume = {27},
number = {3},
pages = {331--333},
year = {1995},
url = {https://doi.org/10.1145/212094.212117},
doi = {10.1145/212094.212117},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Ginsberg95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Ginsberg95,
author = {Matthew L. Ginsberg},
title = {Modality and Interrupts},
journal = {J. Autom. Reason.},
volume = {14},
number = {1},
pages = {43--91},
year = {1995},
url = {https://doi.org/10.1007/BF00883930},
doi = {10.1007/BF00883930},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Ginsberg95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HarveyG95,
author = {William D. Harvey and
Matthew L. Ginsberg},
title = {Limited Discrepancy Search},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {607--615},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-1/Papers/080.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HarveyG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FreuderDGST95,
author = {Eugene C. Freuder and
Rina Dechter and
Matthew L. Ginsberg and
Bart Selman and
Edward P. K. Tsang},
title = {Systematic Versus Stochastic Constraint Satisfaction},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {2027--2032},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-2/Papers/128.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FreuderDGST95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GinsbergH94,
author = {Matthew L. Ginsberg and
Hugh W. Holbrook},
title = {What Defaults can do that Hierarchies Can't},
journal = {Fundam. Informaticae},
volume = {21},
number = {1/2},
pages = {149--159},
year = {1994},
url = {https://doi.org/10.3233/FI-1994-21129},
doi = {10.3233/FI-1994-21129},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/GinsbergH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Ginsberg94,
author = {Matthew L. Ginsberg},
editor = {Kristian J. Hammond},
title = {Approximate Planning (Extended Abstract)},
booktitle = {Proceedings of the Second International Conference on Artificial Intelligence
Planning Systems, University of Chicago, Chicago, Illinois, USA, June
13-15, 1994},
pages = {68--73},
publisher = {{AAAI}},
year = {1994},
url = {http://www.aaai.org/Library/AIPS/1994/aips94-012.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/Ginsberg94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GinsbergM94,
author = {Matthew L. Ginsberg and
David A. McAllester},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {{GSAT} and Dynamic Backtracking},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {226--237},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/GinsbergM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/GinsbergM94,
author = {Matthew L. Ginsberg and
David A. McAllester},
editor = {Alan Borning},
title = {{GSAT} and Dynamic Backtracking},
booktitle = {Principles and Practice of Constraint Programming, Second International
Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {874},
pages = {243--265},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58601-6\_105},
doi = {10.1007/3-540-58601-6\_105},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/ppcp/GinsbergM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mk/Ginsberg93,
author = {Matthew L. Ginsberg},
title = {Essentials of Artificial Intelligence},
publisher = {Morgan Kaufmann},
year = {1993},
isbn = {1-55860-221-6},
timestamp = {Mon, 28 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/mk/Ginsberg93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Ginsberg93,
author = {Matthew L. Ginsberg},
title = {Dynamic Backtracking},
journal = {J. Artif. Intell. Res.},
volume = {1},
pages = {25--46},
year = {1993},
url = {https://doi.org/10.1613/jair.1},
doi = {10.1613/JAIR.1},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Ginsberg93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-9308101,
author = {Matthew L. Ginsberg},
title = {Dynamic Backtracking},
journal = {CoRR},
volume = {cs.AI/9308101},
year = {1993},
url = {https://arxiv.org/abs/cs/9308101},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-9308101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GinsbergH92,
author = {Matthew L. Ginsberg and
William D. Harvey},
title = {Iterative Broadening},
journal = {Artif. Intell.},
volume = {55},
number = {2},
pages = {367--383},
year = {1992},
url = {https://doi.org/10.1016/0004-3702(92)90059-7},
doi = {10.1016/0004-3702(92)90059-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GinsbergH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/Ginsberg92,
author = {Matthew L. Ginsberg},
title = {Prolegomena to Any Future Prolegomena},
journal = {Comput. Intell.},
volume = {8},
pages = {253--256},
year = {1992},
url = {https://doi.org/10.1111/j.1467-8640.1992.tb00351.x},
doi = {10.1111/J.1467-8640.1992.TB00351.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/Ginsberg92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DarwicheG92,
author = {Adnan Darwiche and
Matthew L. Ginsberg},
editor = {William R. Swartout},
title = {A Symbolic Generalization of Probability Theory},
booktitle = {Proceedings of the 10th National Conference on Artificial Intelligence,
San Jose, CA, USA, July 12-16, 1992},
pages = {622--627},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1992},
url = {http://www.aaai.org/Library/AAAI/1992/aaai92-096.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DarwicheG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Ginsberg91,
author = {Matthew L. Ginsberg},
title = {Marvin Minsky, The Society of Mind},
journal = {Artif. Intell.},
volume = {48},
number = {3},
pages = {335--339},
year = {1991},
timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/Ginsberg91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Ginsberg91,
author = {Matthew L. Ginsberg},
title = {Knowledge Interchange Format: the {KIF} of Death},
journal = {{AI} Mag.},
volume = {12},
number = {3},
pages = {57--63},
year = {1991},
url = {https://doi.org/10.1609/aimag.v12i3.903},
doi = {10.1609/AIMAG.V12I3.903},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Ginsberg91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Ginsberg91,
author = {Matthew L. Ginsberg},
title = {Negative Subgoals with Free Variables},
journal = {J. Log. Program.},
volume = {11},
number = {3{\&}4},
pages = {271--293},
year = {1991},
url = {https://doi.org/10.1016/0743-1066(91)90029-O},
doi = {10.1016/0743-1066(91)90029-O},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Ginsberg91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/Ginsberg91,
author = {Matthew L. Ginsberg},
title = {The {MVL} Theorem Proving System},
journal = {{SIGART} Bull.},
volume = {2},
number = {3},
pages = {57--60},
year = {1991},
url = {https://doi.org/10.1145/122296.122304},
doi = {10.1145/122296.122304},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigart/Ginsberg91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GinsbergG91,
author = {Matthew L. Ginsberg and
Donald F. Geddis},
editor = {Thomas L. Dean and
Kathleen R. McKeown},
title = {Is There any Need for Domain-Dependent Control Information?},
booktitle = {Proceedings of the 9th National Conference on Artificial Intelligence,
Anaheim, CA, USA, July 14-19, 1991, Volume 1},
pages = {452--457},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1991},
url = {http://www.aaai.org/Library/AAAI/1991/aaai91-070.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GinsbergG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Ginsberg91,
author = {Matthew L. Ginsberg},
editor = {James F. Allen and
Richard Fikes and
Erik Sandewall},
title = {Computational Considerations in Reasoning about Action},
booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge
Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
1991},
pages = {250--261},
publisher = {Morgan Kaufmann},
year = {1991},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/Ginsberg91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Ginsberg91a,
author = {Matthew L. Ginsberg},
editor = {James F. Allen and
Richard Fikes and
Erik Sandewall},
title = {The Computational Value of Nonmonotonic Reasoning},
booktitle = {Proceedings of the 2nd International Conference on Principles of Knowledge
Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25,
1991},
pages = {262--268},
publisher = {Morgan Kaufmann},
year = {1991},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Ginsberg91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ginsberg90,
author = {Matthew L. Ginsberg},
title = {Bilattices and Modal Operators},
journal = {J. Log. Comput.},
volume = {1},
number = {1},
pages = {41--69},
year = {1990},
url = {https://doi.org/10.1093/logcom/1.1.41},
doi = {10.1093/LOGCOM/1.1.41},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Ginsberg90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GinsbergFHT90,
author = {Matthew L. Ginsberg and
Michael Frank and
Michael P. Halpin and
Mark C. Torrance},
editor = {Howard E. Shrobe and
Thomas G. Dietterich and
William R. Swartout},
title = {Search Lessons Learned from Crossword Puzzles},
booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence.
Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes},
pages = {210--215},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1990},
url = {http://www.aaai.org/Library/AAAI/1990/aaai90-032.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GinsbergFHT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GinsbergH90,
author = {Matthew L. Ginsberg and
William D. Harvey},
editor = {Howard E. Shrobe and
Thomas G. Dietterich and
William R. Swartout},
title = {Iterative Broadening},
booktitle = {Proceedings of the 8th National Conference on Artificial Intelligence.
Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes},
pages = {216--220},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1990},
url = {http://www.aaai.org/Library/AAAI/1990/aaai90-033.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GinsbergH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Ginsberg90,
author = {Matthew L. Ginsberg},
editor = {Rohit Parikh},
title = {Bilattices and Modal Operators},
booktitle = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
about Knowledge, Pacific Grove, CA, USA, March 1990},
pages = {273--287},
publisher = {Morgan Kaufmann},
year = {1990},
timestamp = {Thu, 21 Jun 2018 07:50:57 +0200},
biburl = {https://dblp.org/rec/conf/tark/Ginsberg90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Ginsberg89,
author = {Matthew L. Ginsberg},
title = {A Circumscriptive Theorem Prover},
journal = {Artif. Intell.},
volume = {39},
number = {2},
pages = {209--230},
year = {1989},
url = {https://doi.org/10.1016/0004-3702(89)90026-X},
doi = {10.1016/0004-3702(89)90026-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Ginsberg89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Ginsberg89,
author = {Matthew L. Ginsberg},
title = {Universal Planning: An (Almost) Universally Bad Idea},
journal = {{AI} Mag.},
volume = {10},
number = {4},
pages = {40--44},
year = {1989},
url = {https://doi.org/10.1609/aimag.v10i4.964},
doi = {10.1609/AIMAG.V10I4.964},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Ginsberg89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Ginsberg89a,
author = {Matthew L. Ginsberg},
title = {Ginsberg Replies of Chapman and Schoppers - Universal Planning Research:
{A} Good or Bad Idea?},
journal = {{AI} Mag.},
volume = {10},
number = {4},
pages = {61--62},
year = {1989},
url = {https://ojs.aaai.org/index.php/aimagazine/article/view/967},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/Ginsberg89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BakerG89,
author = {Andrew B. Baker and
Matthew L. Ginsberg},
editor = {N. S. Sridharan},
title = {A Theorem Prover for Prioritized Circumscription},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {463--467},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-1/Papers/075.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BakerG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BakerG89a,
author = {Andrew B. Baker and
Matthew L. Ginsberg},
editor = {N. S. Sridharan},
title = {Temporal Projection and Explanation},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {906--911},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-2/Papers/009.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BakerG89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EtheringtonFGIL89,
author = {David W. Etherington and
Kenneth D. Forbus and
Matthew L. Ginsberg and
David J. Israel and
Vladimir Lifschitz},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Critical Issues in Nonmonotonic Reasoning},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {500--504},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 15:03:01 +0200},
biburl = {https://dblp.org/rec/conf/kr/EtheringtonFGIL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nmr/1988,
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50701-9},
doi = {10.1007/3-540-50701-9},
isbn = {3-540-50701-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/1988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GinsbergS88,
author = {Matthew L. Ginsberg and
David E. Smith},
title = {Reasoning About Action {I:} {A} Possible Worlds Approach},
journal = {Artif. Intell.},
volume = {35},
number = {2},
pages = {165--195},
year = {1988},
url = {https://doi.org/10.1016/0004-3702(88)90011-2},
doi = {10.1016/0004-3702(88)90011-2},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/GinsbergS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GinsbergS88a,
author = {Matthew L. Ginsberg and
David E. Smith},
title = {Reasoning About Action {II:} The Qualification Problem},
journal = {Artif. Intell.},
volume = {35},
number = {3},
pages = {311--342},
year = {1988},
url = {https://doi.org/10.1016/0004-3702(88)90020-3},
doi = {10.1016/0004-3702(88)90020-3},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/GinsbergS88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/Ginsberg88,
author = {Matthew L. Ginsberg},
title = {Reply to Cheeseman's An inquiry into computer understanding},
journal = {Comput. Intell.},
volume = {4},
pages = {77--78},
year = {1988},
url = {https://doi.org/10.1111/j.1467-8640.1988.tb00097.x},
doi = {10.1111/J.1467-8640.1988.TB00097.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/Ginsberg88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/Ginsberg88a,
author = {Matthew L. Ginsberg},
title = {Multivalued logics: a uniform approach to reasoning in artificial
intelligence},
journal = {Comput. Intell.},
volume = {4},
pages = {265--316},
year = {1988},
url = {https://doi.org/10.1111/j.1467-8640.1988.tb00280.x},
doi = {10.1111/J.1467-8640.1988.TB00280.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/Ginsberg88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Ginsberg88,
author = {Matthew L. Ginsberg},
editor = {Howard E. Shrobe and
Tom M. Mitchell and
Reid G. Smith},
title = {A Circumscriptive Theorem Prover},
booktitle = {Proceedings of the 7th National Conference on Artificial Intelligence,
St. Paul, MN, USA, August 21-26, 1988},
pages = {470--474},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1988},
url = {http://www.aaai.org/Library/AAAI/1988/aaai88-083.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Ginsberg88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Ginsberg88,
author = {Matthew L. Ginsberg},
editor = {Michael Reinfrank and
Johan de Kleer and
Matthew L. Ginsberg and
Erik Sandewall},
title = {A Circumscriptive Theorem Prover},
booktitle = {Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG,
June 13-15, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {346},
pages = {100--114},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50701-9\_22},
doi = {10.1007/3-540-50701-9\_22},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/nmr/Ginsberg88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GinsbergS87,
author = {Matthew L. Ginsberg and
David E. Smith},
editor = {Kenneth D. Forbus and
Howard E. Shrobe},
title = {Possible Worlds and the Qualification Problem},
booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
Seattle, WA, USA, July 1987},
pages = {212--217},
publisher = {Morgan Kaufmann},
year = {1987},
url = {http://www.aaai.org/Library/AAAI/1987/aaai87-038.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GinsbergS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Ginsberg86,
author = {Matthew L. Ginsberg},
title = {Counterfactuals},
journal = {Artif. Intell.},
volume = {30},
number = {1},
pages = {35--79},
year = {1986},
url = {https://doi.org/10.1016/0004-3702(86)90067-6},
doi = {10.1016/0004-3702(86)90067-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Ginsberg86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SmithGG86,
author = {David E. Smith and
Michael R. Genesereth and
Matthew L. Ginsberg},
title = {Controlling Recursive Inference},
journal = {Artif. Intell.},
volume = {30},
number = {3},
pages = {343--389},
year = {1986},
url = {https://doi.org/10.1016/0004-3702(86)90003-2},
doi = {10.1016/0004-3702(86)90003-2},
timestamp = {Tue, 19 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/SmithGG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GeneserethGR86,
author = {Michael R. Genesereth and
Matthew L. Ginsberg and
Jeffrey S. Rosenschein},
editor = {Tom Kehler},
title = {Cooperation without Communication},
booktitle = {Proceedings of the 5th National Conference on Artificial Intelligence.
Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
pages = {51--57},
publisher = {Morgan Kaufmann},
year = {1986},
url = {http://www.aaai.org/Library/AAAI/1986/aaai86-009.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GeneserethGR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Ginsberg86,
author = {Matthew L. Ginsberg},
editor = {Tom Kehler},
title = {Multi-Valued Logics},
booktitle = {Proceedings of the 5th National Conference on Artificial Intelligence.
Philadelphia, PA, USA, August 11-15, 1986. Volume 1: Science},
pages = {243--249},
publisher = {Morgan Kaufmann},
year = {1986},
url = {http://www.aaai.org/Library/AAAI/1986/aaai86-040.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Ginsberg86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GeneserethG85,
author = {Michael R. Genesereth and
Matthew L. Ginsberg},
title = {Logic Programming},
journal = {Commun. {ACM}},
volume = {28},
number = {9},
pages = {933--941},
year = {1985},
url = {https://doi.org/10.1145/4284.4287},
doi = {10.1145/4284.4287},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/GeneserethG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ginsberg85,
author = {Matthew L. Ginsberg},
editor = {Aravind K. Joshi},
title = {Counterfactuals},
booktitle = {Proceedings of the 9th International Joint Conference on Artificial
Intelligence. Los Angeles, CA, USA, August 1985},
pages = {80--86},
publisher = {Morgan Kaufmann},
year = {1985},
url = {http://ijcai.org/Proceedings/85-1/Papers/015.pdf},
timestamp = {Tue, 20 Aug 2019 16:19:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Ginsberg85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Ginsberg85a,
author = {Matthew L. Ginsberg},
editor = {Aravind K. Joshi},
title = {Does Probability Have a Place in Non-monotonic Reasoning?},
booktitle = {Proceedings of the 9th International Joint Conference on Artificial
Intelligence. Los Angeles, CA, USA, August 1985},
pages = {107--110},
publisher = {Morgan Kaufmann},
year = {1985},
url = {http://ijcai.org/Proceedings/85-1/Papers/019.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Ginsberg85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/Ginsberg85,
author = {Matthew L. Ginsberg},
editor = {Laveen N. Kanal and
John F. Lemmer},
title = {Implementing Probabilistic Reasoning},
booktitle = {{UAI} '85: Proceedings of the First Annual Conference on Uncertainty
in Artificial Intelligence, Los Angeles, CA, USA, July 10-12, 1985},
pages = {331--338},
publisher = {Elsevier},
year = {1985},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=1748\&\#38;proceeding\_id=1001},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/Ginsberg85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Ginsberg84,
author = {Matthew L. Ginsberg},
editor = {Ronald J. Brachman},
title = {Non-Monotonic Reasoning Using Dempster's Rule},
booktitle = {Proceedings of the National Conference on Artificial Intelligence.
Austin, TX, USA, August 6-10, 1984},
pages = {126--129},
publisher = {{AAAI} Press},
year = {1984},
url = {http://www.aaai.org/Library/AAAI/1984/aaai84-016.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Ginsberg84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-12-11 23:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
