Robert P. Goldman

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 12

Top Topics

Intrusion Detection

Planning In Nondeterministic Domains

Automatically Generated

Top Venues

AAAI Workshop: Artificial Intelligence for Cyber Security

AAAI Workshop: Planning for Hybrid Systems

Publications

Noam K. Benkler, Scott Friedman, Sonja Schmer-Galunder, Drisana Marissa Mosaphir, Robert P. Goldman, Ruta Wheelock, Vasanth Sarathy, Pavan Kantharaju, Matthew D. McLure
Recognizing Value Resonance with Resonance-Tuned RoBERTa Task Definition, Experimental Validation, and Robust Modeling. LREC/COLING (2024)
Bryan Bartley, Jacob Beal, Miles Rogers, Daniel Bryce, Robert P. Goldman, Benjamin Keller, Peter Lee, Vanessa Biggers, Joshua Nowak, Mark Weston
Building an Open Representation for Biological Protocols. ACM J. Emerg. Technol. Comput. Syst. 19 (3) (2023)
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
Mapping a Plurality of Explanations with NLP: A Case Study of Mothers and Health Workers in India. CogSci (2023)
Noam Benkler, Scott Friedman, Sonja Schmer-Galunder, Drisana Mosaphir, Vasanth Sarathy, Pavan Kantharaju, Matthew D. McLure, Robert P. Goldman
Cultural Value Resonance in Folktales: A Transformer-Based Analysis with the World Value Corpus. SBP-BRiMS (2022)
Scott E. Friedman, Sonja Schmer-Galunder, Anthony Chen, Robert P. Goldman, Michelle Ausman
Gender Gaps Correlate with Gender Bias in Social Media Word Embeddings. CogSci (2020)
Scott E. Friedman, Robert P. Goldman, Richard G. Freedman, Ugur Kuter, Christopher W. Geib, Jeffrey M. Rye
Provenance-Based Assessment of Plans in Context. CoRR (2020)
Ugur Kuter, Brian Kettler, Katherine Guo, Martin O. Hofmann, Valerie Champagne, Kurt Lachevet, Jennifer Lautenschlager, Robert P. Goldman, Luis Asencios, Josh Hamell
Profiles, Proxies, and Assumptions: Decentralized, Communications-Resilient Planning, Allocation, and Scheduling. AAAI (2019)
Robert P. Goldman, Ugur Kuter
Hierarchical Task Network Planning in Common Lisp: the case of SHOP3. ELS (2019)
Paul Robertson, Robert Laddaga, Robert P. Goldman, Mark H. Burstein, Daniel Cerys
Qualitative Reasoning about Cyber Intrusions. AAAI Workshops (2017)
J. Benton, Robert P. Goldman, Mark H. Burstein, Joseph Mueller, Paul Robertson, Dan Cerys, Andreas Hoffman, Rusty Bobrow
Active Perception for Cyber Intrusion Detection and Defense. AAAI Workshop: Artificial Intelligence for Cyber Security (2016)
Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control. NFM (2016)
Robert P. Goldman, Daniel Bryce, Michael J. S. Pelican, David J. Musliner, Kyungmin Bae
An Architecture for Hybrid Planning and Execution. AAAI Workshop: Planning for Hybrid Systems (2016)
Robert P. Goldman, Mark H. Burstein, J. Benton, Ugur Kuter, Joseph Mueller, Paul Robertson, Dan Cerys, Andreas Hoffman, Rusty Bobrow
Active Perception for Cyber Intrusion Detection and Defense. SASO Workshops (2015)
Robert P. Goldman, Ugur Kuter
Measuring Plan Diversity: Pathologies in Existing Approaches and A New Plan Distance Metric. AAAI (2015)
Daniel Bryce, Sicun Gao, David J. Musliner, Robert P. Goldman
SMT-Based Nonlinear PDDL+ Planning. AAAI (2015)
Ronald Alford, Ugur Kuter, Dana S. Nau, Robert P. Goldman
Plan aggregation for strong cyclic planning in nondeterministic domains. Artif. Intell. 216 (2014)
Robert P. Goldman, Michael J. S. Pelican, David J. Musliner
A loop acceleration technique to speed up verification of automatically generated plans. Int. J. Softw. Tools Technol. Transf. 16 (1) (2014)
Robert P. Goldman, Mark S. Boddy
Epsilon-Safe Planning CoRR (2013)
Eugene Charniak, Robert P. Goldman
Plan Recognition in Stories and in Life CoRR (2013)
Jordan Tyler Thayer, Mark H. Burstein, Robert P. Goldman, Ugur Kuter, Paul Robertson, Robert Laddaga
Comparing Strategic and Tactical Responses to Cyber Threats. SASO Workshops (2013)
Robert P. Goldman, Eugene Charniak
Dynamic Construction of Belief Networks CoRR (2013)
Robert P. Goldman, Christopher W. Geib, Christopher A. Miller
A New Model of Plan Recognition CoRR (2013)
Robert P. Goldman, John S. Breese
Integrating Model Construction and Evaluation CoRR (2013)
Mark H. Burstein, Robert P. Goldman, Paul Robertson, Robert Laddaga, Robert Balzer, Neil M. Goldman, Christopher W. Geib, Ugur Kuter, David D. McDonald, John Maraist, Peter Keller, David S. Wile
STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous Systems. SASO Workshops (2012)
Robert P. Goldman, Christopher W. Geib, Henry A. Kautz, Tamim Asfour
Plan Recognition (Dagstuhl Seminar 11141). Dagstuhl Reports 1 (4) (2011)
Christopher W. Geib, Robert P. Goldman
Recognizing Plans with Loops Represented in a Lexicalized Grammar. AAAI (2011)
David J. Musliner, Robert P. Goldman
Priority-Based Meta-control within Hierarchical Task Network Planning. SASO Workshops (2010)
Robert P. Goldman, John Maraist
Shopper: A System for Executing and Simulating Expressive Plans. ICAPS (2010)
Christopher W. Geib, Robert P. Goldman
Handling Looping and Optional Actions in YAPPR. Plan, Activity, and Intent Recognition (2010)
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, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory M. Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart J. Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan
Reports of the AAAI 2010 Conference Workshops. AI Mag. 31 (4) (2010)
Robert P. Goldman, Froduald Kabanza, Philipe Bellefeuille
Plan Libraries for Plan Recognition: Do We Really Know What They Model? Plan, Activity, and Intent Recognition (2010)
Francois-René Rideau, Robert P. Goldman
Evolving ASDF: more cooperation, less coordination. ILC (2010)
Christopher W. Geib, Robert P. Goldman
A probabilistic plan recognition algorithm based on plan tree grammars. Artif. Intell. 173 (11) (2009)
Robert P. Goldman
A Semantics for HTN Methods. ICAPS (2009)
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
An architecture for scalable network defense. LCN (2009)
Ronald Alford, Ugur Kuter, Dana S. Nau, Elnatan Reisner, Robert P. Goldman
Maintaining Focus: Overcoming Attention Deficit Disorder in Contingent Planning. FLAIRS Conference (2009)
David J. Musliner, Michael J. S. Pelican, Robert P. Goldman, Kurt D. Krebsbach, Edmund H. Durfee
The Evolution of CIRCA, a Theory-Based AI Architecture with Real-Time Performance Guarantees. AAAI Spring Symposium: Emotion, Personality, and Social Behavior (2008)
Ugur Kuter, Dana S. Nau, Elnatan Reisner, Robert P. Goldman
Using Classical Planners to Solve Nondeterministic Planning Problems. ICAPS (2008)
Christopher W. Geib, John Maraist, Robert P. Goldman
A New Probabilistic Plan Recognition Algorithm Based on String Rewriting. ICAPS (2008)
Robert P. Goldman, David J. Musliner, Mark S. Boddy, Edmund H. Durfee, Jianhui Wu
"Unrolling" Complex Task Models into MDPs. AAAI Spring Symposium: Game Theoretic and Decision Theoretic Agents (2007)
David J. Musliner, Edmund H. Durfee, Jianhui Wu, Dmitri A. Dolgov, Robert P. Goldman, Mark S. Boddy
Coordinated Plan Management Using Multiagent MDPs. AAAI Spring Symposium: Distributed Plan and Schedule Management (2006)
Robert P. Goldman
Durative Planning in HTNs. ICAPS (2006)
David J. Musliner, Michael J. S. Pelican, Robert P. Goldman
Incremental Verification for On-the-Fly Controller Synthesis. Electron. Notes Theor. Comput. Sci. 149 (2) (2006)
Robert P. Goldman, Mark S. Boddy, Steven A. Harp, Tom Haigh
Collaborative Filtering for Community Threats. AAAI Spring Symposium: AI Technologies for Homeland Security (2005)
David J. Musliner, Robert P. Goldman, Kurt D. Krebsbach
Deliberation scheduling strategies for adaptive mission planning in real-time environments. AAAI Spring Symposium: Metacognition in Computation (2005)
Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate
Constraints and AI Planning. IEEE Intell. Syst. 20 (2) (2005)
Robert P. Goldman, Michael J. S. Pelican, David J. Musliner
Guiding Planner Backjumping Using Verifier Traces. ICAPS (2004)
Christopher W. Geib, Robert P. Goldman
Recognizing Plan/Goal Abandonment. IJCAI (2003)
Robert P. Goldman
A Stochastic Model for Intrusions. RAID (2002)
Robert P. Goldman, David J. Musliner, Michael J. S. Pelican
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. HSCC (2002)
Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach
Managing Online Self-adaptation in Real-Time Environments. IWSAS (2001)
Ranjana G. Deshpande, David J. Musliner, Jorge E. Tierno, Robert P. Goldman
Modifying HYTECH to automatically synthesize hybrid controllers. CDC (2001)
Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal
Applications of Model Checking at Honeywell Laboratories. SPIN (2001)
David J. Musliner, Robert P. Goldman, Michael J. S. Pelican
Planning with increasingly complex executive models. IROS (2001)
Christopher W. Geib, Robert P. Goldman
Probabilistic Plan Recognition for Hostile Agents. FLAIRS Conference (2001)
Reid G. Simmons, David Apfelbaum, Dieter Fox, Robert P. Goldman, Karen Zita Haigh, David J. Musliner, Michael J. S. Pelican, Sebastian Thrun
Coordinated deployment of multiple, heterogeneous robots. IROS (2000)
David J. Musliner, Robert P. Goldman, Michael J. S. Pelican
Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers. ICRA (2000)
Pang-Ning Tan, Hannah Blau, Steven A. Harp, Robert P. Goldman
Textual data mining of service center call records. KDD (2000)
Robert P. Goldman, Christopher W. Geib, Christopher A. Miller
A New Model of Plan Recognition. UAI (1999)
David J. Musliner, Robert P. Goldman, Michael J. S. Pelican, Kurt D. Krebsbach
Self-adaptive software for hard real-time environments. IEEE Intell. Syst. 14 (4) (1999)
Christopher A. Miller, Michael J. S. Pelican, Robert P. Goldman
A High-Level "Tasking" Interface for Uninhabited Combat Air Vehicles. IUI (1999)
Robert P. Goldman, Chitta Baral
Robots, softbots, immobots: The 1997 AAAI Workshop on Theories of Action, Planning and Control. Knowl. Eng. Rev. 13 (2) (1998)
Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy
Dynamic Abstraction Planning. AAAI/IAAI (1997)
Robert P. Goldman, Mark S. Boddy
A Constraint-Based Scheduler for Batch Manufacturing. IEEE Expert 12 (1) (1997)
Robert P. Goldman, Mark S. Boddy
Expressive Planning and Explicit Knowledge. AIPS (1996)
Kamakshi Lakshminarayan, Steven A. Harp, Robert P. Goldman, Tariq Samad
Imputation of Missing Data Using Machine Learning Techniques. KDD (1996)
Robert P. Goldman
Abductive Inference, a Review. IEEE Expert 10 (3) (1995)
Robert P. Goldman, Mark S. Boddy
Conditional Linear Planning. AIPS (1994)
Robert P. Goldman, Mark S. Boddy
Epsilon-Safe Planning. UAI (1994)
Robert P. Goldman, Mark S. Boddy
Representing Uncertainty in Simple Planners. KR (1994)
Mark S. Boddy, Robert P. Goldman, Keiji Kanazawa, Lynn Andrea Stein
A Critical Examination of Model Preference Defaults. Fundam. Informaticae 21 (1/2) (1994)
Robert P. Goldman, Eugene Charniak
A Language for Construction of Belief Networks. IEEE Trans. Pattern Anal. Mach. Intell. 15 (3) (1993)
Eugene Charniak, Robert P. Goldman
A Bayesian Model of Plan Recognition. Artif. Intell. 64 (1) (1993)
Robert P. Goldman, Jack S. Breese
Integrating Model Construction and Evaluation. UAI (1992)
Michael P. Wellman, John S. Breese, Robert P. Goldman
From knowledge bases to decision models. Knowl. Eng. Rev. 7 (1) (1992)
Robert P. Goldman
Intentions in Communication: A Review. AI Mag. 12 (4) (1991)
Eugene Charniak, Robert P. Goldman
A Probabilistic Model of Plan Recognition. AAAI (1991)
Robert P. Goldman, Eugene Charniak
Dynamic construction of belief networks. UAI (1990)
Eugene Charniak, Robert P. Goldman
A Semantics for Probabilistic Quantifier-Free First-Order Languages, with Particular Application to Story Understanding. IJCAI (1989)
Eugene Charniak, Robert P. Goldman
Plan Recognition in Stories and in Life. UAI (1989)
Eugene Charniak, Robert P. Goldman
A Logic for Semantic Interpretation. ACL (1988)