BibTeX records: Robert P. Goldman

download as .bib file

@article{DBLP:journals/jetc/BartleyBRBGKLBNW23,
  author       = {Bryan Bartley and
                  Jacob Beal and
                  Miles Rogers and
                  Daniel Bryce and
                  Robert P. Goldman and
                  Benjamin Keller and
                  Peter Lee and
                  Vanessa Biggers and
                  Joshua Nowak and
                  Mark Weston},
  title        = {Building an Open Representation for Biological Protocols},
  journal      = {{ACM} J. Emerg. Technol. Comput. Syst.},
  volume       = {19},
  number       = {3},
  pages        = {28:1--28:21},
  year         = {2023},
  url          = {https://doi.org/10.1145/3604568},
  doi          = {10.1145/3604568},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetc/BartleyBRBGKLBNW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbp-brims/BenklerFSMSKMG22,
  author       = {Noam Benkler and
                  Scott Friedman and
                  Sonja Schmer{-}Galunder and
                  Drisana Mosaphir and
                  Vasanth Sarathy and
                  Pavan Kantharaju and
                  Matthew D. McLure and
                  Robert P. Goldman},
  editor       = {Robert Thomson and
                  Christopher L. Dancy and
                  Aryn Pyke},
  title        = {Cultural Value Resonance in Folktales: {A} Transformer-Based Analysis
                  with the World Value Corpus},
  booktitle    = {Social, Cultural, and Behavioral Modeling - 15th International Conference,
                  SBP-BRiMS 2022, Pittsburgh, PA, USA, September 20-23, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13558},
  pages        = {209--218},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-17114-7\_20},
  doi          = {10.1007/978-3-031-17114-7\_20},
  timestamp    = {Thu, 02 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbp-brims/BenklerFSMSKMG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/FriedmanSCGA20,
  author       = {Scott E. Friedman and
                  Sonja Schmer{-}Galunder and
                  Anthony Chen and
                  Robert P. Goldman and
                  Michelle Ausman},
  editor       = {Stephanie Denison and
                  Michael Mack and
                  Yang Xu and
                  Blair C. Armstrong},
  title        = {Gender Gaps Correlate with Gender Bias in Social Media Word Embeddings},
  booktitle    = {Proceedings of the 42th Annual Meeting of the Cognitive Science Society
                  - Developing a Mind: Learning in Humans, Animals, and Machines, CogSci
                  2020, virtual, July 29 - August 1, 2020},
  publisher    = {cognitivesciencesociety.org},
  year         = {2020},
  url          = {https://cogsci.mindmodeling.org/2020/papers/0621/index.html},
  timestamp    = {Wed, 17 Apr 2024 12:42:59 +0200},
  biburl       = {https://dblp.org/rec/conf/cogsci/FriedmanSCGA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-01774,
  author       = {Scott E. Friedman and
                  Robert P. Goldman and
                  Richard G. Freedman and
                  Ugur Kuter and
                  Christopher W. Geib and
                  Jeffrey M. Rye},
  title        = {Provenance-Based Assessment of Plans in Context},
  journal      = {CoRR},
  volume       = {abs/2011.01774},
  year         = {2020},
  url          = {https://arxiv.org/abs/2011.01774},
  eprinttype    = {arXiv},
  eprint       = {2011.01774},
  timestamp    = {Mon, 09 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2011-01774.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KuterKGHCLLGAH19,
  author       = {Ugur Kuter and
                  Brian Kettler and
                  Katherine Guo and
                  Martin O. Hofmann and
                  Valerie Champagne and
                  Kurt Lachevet and
                  Jennifer Lautenschlager and
                  Robert P. Goldman and
                  Luis Asencios and
                  Josh Hamell},
  title        = {Profiles, Proxies, and Assumptions: Decentralized, Communications-Resilient
                  Planning, Allocation, and Scheduling},
  booktitle    = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2019, The Thirty-First Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
                  USA, January 27 - February 1, 2019},
  pages        = {9504--9509},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://doi.org/10.1609/aaai.v33i01.33019504},
  doi          = {10.1609/AAAI.V33I01.33019504},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KuterKGHCLLGAH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/els/GoldmanK19,
  author       = {Robert P. Goldman and
                  Ugur Kuter},
  editor       = {Nicolas Neuss},
  title        = {Hierarchical Task Network Planning in Common Lisp: the case of {SHOP3}},
  booktitle    = {Proceedings of the 12th European Lisp Symposium {(ELS} 2019), Genova,
                  Italy, April 1-2, 2019},
  pages        = {73--80},
  publisher    = {{ELSAA}},
  year         = {2019},
  url          = {https://doi.org/10.5281/zenodo.2633324},
  doi          = {10.5281/ZENODO.2633324},
  timestamp    = {Wed, 13 Nov 2019 17:59:17 +0100},
  biburl       = {https://dblp.org/rec/conf/els/GoldmanK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RobertsonLGBC17,
  author       = {Paul Robertson and
                  Robert Laddaga and
                  Robert P. Goldman and
                  Mark H. Burstein and
                  Daniel Cerys},
  title        = {Qualitative Reasoning about Cyber Intrusions},
  booktitle    = {The Workshops of the The Thirty-First {AAAI} Conference on Artificial
                  Intelligence, Saturday, February 4-9, 2017, San Francisco, California,
                  {USA}},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-17}},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15231},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/RobertsonLGBC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BentonGBMRCHB16,
  author       = {J. Benton and
                  Robert P. Goldman and
                  Mark H. Burstein and
                  Joseph Mueller and
                  Paul Robertson and
                  Dan Cerys and
                  Andreas Hoffman and
                  Rusty Bobrow},
  editor       = {David R. Martinez and
                  William W. Streilein and
                  Kevin M. Carter and
                  Arunesh Sinha},
  title        = {Active Perception for Cyber Intrusion Detection and Defense},
  booktitle    = {Artificial Intelligence for Cyber Security, Papers from the 2016 {AAAI}
                  Workshop, Phoenix, Arizona, USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-03}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12621},
  timestamp    = {Tue, 05 Sep 2023 08:59:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BentonGBMRCHB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GoldmanBPMB16,
  author       = {Robert P. Goldman and
                  Daniel Bryce and
                  Michael J. S. Pelican and
                  David J. Musliner and
                  Kyungmin Bae},
  editor       = {Daniele Magazzeni and
                  Scott Sanner and
                  Sylvie Thi{\'{e}}baux},
  title        = {An Architecture for Hybrid Planning and Execution},
  booktitle    = {Planning for Hybrid Systems, Papers from the 2016 {AAAI} Workshop,
                  Phoenix, Arizona, USA, February 13, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-12}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12622},
  timestamp    = {Tue, 05 Sep 2023 08:59:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GoldmanBPMB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GoldmanBPMB16,
  author       = {Robert P. Goldman and
                  Daniel Bryce and
                  Michael J. S. Pelican and
                  David J. Musliner and
                  Kyungmin Bae},
  editor       = {Sanjai Rayadurgam and
                  Oksana Tkachuk},
  title        = {A Hybrid Architecture for Correct-by-Construction Hybrid Planning
                  and Control},
  booktitle    = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
                  MN, USA, June 7-9, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9690},
  pages        = {388--394},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40648-0\_29},
  doi          = {10.1007/978-3-319-40648-0\_29},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/GoldmanBPMB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BryceGMG15,
  author       = {Daniel Bryce and
                  Sicun Gao and
                  David J. Musliner and
                  Robert P. Goldman},
  editor       = {Blai Bonet and
                  Sven Koenig},
  title        = {SMT-Based Nonlinear {PDDL+} Planning},
  booktitle    = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
                  January 25-30, 2015, Austin, Texas, {USA}},
  pages        = {3247--3253},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/aaai.v29i1.9646},
  doi          = {10.1609/AAAI.V29I1.9646},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BryceGMG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GoldmanK15,
  author       = {Robert P. Goldman and
                  Ugur Kuter},
  editor       = {Blai Bonet and
                  Sven Koenig},
  title        = {Measuring Plan Diversity: Pathologies in Existing Approaches and {A}
                  New Plan Distance Metric},
  booktitle    = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
                  January 25-30, 2015, Austin, Texas, {USA}},
  pages        = {3275--3282},
  publisher    = {{AAAI} Press},
  year         = {2015},
  url          = {https://doi.org/10.1609/aaai.v29i1.9669},
  doi          = {10.1609/AAAI.V29I1.9669},
  timestamp    = {Mon, 18 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GoldmanK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/GoldmanBBKMRCHB15,
  author       = {Robert P. Goldman and
                  Mark H. Burstein and
                  J. Benton and
                  Ugur Kuter and
                  Joseph Mueller and
                  Paul Robertson and
                  Dan Cerys and
                  Andreas Hoffman and
                  Rusty Bobrow},
  title        = {Active Perception for Cyber Intrusion Detection and Defense},
  booktitle    = {2015 {IEEE} International Conference on Self-Adaptive and Self-Organizing
                  Systems Workshops, {SASO} Workshops 2015, Cambridge, MA, USA, September
                  21-25, 2015},
  pages        = {92--101},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/SASOW.2015.20},
  doi          = {10.1109/SASOW.2015.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saso/GoldmanBBKMRCHB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AlfordKNG14,
  author       = {Ronald Alford and
                  Ugur Kuter and
                  Dana S. Nau and
                  Robert P. Goldman},
  title        = {Plan aggregation for strong cyclic planning in nondeterministic domains},
  journal      = {Artif. Intell.},
  volume       = {216},
  pages        = {206--232},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.artint.2014.07.007},
  doi          = {10.1016/J.ARTINT.2014.07.007},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/AlfordKNG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GoldmanPM14,
  author       = {Robert P. Goldman and
                  Michael J. S. Pelican and
                  David J. Musliner},
  title        = {A loop acceleration technique to speed up verification of automatically
                  generated plans},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {16},
  number       = {1},
  pages        = {13--29},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10009-013-0284-z},
  doi          = {10.1007/S10009-013-0284-Z},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/GoldmanPM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/ThayerBGKRL13,
  author       = {Jordan Tyler Thayer and
                  Mark H. Burstein and
                  Robert P. Goldman and
                  Ugur Kuter and
                  Paul Robertson and
                  Robert Laddaga},
  title        = {Comparing Strategic and Tactical Responses to Cyber Threats},
  booktitle    = {7th {IEEE} International Conference on Self-Adaptation and Self-Organizing
                  Systems Workshops, SASOW, 2013, Philadelphia, PA, USA, September 9-13,
                  2013},
  pages        = {35--40},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/SASOW.2013.25},
  doi          = {10.1109/SASOW.2013.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saso/ThayerBGKRL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-6700,
  author       = {Robert P. Goldman and
                  Christopher W. Geib and
                  Christopher A. Miller},
  title        = {A New Model of Plan Recognition},
  journal      = {CoRR},
  volume       = {abs/1301.6700},
  year         = {2013},
  url          = {http://arxiv.org/abs/1301.6700},
  eprinttype    = {arXiv},
  eprint       = {1301.6700},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-6700.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-6810,
  author       = {Robert P. Goldman and
                  Mark S. Boddy},
  title        = {Epsilon-Safe Planning},
  journal      = {CoRR},
  volume       = {abs/1302.6810},
  year         = {2013},
  url          = {http://arxiv.org/abs/1302.6810},
  eprinttype    = {arXiv},
  eprint       = {1302.6810},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6810.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-5405,
  author       = {Robert P. Goldman and
                  John S. Breese},
  title        = {Integrating Model Construction and Evaluation},
  journal      = {CoRR},
  volume       = {abs/1303.5405},
  year         = {2013},
  url          = {http://arxiv.org/abs/1303.5405},
  eprinttype    = {arXiv},
  eprint       = {1303.5405},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-5405.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1092,
  author       = {Robert P. Goldman and
                  Eugene Charniak},
  title        = {Dynamic Construction of Belief Networks},
  journal      = {CoRR},
  volume       = {abs/1304.1092},
  year         = {2013},
  url          = {http://arxiv.org/abs/1304.1092},
  eprinttype    = {arXiv},
  eprint       = {1304.1092},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-1092.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1497,
  author       = {Eugene Charniak and
                  Robert P. Goldman},
  title        = {Plan Recognition in Stories and in Life},
  journal      = {CoRR},
  volume       = {abs/1304.1497},
  year         = {2013},
  url          = {http://arxiv.org/abs/1304.1497},
  eprinttype    = {arXiv},
  eprint       = {1304.1497},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-1497.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/BursteinGRLBGGKMMKW12,
  author       = {Mark H. Burstein and
                  Robert P. Goldman and
                  Paul Robertson and
                  Robert Laddaga and
                  Robert Balzer and
                  Neil M. Goldman and
                  Christopher W. Geib and
                  Ugur Kuter and
                  David D. McDonald and
                  John Maraist and
                  Peter Keller and
                  David S. Wile},
  title        = {{STRATUS:} Strategic and Tactical Resiliency against Threats to Ubiquitous
                  Systems},
  booktitle    = {Sixth {IEEE} International Conference on Self-Adaptive and Self-Organizing
                  Systems Workshops, {SASOW} 2012, Lyon, France, September 10-14, 2012},
  pages        = {47--54},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SASOW.2012.17},
  doi          = {10.1109/SASOW.2012.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saso/BursteinGRLBGGKMMKW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GeibG11,
  author       = {Christopher W. Geib and
                  Robert P. Goldman},
  editor       = {Wolfram Burgard and
                  Dan Roth},
  title        = {Recognizing Plans with Loops Represented in a Lexicalized Grammar},
  booktitle    = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
  pages        = {958--963},
  publisher    = {{AAAI} Press},
  year         = {2011},
  url          = {https://doi.org/10.1609/aaai.v25i1.8010},
  doi          = {10.1609/AAAI.V25I1.8010},
  timestamp    = {Mon, 04 Sep 2023 16:05:54 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GeibG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GoldmanGKA11,
  author       = {Robert P. Goldman and
                  Christopher W. Geib and
                  Henry A. Kautz and
                  Tamim Asfour},
  title        = {Plan Recognition (Dagstuhl Seminar 11141)},
  journal      = {Dagstuhl Reports},
  volume       = {1},
  number       = {4},
  pages        = {1--22},
  year         = {2011},
  url          = {https://doi.org/10.4230/DagRep.1.4.1},
  doi          = {10.4230/DAGREP.1.4.1},
  timestamp    = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/GoldmanGKA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AhaBBGDEGGGHIJKKKLMMNPRRRRSSSTMHMN10,
  author       = {David W. Aha and
                  Mark S. Boddy and
                  Vadim Bulitko and
                  Artur S. d'Avila Garcez and
                  Prashant Doshi and
                  Stefan Edelkamp and
                  Christopher W. Geib and
                  Piotr J. Gmytrasiewicz and
                  Robert P. Goldman and
                  Pascal Hitzler and
                  Charles L. Isbell Jr. and
                  Darsana P. Josyula and
                  Leslie Pack Kaelbling and
                  Kristian Kersting and
                  Maithilee Kunda and
                  Lu{\'{\i}}s C. Lamb and
                  Bhaskara Marthi and
                  Keith McGreggor and
                  Vivi Nastase and
                  Gregory M. Provan and
                  Anita Raja and
                  Ashwin Ram and
                  Mark O. Riedl and
                  Stuart Russell and
                  Ashish Sabharwal and
                  Jan{-}Georg Smaus and
                  Gita Sukthankar and
                  Karl Tuyls and
                  Ron van der Meyden and
                  Alon Y. Halevy and
                  Lilyana Mihalkova and
                  Sriraam Natarajan},
  title        = {Reports of the {AAAI} 2010 Conference Workshops},
  journal      = {{AI} Mag.},
  volume       = {31},
  number       = {4},
  pages        = {95--108},
  year         = {2010},
  url          = {https://doi.org/10.1609/aimag.v31i4.2318},
  doi          = {10.1609/AIMAG.V31I4.2318},
  timestamp    = {Thu, 07 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aim/AhaBBGDEGGGHIJKKKLMMNPRRRRSSSTMHMN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GeibG10,
  author       = {Christopher W. Geib and
                  Robert P. Goldman},
  title        = {Handling Looping and Optional Actions in {YAPPR}},
  booktitle    = {Plan, Activity, and Intent Recognition, Papers from the 2010 {AAAI}
                  Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-05}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2001},
  timestamp    = {Tue, 05 Sep 2023 08:59:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GeibG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GoldmanKB10,
  author       = {Robert P. Goldman and
                  Froduald Kabanza and
                  Philipe Bellefeuille},
  title        = {Plan Libraries for Plan Recognition: Do We Really Know What They Model?},
  booktitle    = {Plan, Activity, and Intent Recognition, Papers from the 2010 {AAAI}
                  Workshop, Atlanta, Georgia, USA, July 12, 2010},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-10-05}},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW10/paper/view/2003},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GoldmanKB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GoldmanM10,
  author       = {Robert P. Goldman and
                  John Maraist},
  editor       = {Ronen I. Brafman and
                  Hector Geffner and
                  J{\"{o}}rg Hoffmann and
                  Henry A. Kautz},
  title        = {Shopper: {A} System for Executing and Simulating Expressive Plans},
  booktitle    = {Proceedings of the 20th International Conference on Automated Planning
                  and Scheduling, {ICAPS} 2010, Toronto, Ontario, Canada, May 12-16,
                  2010},
  pages        = {230--233},
  publisher    = {{AAAI}},
  year         = {2010},
  url          = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1445},
  timestamp    = {Thu, 31 Jul 2014 11:17:14 +0200},
  biburl       = {https://dblp.org/rec/conf/aips/GoldmanM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/RideauG10,
  author       = {Fran{\c{c}}ois{-}Ren{\'{e}} Rideau and
                  Robert P. Goldman},
  editor       = {Jon L. White and
                  Ant{\'{o}}nio Menezes Leit{\~{a}}o},
  title        = {Evolving {ASDF:} more cooperation, less coordination},
  booktitle    = {International Lisp Conference, {ILC} 2010, Reno, NV, USA, October
                  19-21, 2010},
  pages        = {29--42},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1869643.1869648},
  doi          = {10.1145/1869643.1869648},
  timestamp    = {Sat, 18 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lfp/RideauG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/MuslinerG10,
  author       = {David J. Musliner and
                  Robert P. Goldman},
  title        = {Priority-Based Meta-control within Hierarchical Task Network Planning},
  booktitle    = {Fourth {IEEE} International Conference on Self-Adaptive and Self-Organizing
                  Systems, {SASO} 2010, Budapest, Hungary, 27-28 September 2010, Workshops
                  Proceedings},
  pages        = {282--286},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SASOW.2010.58},
  doi          = {10.1109/SASOW.2010.58},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saso/MuslinerG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GeibG09,
  author       = {Christopher W. Geib and
                  Robert P. Goldman},
  title        = {A probabilistic plan recognition algorithm based on plan tree grammars},
  journal      = {Artif. Intell.},
  volume       = {173},
  number       = {11},
  pages        = {1101--1132},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.artint.2009.01.003},
  doi          = {10.1016/J.ARTINT.2009.01.003},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/GeibG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Goldman09,
  author       = {Robert P. Goldman},
  editor       = {Alfonso Gerevini and
                  Adele E. Howe and
                  Amedeo Cesta and
                  Ioannis Refanidis},
  title        = {A Semantics for {HTN} Methods},
  booktitle    = {Proceedings of the 19th International Conference on Automated Planning
                  and Scheduling, {ICAPS} 2009, Thessaloniki, Greece, September 19-23,
                  2009},
  publisher    = {{AAAI}},
  year         = {2009},
  url          = {http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/750},
  timestamp    = {Thu, 13 Dec 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/Goldman09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/AlfordKNRG09,
  author       = {Ronald Alford and
                  Ugur Kuter and
                  Dana S. Nau and
                  Elnatan Reisner and
                  Robert P. Goldman},
  editor       = {H. Chad Lane and
                  Hans W. Guesgen},
  title        = {Maintaining Focus: Overcoming Attention Deficit Disorder in Contingent
                  Planning},
  booktitle    = {Proceedings of the Twenty-Second International Florida Artificial
                  Intelligence Research Society Conference, May 19-21, 2009, Sanibel
                  Island, Florida, {USA}},
  publisher    = {{AAAI} Press},
  year         = {2009},
  url          = {http://aaai.org/ocs/index.php/FLAIRS/2009/paper/view/128},
  timestamp    = {Wed, 26 Oct 2022 08:35:22 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/AlfordKNRG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/StrayerMWHHGSSMKZ09,
  author       = {Tim Strayer and
                  Walter C. Milliken and
                  Ronald J. Watro and
                  Walt Heimerdinger and
                  Steven A. Harp and
                  Robert P. Goldman and
                  Dustin Spicuzza and
                  Beverly Schwartz and
                  David Mankins and
                  Derrick Kong and
                  Pieter Mudge Zatko},
  title        = {An architecture for scalable network defense},
  booktitle    = {The 34th Annual {IEEE} Conference on Local Computer Networks, {LCN}
                  2009, 20-23 October 2009, Zurich, Switzerland, Proceedings},
  pages        = {368--371},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/LCN.2009.5355116},
  doi          = {10.1109/LCN.2009.5355116},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lcn/StrayerMWHHGSSMKZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/MuslinerPGKD08,
  author       = {David J. Musliner and
                  Michael J. S. Pelican and
                  Robert P. Goldman and
                  Kurt D. Krebsbach and
                  Edmund H. Durfee},
  title        = {The Evolution of CIRCA, a Theory-Based {AI} Architecture with Real-Time
                  Performance Guarantees},
  booktitle    = {Architectures for Intelligent Theory-Based Agents, Papers from the
                  2008 {AAAI} Spring Symposium, Technical Report SS-08-02, Stanford,
                  California, USA, March 26-28, 2008},
  pages        = {43--48},
  publisher    = {{AAAI}},
  year         = {2008},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2008/ss08-02-008.php},
  timestamp    = {Fri, 17 Feb 2012 14:17:25 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/MuslinerPGKD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GeibMG08,
  author       = {Christopher W. Geib and
                  John Maraist and
                  Robert P. Goldman},
  editor       = {Jussi Rintanen and
                  Bernhard Nebel and
                  J. Christopher Beck and
                  Eric A. Hansen},
  title        = {A New Probabilistic Plan Recognition Algorithm Based on String Rewriting},
  booktitle    = {Proceedings of the Eighteenth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2008, Sydney, Australia, September
                  14-18, 2008},
  pages        = {91--98},
  publisher    = {{AAAI}},
  year         = {2008},
  url          = {http://www.aaai.org/Library/ICAPS/2008/icaps08-012.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/GeibMG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/KuterNRG08,
  author       = {Ugur Kuter and
                  Dana S. Nau and
                  Elnatan Reisner and
                  Robert P. Goldman},
  editor       = {Jussi Rintanen and
                  Bernhard Nebel and
                  J. Christopher Beck and
                  Eric A. Hansen},
  title        = {Using Classical Planners to Solve Nondeterministic Planning Problems},
  booktitle    = {Proceedings of the Eighteenth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2008, Sydney, Australia, September
                  14-18, 2008},
  pages        = {190--197},
  publisher    = {{AAAI}},
  year         = {2008},
  url          = {http://www.aaai.org/Library/ICAPS/2008/icaps08-024.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/KuterNRG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/GoldmanMBDW07,
  author       = {Robert P. Goldman and
                  David J. Musliner and
                  Mark S. Boddy and
                  Edmund H. Durfee and
                  Jianhui Wu},
  title        = {"Unrolling" Complex Task Models into MDPs},
  booktitle    = {Game Theoretic and Decision Theoretic Agents, Papers from the 2007
                  {AAAI} Spring Symposium, Technical Report SS-07-02, Stanford, California,
                  USA, March 26-28, 2007},
  pages        = {23--30},
  publisher    = {{AAAI}},
  year         = {2007},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-02-004.php},
  timestamp    = {Mon, 07 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/GoldmanMBDW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/MuslinerDWDGB06,
  author       = {David J. Musliner and
                  Edmund H. Durfee and
                  Jianhui Wu and
                  Dmitri A. Dolgov and
                  Robert P. Goldman and
                  Mark S. Boddy},
  title        = {Coordinated Plan Management Using Multiagent MDPs},
  booktitle    = {Distributed Plan and Schedule Management, Papers from the 2006 {AAAI}
                  Spring Symposium, Technical Report SS-06-04, Stanford, California,
                  USA, March 27-29, 2006},
  pages        = {73--80},
  publisher    = {{AAAI}},
  year         = {2006},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-04-011.php},
  timestamp    = {Mon, 07 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/MuslinerDWDGB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/Goldman06,
  author       = {Robert P. Goldman},
  editor       = {Derek Long and
                  Stephen F. Smith and
                  Daniel Borrajo and
                  Lee McCluskey},
  title        = {Durative Planning in HTNs},
  booktitle    = {Proceedings of the Sixteenth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2006, Cumbria, UK, June 6-10, 2006},
  pages        = {382--385},
  publisher    = {{AAAI}},
  year         = {2006},
  url          = {http://www.aaai.org/Library/ICAPS/2006/icaps06-046.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/Goldman06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/NareyekFFGGKRT05,
  author       = {Alexander Nareyek and
                  Eugene C. Freuder and
                  Robert Fourer and
                  Enrico Giunchiglia and
                  Robert P. Goldman and
                  Henry A. Kautz and
                  Jussi Rintanen and
                  Austin Tate},
  title        = {Constraints and {AI} Planning},
  journal      = {{IEEE} Intell. Syst.},
  volume       = {20},
  number       = {2},
  pages        = {62--72},
  year         = {2005},
  url          = {https://doi.org/10.1109/MIS.2005.25},
  doi          = {10.1109/MIS.2005.25},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/expert/NareyekFFGGKRT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/GoldmanBHH05,
  author       = {Robert P. Goldman and
                  Mark S. Boddy and
                  Steven A. Harp and
                  Tom Haigh},
  title        = {Collaborative Filtering for Community Threats},
  booktitle    = {{AI} Technologies for Homeland Security, Papers from the 2005 {AAAI}
                  Spring Symposium, Technical Report SS-05-01, Stanford, California,
                  USA, March 21-23, 2005},
  pages        = {130--132},
  publisher    = {{AAAI}},
  year         = {2005},
  url          = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-01-022.php},
  timestamp    = {Sat, 18 Feb 2012 12:25:28 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/GoldmanBHH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/metacognition/MuslinerGK05,
  author       = {David J. Musliner and
                  Robert P. Goldman and
                  Kurt D. Krebsbach},
  editor       = {Mike Anderson and
                  Tim Oates},
  title        = {Deliberation scheduling strategies for adaptive mission planning in
                  real-time environments},
  booktitle    = {2005 {AAAI} Spring Symposium on Metacognition in Computation, March
                  21-23 2005, Stanford, California, {USA}},
  series       = {{AAAI} Technical Report},
  volume       = {{SS-05-04}},
  pages        = {98--105},
  publisher    = {{AAAI} Press},
  year         = {2005},
  timestamp    = {Sun, 16 Oct 2022 14:19:57 +0200},
  biburl       = {https://dblp.org/rec/conf/metacognition/MuslinerGK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MuslinerPG06,
  author       = {David J. Musliner and
                  Michael J. S. Pelican and
                  Robert P. Goldman},
  editor       = {Charles Pecheur and
                  Brian Williams},
  title        = {Incremental Verification for On-the-Fly Controller Synthesis},
  booktitle    = {Proceedings of the Third Workshop on Model Checking and Artificial
                  Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August
                  27, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {149},
  number       = {2},
  pages        = {71--90},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.07.027},
  doi          = {10.1016/J.ENTCS.2005.07.027},
  timestamp    = {Thu, 15 Dec 2022 15:43:11 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MuslinerPG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GoldmanPM04,
  author       = {Robert P. Goldman and
                  Michael J. S. Pelican and
                  David J. Musliner},
  editor       = {Shlomo Zilberstein and
                  Jana Koehler and
                  Sven Koenig},
  title        = {Guiding Planner Backjumping Using Verifier Traces},
  booktitle    = {Proceedings of the Fourteenth International Conference on Automated
                  Planning and Scheduling {(ICAPS} 2004), June 3-7 2004, Whistler, British
                  Columbia, Canada},
  pages        = {279--286},
  publisher    = {{AAAI}},
  year         = {2004},
  url          = {http://www.aaai.org/Library/ICAPS/2004/icaps04-034.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/GoldmanPM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GeibG03,
  author       = {Christopher W. Geib and
                  Robert P. Goldman},
  editor       = {Georg Gottlob and
                  Toby Walsh},
  title        = {Recognizing Plan/Goal Abandonment},
  booktitle    = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
                  on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  pages        = {1515--1517},
  publisher    = {Morgan Kaufmann},
  year         = {2003},
  url          = {http://ijcai.org/Proceedings/03/Papers/258.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/GeibG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GoldmanMP02,
  author       = {Robert P. Goldman and
                  David J. Musliner and
                  Michael J. S. Pelican},
  editor       = {Claire J. Tomlin and
                  Mark R. Greenstreet},
  title        = {Exploiting Implicit Representations in Timed Automaton Verification
                  for Controller Synthesis},
  booktitle    = {Hybrid Systems: Computation and Control, 5th International Workshop,
                  {HSCC} 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2289},
  pages        = {225--238},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45873-5\_19},
  doi          = {10.1007/3-540-45873-5\_19},
  timestamp    = {Thu, 26 Nov 2020 09:12:16 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/GoldmanMP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raid/Goldman02,
  author       = {Robert P. Goldman},
  editor       = {Andreas Wespi and
                  Giovanni Vigna and
                  Luca Deri},
  title        = {A Stochastic Model for Intrusions},
  booktitle    = {Recent Advances in Intrusion Detection, 5th International Symposium,
                  {RAID} 2002, Zurich, Switzerland, October 16-18, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2516},
  pages        = {199--218},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36084-0\_11},
  doi          = {10.1007/3-540-36084-0\_11},
  timestamp    = {Sat, 07 Sep 2019 11:59:24 +0200},
  biburl       = {https://dblp.org/rec/conf/raid/Goldman02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/DeshpandeMTG01,
  author       = {Ranjana G. Deshpande and
                  David J. Musliner and
                  Jorge E. Tierno and
                  Robert P. Goldman},
  title        = {Modifying {HYTECH} to automatically synthesize hybrid controllers},
  booktitle    = {40th {IEEE} Conference on Decision and Control, {CDC} 2001, Orlando,
                  FL, USA, 4-7 Dec., 2001},
  pages        = {1223--1228},
  publisher    = {{IEEE}},
  year         = {2001},
  url          = {https://doi.org/10.1109/.2001.981052},
  doi          = {10.1109/.2001.981052},
  timestamp    = {Thu, 13 Oct 2022 17:08:41 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/DeshpandeMTG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/GeibG01,
  author       = {Christopher W. Geib and
                  Robert P. Goldman},
  editor       = {Ingrid Russell and
                  John F. Kolen},
  title        = {Probabilistic Plan Recognition for Hostile Agents},
  booktitle    = {Proceedings of the Fourteenth International Florida Artificial Intelligence
                  Research Society Conference, May 21-23, 2001, Key West, Florida, {USA}},
  pages        = {580--584},
  publisher    = {{AAAI} Press},
  year         = {2001},
  url          = {http://www.aaai.org/Library/FLAIRS/2001/flairs01-111.php},
  timestamp    = {Wed, 26 Oct 2022 08:35:34 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/GeibG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/MuslinerGP01,
  author       = {David J. Musliner and
                  Robert P. Goldman and
                  Michael J. S. Pelican},
  title        = {Planning with increasingly complex executive models},
  booktitle    = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
                  {IROS} 2001: Expanding the Societal Role of Robotics in the the Next
                  Millennium, Maui, HI, USA, October 29 - November 3, 2001},
  pages        = {2124--2130},
  publisher    = {{IEEE}},
  year         = {2001},
  url          = {https://doi.org/10.1109/IROS.2001.976385},
  doi          = {10.1109/IROS.2001.976385},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/MuslinerGP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsas/GoldmanMK01,
  author       = {Robert P. Goldman and
                  David J. Musliner and
                  Kurt D. Krebsbach},
  editor       = {Robert Laddaga and
                  Paul Robertson and
                  Howard E. Shrobe},
  title        = {Managing Online Self-adaptation in Real-Time Environments},
  booktitle    = {Self-Adaptive Software, Second International Workshop, {IWSAS} 2001,
                  Balatonf{\"{u}}red, Hungary, May 17-19, 2001 Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2614},
  pages        = {6--23},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-36554-0\_2},
  doi          = {10.1007/3-540-36554-0\_2},
  timestamp    = {Fri, 11 Dec 2020 15:37:35 +0100},
  biburl       = {https://dblp.org/rec/conf/iwsas/GoldmanMK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/CoferEGMV01,
  author       = {Darren D. Cofer and
                  Eric Engstrom and
                  Robert P. Goldman and
                  David J. Musliner and
                  Steve Vestal},
  editor       = {Matthew B. Dwyer},
  title        = {Applications of Model Checking at Honeywell Laboratories},
  booktitle    = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
                  Canada, May 19-20, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2057},
  pages        = {296--303},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45139-0\_19},
  doi          = {10.1007/3-540-45139-0\_19},
  timestamp    = {Thu, 02 Jun 2022 12:33:45 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/CoferEGMV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/MuslinerGP00,
  author       = {David J. Musliner and
                  Robert P. Goldman and
                  Michael J. S. Pelican},
  title        = {Using Model Checking to Guarantee Safety in Automatically-Synthesized
                  Real-Time Controllers},
  booktitle    = {Proceedings of the 2000 {IEEE} International Conference on Robotics
                  and Automation, {ICRA} 2000, April 24-28, 2000, San Francisco, CA,
                  {USA}},
  pages        = {95--101},
  publisher    = {{IEEE}},
  year         = {2000},
  url          = {https://doi.org/10.1109/ROBOT.2000.844045},
  doi          = {10.1109/ROBOT.2000.844045},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/MuslinerGP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/SimmonsAFGHMPT00,
  author       = {Reid G. Simmons and
                  David Apfelbaum and
                  Dieter Fox and
                  Robert P. Goldman and
                  Karen Zita Haigh and
                  David J. Musliner and
                  Michael J. S. Pelican and
                  Sebastian Thrun},
  title        = {Coordinated deployment of multiple, heterogeneous robots},
  booktitle    = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
                  {IROS} 2000, October 30 - Novemver 5, 2000, Takamatsu, Japan},
  pages        = {2254--2260},
  publisher    = {{IEEE}},
  year         = {2000},
  url          = {https://doi.org/10.1109/IROS.2000.895304},
  doi          = {10.1109/IROS.2000.895304},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/SimmonsAFGHMPT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/TanBHG00,
  author       = {Pang{-}Ning Tan and
                  Hannah Blau and
                  Steven A. Harp and
                  Robert P. Goldman},
  editor       = {Raghu Ramakrishnan and
                  Salvatore J. Stolfo and
                  Roberto J. Bayardo and
                  Ismail Parsa},
  title        = {Textual data mining of service center call records},
  booktitle    = {Proceedings of the sixth {ACM} {SIGKDD} international conference on
                  Knowledge discovery and data mining, Boston, MA, USA, August 20-23,
                  2000},
  pages        = {417--423},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/347090.347177},
  doi          = {10.1145/347090.347177},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kdd/TanBHG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/MuslinerGPK99,
  author       = {David J. Musliner and
                  Robert P. Goldman and
                  Michael J. S. Pelican and
                  Kurt D. Krebsbach},
  title        = {Self-adaptive software for hard real-time environments},
  journal      = {{IEEE} Intell. Syst.},
  volume       = {14},
  number       = {4},
  pages        = {23--29},
  year         = {1999},
  url          = {https://doi.org/10.1109/5254.784081},
  doi          = {10.1109/5254.784081},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/expert/MuslinerGPK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/MillerPG99,
  author       = {Christopher A. Miller and
                  Michael J. S. Pelican and
                  Robert P. Goldman},
  editor       = {Mark T. Maybury and
                  Pedro A. Szekely and
                  Christoph G. Thomas},
  title        = {A High-Level "Tasking" Interface for Uninhabited Combat
                  Air Vehicles},
  booktitle    = {Proceedings of the 4th International Conference on Intelligent User
                  Interfaces, {IUI} 1999, Los Angeles, CA, USA, January 5-8, 1999},
  pages        = {197},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/291080.291122},
  doi          = {10.1145/291080.291122},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iui/MillerPG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/GoldmanGM99,
  author       = {Robert P. Goldman and
                  Christopher W. Geib and
                  Christopher A. Miller},
  editor       = {Kathryn B. Laskey and
                  Henri Prade},
  title        = {A New Model of Plan Recognition},
  booktitle    = {{UAI} '99: Proceedings of the Fifteenth Conference on Uncertainty
                  in Artificial Intelligence, Stockholm, Sweden, July 30 - August 1,
                  1999},
  pages        = {245--254},
  publisher    = {Morgan Kaufmann},
  year         = {1999},
  url          = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=174\&\#38;proceeding\_id=15},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uai/GoldmanGM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/GoldmanB98,
  author       = {Robert P. Goldman and
                  Chitta Baral},
  title        = {Robots, softbots, immobots: The 1997 {AAAI} Workshop on Theories of
                  Action, Planning and Control},
  journal      = {Knowl. Eng. Rev.},
  volume       = {13},
  number       = {2},
  pages        = {179--184},
  year         = {1998},
  url          = {https://doi.org/10.1017/S0269888998001052},
  doi          = {10.1017/S0269888998001052},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ker/GoldmanB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/GoldmanB97,
  author       = {Robert P. Goldman and
                  Mark S. Boddy},
  title        = {A Constraint-Based Scheduler for Batch Manufacturing},
  journal      = {{IEEE} Expert},
  volume       = {12},
  number       = {1},
  pages        = {49--56},
  year         = {1997},
  url          = {https://doi.org/10.1109/64.577413},
  doi          = {10.1109/64.577413},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/expert/GoldmanB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GoldmanMKB97,
  author       = {Robert P. Goldman and
                  David J. Musliner and
                  Kurt D. Krebsbach and
                  Mark S. Boddy},
  editor       = {Benjamin Kuipers and
                  Bonnie L. Webber},
  title        = {Dynamic Abstraction Planning},
  booktitle    = {Proceedings of the Fourteenth National Conference on Artificial Intelligence
                  and Ninth Innovative Applications of Artificial Intelligence Conference,
                  {AAAI} 97, {IAAI} 97, July 27-31, 1997, Providence, Rhode Island,
                  {USA}},
  pages        = {680--686},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1997},
  url          = {http://www.aaai.org/Library/AAAI/1997/aaai97-106.php},
  timestamp    = {Tue, 05 Sep 2023 08:53:09 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GoldmanMKB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GoldmanB96,
  author       = {Robert P. Goldman and
                  Mark S. Boddy},
  editor       = {Brian Drabble},
  title        = {Expressive Planning and Explicit Knowledge},
  booktitle    = {Proceedings of the Third International Conference on Artificial Intelligence
                  Planning Systems, Edinburgh, Scotland, May 29-31, 1996},
  pages        = {110--117},
  publisher    = {{AAAI}},
  year         = {1996},
  url          = {http://www.aaai.org/Library/AIPS/1996/aips96-014.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/GoldmanB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/LakshminarayanHGS96,
  author       = {Kamakshi Lakshminarayan and
                  Steven A. Harp and
                  Robert P. Goldman and
                  Tariq Samad},
  editor       = {Evangelos Simoudis and
                  Jiawei Han and
                  Usama M. Fayyad},
  title        = {Imputation of Missing Data Using Machine Learning Techniques},
  booktitle    = {Proceedings of the Second International Conference on Knowledge Discovery
                  and Data Mining (KDD-96), Portland, Oregon, {USA}},
  pages        = {140--145},
  publisher    = {{AAAI} Press},
  year         = {1996},
  url          = {http://www.aaai.org/Library/KDD/1996/kdd96-023.php},
  timestamp    = {Mon, 05 Jun 2017 13:20:21 +0200},
  biburl       = {https://dblp.org/rec/conf/kdd/LakshminarayanHGS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/Goldman95,
  author       = {Robert P. Goldman},
  title        = {Abductive Inference, a Review},
  journal      = {{IEEE} Expert},
  volume       = {10},
  number       = {3},
  pages        = {67--71},
  year         = {1995},
  url          = {http://doi.ieeecomputersociety.org/10.1109/MIS.1995.10022},
  doi          = {10.1109/MIS.1995.10022},
  timestamp    = {Thu, 10 Sep 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/expert/Goldman95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BoddyGKS94,
  author       = {Mark S. Boddy and
                  Robert P. Goldman and
                  Keiji Kanazawa and
                  Lynn Andrea Stein},
  title        = {A Critical Examination of Model Preference Defaults},
  journal      = {Fundam. Informaticae},
  volume       = {21},
  number       = {1/2},
  pages        = {23--38},
  year         = {1994},
  url          = {https://doi.org/10.3233/FI-1994-21122},
  doi          = {10.3233/FI-1994-21122},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BoddyGKS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/GoldmanB94,
  author       = {Robert P. Goldman and
                  Mark S. Boddy},
  editor       = {Kristian J. Hammond},
  title        = {Conditional Linear Planning},
  booktitle    = {Proceedings of the Second International Conference on Artificial Intelligence
                  Planning Systems, University of Chicago, Chicago, Illinois, USA, June
                  13-15, 1994},
  pages        = {80--85},
  publisher    = {{AAAI}},
  year         = {1994},
  url          = {http://www.aaai.org/Library/AIPS/1994/aips94-014.php},
  timestamp    = {Fri, 05 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/GoldmanB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GoldmanB94,
  author       = {Robert P. Goldman and
                  Mark S. Boddy},
  editor       = {Jon Doyle and
                  Erik Sandewall and
                  Pietro Torasso},
  title        = {Representing Uncertainty in Simple Planners},
  booktitle    = {Proceedings of the 4th International Conference on Principles of Knowledge
                  Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
  pages        = {238--245},
  publisher    = {Morgan Kaufmann},
  year         = {1994},
  timestamp    = {Fri, 18 May 2012 15:02:59 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/GoldmanB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/GoldmanB94,
  author       = {Robert P. Goldman and
                  Mark S. Boddy},
  editor       = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
                  David Poole},
  title        = {Epsilon-Safe Planning},
  booktitle    = {{UAI} '94: Proceedings of the Tenth Annual Conference on Uncertainty
                  in Artificial Intelligence, Seattle, Washington, USA, July 29-31,
                  1994},
  pages        = {253--261},
  publisher    = {Morgan Kaufmann},
  year         = {1994},
  url          = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=511\&\#38;proceeding\_id=10},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uai/GoldmanB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/CharniakG93,
  author       = {Eugene Charniak and
                  Robert P. Goldman},
  title        = {A Bayesian Model of Plan Recognition},
  journal      = {Artif. Intell.},
  volume       = {64},
  number       = {1},
  pages        = {53--79},
  year         = {1993},
  url          = {https://doi.org/10.1016/0004-3702(93)90060-O},
  doi          = {10.1016/0004-3702(93)90060-O},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/CharniakG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/GoldmanC93,
  author       = {Robert P. Goldman and
                  Eugene Charniak},
  title        = {A Language for Construction of Belief Networks},
  journal      = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
  volume       = {15},
  number       = {3},
  pages        = {196--208},
  year         = {1993},
  url          = {https://doi.org/10.1109/34.204902},
  doi          = {10.1109/34.204902},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pami/GoldmanC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ker/WellmanBG92,
  author       = {Michael P. Wellman and
                  John S. Breese and
                  Robert P. Goldman},
  title        = {From knowledge bases to decision models},
  journal      = {Knowl. Eng. Rev.},
  volume       = {7},
  number       = {1},
  pages        = {35--53},
  year         = {1992},
  url          = {https://doi.org/10.1017/S0269888900006147},
  doi          = {10.1017/S0269888900006147},
  timestamp    = {Thu, 27 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ker/WellmanBG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/GoldmanB92,
  author       = {Robert P. Goldman and
                  Jack S. Breese},
  editor       = {Didier Dubois and
                  Michael P. Wellman},
  title        = {Integrating Model Construction and Evaluation},
  booktitle    = {{UAI} '92: Proceedings of the Eighth Annual Conference on Uncertainty
                  in Artificial Intelligence, Stanford University, Stanford, CA, USA,
                  July 17-19, 1992},
  pages        = {104--111},
  publisher    = {Morgan Kaufmann},
  year         = {1992},
  url          = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=637\&\#38;proceeding\_id=8},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uai/GoldmanB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Goldman91,
  author       = {Robert P. Goldman},
  title        = {A Probabilistic Approach to Language Understanding},
  school       = {Brown University, {USA}},
  year         = {1991},
  url          = {https://cs.brown.edu/research/pubs/theses/phd/1991/goldman.pdf},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Goldman91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Goldman91,
  author       = {Robert P. Goldman},
  title        = {Intentions in Communication: {A} Review},
  journal      = {{AI} Mag.},
  volume       = {12},
  number       = {4},
  pages        = {92--96},
  year         = {1991},
  url          = {https://doi.org/10.1609/aimag.v12i4.924},
  doi          = {10.1609/AIMAG.V12I4.924},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Goldman91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CharniakG91,
  author       = {Eugene Charniak and
                  Robert P. Goldman},
  editor       = {Thomas L. Dean and
                  Kathleen R. McKeown},
  title        = {A Probabilistic Model of Plan Recognition},
  booktitle    = {Proceedings of the 9th National Conference on Artificial Intelligence,
                  Anaheim, CA, USA, July 14-19, 1991, Volume 1},
  pages        = {160--165},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1991},
  url          = {http://www.aaai.org/Library/AAAI/1991/aaai91-026.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/CharniakG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/GoldmanC90,
  author       = {Robert P. Goldman and
                  Eugene Charniak},
  editor       = {Piero P. Bonissone and
                  Max Henrion and
                  Laveen N. Kanal and
                  John F. Lemmer},
  title        = {Dynamic construction of belief networks},
  booktitle    = {{UAI} '90: Proceedings of the Sixth Annual Conference on Uncertainty
                  in Artificial Intelligence, MIT, Cambridge, MA, USA, July 27-29, 1990},
  pages        = {171--184},
  publisher    = {Elsevier},
  year         = {1990},
  url          = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=1911\&\#38;proceeding\_id=1006},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uai/GoldmanC90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CharniakG89,
  author       = {Eugene Charniak and
                  Robert P. Goldman},
  editor       = {N. S. Sridharan},
  title        = {A Semantics for Probabilistic Quantifier-Free First-Order Languages,
                  with Particular Application to Story Understanding},
  booktitle    = {Proceedings of the 11th International Joint Conference on Artificial
                  Intelligence. Detroit, MI, USA, August 1989},
  pages        = {1074--1079},
  publisher    = {Morgan Kaufmann},
  year         = {1989},
  url          = {http://ijcai.org/Proceedings/89-2/Papers/036.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:17:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/CharniakG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/CharniakG89,
  author       = {Eugene Charniak and
                  Robert P. Goldman},
  editor       = {Max Henrion and
                  Ross D. Shachter and
                  Laveen N. Kanal and
                  John F. Lemmer},
  title        = {Plan Recognition in Stories and in Life},
  booktitle    = {{UAI} '89: Proceedings of the Fifth Annual Conference on Uncertainty
                  in Artificial Intelligence, Windsor, Ontario, Canada, August 18-20,
                  1989},
  pages        = {343--352},
  publisher    = {North-Holland},
  year         = {1989},
  url          = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=1888\&\#38;proceeding\_id=1005},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uai/CharniakG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/CharniakG88,
  author       = {Eugene Charniak and
                  Robert P. Goldman},
  editor       = {Jerry R. Hobbs},
  title        = {A Logic for Semantic Interpretation},
  booktitle    = {26th Annual Meeting of the Association for Computational Linguistics,
                  7-10 June 1988, State Univerity of New York at Buffalo, Buffalo, New
                  York, USA, Proceedings},
  pages        = {87--94},
  publisher    = {{ACL}},
  year         = {1988},
  url          = {https://aclanthology.org/P88-1011/},
  doi          = {10.3115/982023.982034},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acl/CharniakG88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics