A Logic for Semantic Interpretation. - Eugene Charniak; Robert P. Goldman (ACL, 1988)

A Semantics for Probabilistic Quantifier-Free First-Order Languages, with Particular Application to Story Understanding. - Eugene Charniak; Robert P. Goldman (IJCAI, 1989)

Plan Recognition in Stories and in Life. - Eugene Charniak; Robert P. Goldman (UAI, 1989)

Dynamic construction of belief networks. - Robert P. Goldman; Eugene Charniak (UAI, 1990)

A Probabilistic Model of Plan Recognition. - Eugene Charniak; Robert P. Goldman (AAAI, 1991)

Intentions in Communication: A Review. - Robert P. Goldman (AI Mag., 1991)

A Probabilistic Approach to Language Understanding. - Robert P. Goldman (1991)

Integrating Model Construction and Evaluation. - Robert P. Goldman; Jack S. Breese (UAI, 1992)

From knowledge bases to decision models. - Michael P. Wellman; John S. Breese; Robert P. Goldman (Knowl. Eng. Rev., 1992)

A Bayesian Model of Plan Recognition. - Eugene Charniak; Robert P. Goldman (Artif. Intell., 1993)

A Language for Construction of Belief Networks. - Robert P. Goldman; Eugene Charniak (IEEE Trans. Pattern Anal. Mach. Intell., 1993)

Conditional Linear Planning. - Robert P. Goldman; Mark S. Boddy (AIPS, 1994)

Representing Uncertainty in Simple Planners. - Robert P. Goldman; Mark S. Boddy (KR, 1994)

Epsilon-Safe Planning. - Robert P. Goldman; Mark S. Boddy (UAI, 1994)

A Critical Examination of Model Preference Defaults. - Mark S. Boddy; Robert P. Goldman; Keiji Kanazawa; Lynn Andrea Stein (Fundam. Informaticae, 1994)

Abductive Inference, a Review. - Robert P. Goldman (IEEE Expert, 1995)

Expressive Planning and Explicit Knowledge. - Robert P. Goldman; Mark S. Boddy (AIPS, 1996)

Imputation of Missing Data Using Machine Learning Techniques. - Kamakshi Lakshminarayan; Steven A. Harp; Robert P. Goldman; Tariq Samad (KDD, 1996)

Dynamic Abstraction Planning. - Robert P. Goldman; David J. Musliner; Kurt D. Krebsbach; Mark S. Boddy (AAAI/IAAI, 1997)

A Constraint-Based Scheduler for Batch Manufacturing. - Robert P. Goldman; Mark S. Boddy (IEEE Expert, 1997)

Robots, softbots, immobots: The 1997 AAAI Workshop on Theories of Action, Planning and Control. - Robert P. Goldman; Chitta Baral (Knowl. Eng. Rev., 1998)

A High-Level "Tasking" Interface for Uninhabited Combat Air Vehicles. - Christopher A. Miller 001; Michael J. S. Pelican; Robert P. Goldman (IUI, 1999)

A New Model of Plan Recognition. - Robert P. Goldman; Christopher W. Geib; Christopher A. Miller 001 (UAI, 1999)

Self-adaptive software for hard real-time environments. - David J. Musliner; Robert P. Goldman; Michael J. S. Pelican; Kurt D. Krebsbach (IEEE Intell. Syst., 1999)

Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers. - David J. Musliner; Robert P. Goldman; Michael J. S. Pelican (ICRA, 2000)

Coordinated deployment of multiple, heterogeneous robots. - Reid G. Simmons; David Apfelbaum; Dieter Fox; Robert P. Goldman; Karen Zita Haigh; David J. Musliner; Michael J. S. Pelican; Sebastian Thrun (IROS, 2000)

Textual data mining of service center call records. - Pang-Ning Tan; Hannah Blau; Steven A. Harp; Robert P. Goldman (KDD, 2000)

