Robert P. Goldman

84 papers A* 18A 9B 3Misc 2Journal 24Unranked 27

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