Modifying HYTECH to automatically synthesize hybrid controllers. - Ranjana G. Deshpande; David J. Musliner; Jorge E. Tierno; Robert P. Goldman (CDC, 2001)

Probabilistic Plan Recognition for Hostile Agents. - Christopher W. Geib; Robert P. Goldman (FLAIRS, 2001)

Planning with increasingly complex executive models. - David J. Musliner; Robert P. Goldman; Michael J. S. Pelican (IROS, 2001)

Managing Online Self-adaptation in Real-Time Environments. - Robert P. Goldman; David J. Musliner; Kurt D. Krebsbach (IWSAS, 2001)

Applications of Model Checking at Honeywell Laboratories. - Darren D. Cofer; Eric Engstrom; Robert P. Goldman; David J. Musliner; Steve Vestal (SPIN, 2001)

Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. - Robert P. Goldman; David J. Musliner; Michael J. S. Pelican (HSCC, 2002)

A Stochastic Model for Intrusions. - Robert P. Goldman (RAID, 2002)

Recognizing Plan/Goal Abandonment. - Christopher W. Geib; Robert P. Goldman (IJCAI, 2003)

Guiding Planner Backjumping Using Verifier Traces. - Robert P. Goldman; Michael J. S. Pelican; David J. Musliner (ICAPS, 2004)

Collaborative Filtering for Community Threats. - Robert P. Goldman; Mark S. Boddy; Steven A. Harp; Tom Haigh (AAAI Spring Symposium: AI Technologies for Homeland Security, 2005)

Deliberation scheduling strategies for adaptive mission planning in real-time environments. - David J. Musliner; Robert P. Goldman; Kurt D. Krebsbach (AAAI Spring Symposium: Metacognition in Computation, 2005)

Incremental Verification for On-the-Fly Controller Synthesis. - David J. Musliner; Michael J. S. Pelican; Robert P. Goldman (MoChArt@CONCUR/SPIN, 2005)

Constraints and AI Planning. - Alexander Nareyek; Eugene C. Freuder; Robert Fourer; Enrico Giunchiglia; Robert P. Goldman; Henry A. Kautz; Jussi Rintanen; Austin Tate (IEEE Intell. Syst., 2005)

Coordinated Plan Management Using Multiagent MDPs. - David J. Musliner; Edmund H. Durfee; Jianhui Wu 006; Dmitri A. Dolgov; Robert P. Goldman; Mark S. Boddy (AAAI Spring Symposium: Distributed Plan and Schedule Management, 2006)

Durative Planning in HTNs. - Robert P. Goldman (ICAPS, 2006)

"Unrolling" Complex Task Models into MDPs. - Robert P. Goldman; David J. Musliner; Mark S. Boddy; Edmund H. Durfee; Jianhui Wu 006 (AAAI Spring Symposium: Game Theoretic and Decision Theoretic Agents, 2007)

The Evolution of CIRCA, a Theory-Based AI Architecture with Real-Time Performance Guarantees. - David J. Musliner; Michael J. S. Pelican; Robert P. Goldman; Kurt D. Krebsbach; Edmund H. Durfee (AAAI Spring Symposium: Emotion, Personality, and Social Behavior, 2008)

A New Probabilistic Plan Recognition Algorithm Based on String Rewriting. - Christopher W. Geib; John Maraist; Robert P. Goldman (ICAPS, 2008)

Using Classical Planners to Solve Nondeterministic Planning Problems. - Ugur Kuter; Dana S. Nau; Elnatan Reisner; Robert P. Goldman (ICAPS, 2008)

A Semantics for HTN Methods. - Robert P. Goldman (ICAPS, 2009)

Maintaining Focus: Overcoming Attention Deficit Disorder in Contingent Planning. - Ronald Alford; Ugur Kuter; Dana S. Nau; Elnatan Reisner; Robert P. Goldman (FLAIRS, 2009)

An architecture for scalable network defense. - Tim Strayer; Walter C. Milliken; Ronald J. Watro; Walt Heimerdinger; Steven A. Harp; Robert P. Goldman; Dustin Spicuzza; Beverly Schwartz; David Mankins; Derrick Kong; Pieter Mudge Zatko (LCN, 2009)

A probabilistic plan recognition algorithm based on plan tree grammars. - Christopher W. Geib; Robert P. Goldman (Artif. Intell., 2009)

Handling Looping and Optional Actions in YAPPR. - Christopher W. Geib; Robert P. Goldman (Plan, Activity, and Intent Recognition, 2010)

Plan Libraries for Plan Recognition: Do We Really Know What They Model? - Robert P. Goldman; Froduald Kabanza; Philipe Bellefeuille (Plan, Activity, and Intent Recognition, 2010)

Shopper: A System for Executing and Simulating Expressive Plans. - Robert P. Goldman; John Maraist (ICAPS, 2010)

Evolving ASDF: more cooperation, less coordination. - François-René Rideau; Robert P. Goldman (ILC, 2010)

Priority-Based Meta-control within Hierarchical Task Network Planning. - David J. Musliner; Robert P. Goldman (SASO Workshops, 2010)

Reports of the AAAI 2010 Conference Workshops. - David W. Aha; Mark S. Boddy; Vadim Bulitko; Artur S. d'Avila Garcez; Prashant Doshi; Stefan Edelkamp; Christopher W. Geib; Piotr J. Gmytrasiewicz; Robert P. Goldman; Pascal Hitzler; Charles L. Isbell Jr.; Darsana P. Josyula; et al. (AI Mag., 2010)

Recognizing Plans with Loops Represented in a Lexicalized Grammar. - Christopher W. Geib; Robert P. Goldman (AAAI, 2011)

Plan Recognition (Dagstuhl Seminar 11141). - Robert P. Goldman; Christopher W. Geib; Henry A. Kautz; Tamim Asfour (Dagstuhl Reports, 2011)

STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous Systems. - Mark H. Burstein; Robert P. Goldman; Paul Robertson 001; Robert Laddaga; Robert Balzer; Neil M. Goldman; Christopher W. Geib; Ugur Kuter; David D. McDonald 002; John Maraist; Peter Keller; David S. Wile (SASO Workshops, 2012)

Comparing Strategic and Tactical Responses to Cyber Threats. - Jordan Tyler Thayer; Mark H. Burstein; Robert P. Goldman; Ugur Kuter; Paul Robertson 001; Robert Laddaga (SASO Workshops, 2013)

Plan aggregation for strong cyclic planning in nondeterministic domains. - Ronald Alford; Ugur Kuter; Dana S. Nau; Robert P. Goldman (Artif. Intell., 2014)

A loop acceleration technique to speed up verification of automatically generated plans. - Robert P. Goldman; Michael J. S. Pelican; David J. Musliner (Int. J. Softw. Tools Technol. Transf., 2014)

SMT-Based Nonlinear PDDL+ Planning. - Daniel Bryce; Sicun Gao; David J. Musliner; Robert P. Goldman (AAAI, 2015)

Measuring Plan Diversity: Pathologies in Existing Approaches and A New Plan Distance Metric. - Robert P. Goldman; Ugur Kuter (AAAI, 2015)

Active Perception for Cyber Intrusion Detection and Defense. - Robert P. Goldman; Mark H. Burstein; J. Benton 001; Ugur Kuter; Joseph Mueller; Paul Robertson 001; Dan Cerys; Andreas Hoffman; Rusty Bobrow (SASO Workshops, 2015)

Active Perception for Cyber Intrusion Detection and Defense. - J. Benton 001; Robert P. Goldman; Mark H. Burstein; Joseph Mueller; Paul Robertson 001; Dan Cerys; Andreas Hoffman; Rusty Bobrow (AAAI Workshop: Artificial Intelligence for Cyber Security, 2016)

An Architecture for Hybrid Planning and Execution. - Robert P. Goldman; Daniel Bryce; Michael J. S. Pelican; David J. Musliner; Kyungmin Bae (AAAI Workshop: Planning for Hybrid Systems, 2016)

A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control. - Robert P. Goldman; Daniel Bryce; Michael J. S. Pelican; David J. Musliner; Kyungmin Bae (NFM, 2016)

Qualitative Reasoning about Cyber Intrusions. - Paul Robertson 001; Robert Laddaga; Robert P. Goldman; Mark H. Burstein; Daniel Cerys (AAAI Workshops, 2017)

Profiles, Proxies, and Assumptions: Decentralized, Communications-Resilient Planning, Allocation, and Scheduling. - Ugur Kuter; Brian Kettler; Katherine Guo; Martin O. Hofmann; Valerie Champagne; Kurt Lachevet; Jennifer Lautenschlager; Robert P. Goldman; Luis Asencios; Josh Hamell (AAAI, 2019)

Hierarchical Task Network Planning in Common Lisp: the case of SHOP3. - Robert P. Goldman; Ugur Kuter (ELS, 2019)

Gender Gaps Correlate with Gender Bias in Social Media Word Embeddings. - Scott E. Friedman; Sonja Schmer-Galunder; Anthony Chen; Robert P. Goldman; Michelle Ausman (CogSci, 2020)

Provenance-Based Assessment of Plans in Context. - Scott E. Friedman; Robert P. Goldman; Richard G. Freedman; Ugur Kuter; Christopher W. Geib; Jeffrey M. Rye (CoRR, 2020)

Cultural Value Resonance in Folktales: A Transformer-Based Analysis with the World Value Corpus. - Noam Benkler; Scott Friedman 001; Sonja Schmer-Galunder; Drisana Mosaphir; Vasanth Sarathy; Pavan Kantharaju; Matthew D. McLure; Robert P. Goldman (SBP-BRiMS, 2022)

Mapping a Plurality of Explanations with NLP: A Case Study of Mothers and Health Workers in India. - Scott E. Friedman; Sonja Schmer-Galunder; Vasanth Sarathy; Ruta Wheelock; Matthew D. McLure; Drisana Mosaphir; Robert P. Goldman; Noam Benkler; Pavan Kantharaju; Micah B. Goldwater; Cristine H. Legare (CogSci, 2023)

Building an Open Representation for Biological Protocols. - Bryan Bartley; Jacob Beal; Miles Rogers; Daniel Bryce; Robert P. Goldman; Benjamin Keller; Peter Lee; Vanessa Biggers; Joshua Nowak; Mark Weston (ACM J. Emerg. Technol. Comput. Syst., 2023)

Recognizing Value Resonance with Resonance-Tuned RoBERTa Task Definition, Experimental Validation, and Robust Modeling. - Noam K. Benkler; Scott Friedman 001; Sonja Schmer-Galunder; Drisana Marissa Mosaphir; Robert P. Goldman; Ruta Wheelock; Vasanth Sarathy; Pavan Kantharaju; Matthew D. McLure (LREC/COLING, 2024)

Bottom-Up and Top-Down Analysis of Values, Agendas, and Observations in Corpora and LLMs. - Scott E. Friedman; Noam Benkler; Drisana Mosaphir; Jeffrey M. Rye; Sonja M. Schmer-Galunder; Micah B. Goldwater; Matthew D. McLure; Ruta Wheelock; Jeremy Gottlieb; Robert P. Goldman; Christopher Miller 004 (CoRR, 2024)

HTN Plan Repair Algorithms Compared: Strengths and Weaknesses of Different Methods. - Paul Zaidins; Robert P. Goldman; Ugur Kuter; Dana S. Nau; Mark Roberts (CoRR, 2025)