Robert P. Goldman
Orcid: 0000-0002-5851-4851
According to our database1,
Robert P. Goldman
authored at least 75 papers
between 1988 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
ACM J. Emerg. Technol. Comput. Syst., July, 2023
2022
Cultural Value Resonance in Folktales: A Transformer-Based Analysis with the World Value Corpus.
Proceedings of the Social, Cultural, and Behavioral Modeling, 2022
2020
Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020
2019
Proceedings of the 12th European Lisp Symposium (ELS 2019), 2019
Profiles, Proxies, and Assumptions: Decentralized, Communications-Resilient Planning, Allocation, and Scheduling.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2017
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
Proceedings of the Planning for Hybrid Systems, 2016
Proceedings of the Artificial Intelligence for Cyber Security, 2016
2015
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015
Measuring Plan Diversity: Pathologies in Existing Approaches and A New Plan Distance Metric.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
A loop acceleration technique to speed up verification of automatically generated plans.
Int. J. Softw. Tools Technol. Transf., 2014
Artif. Intell., 2014
2013
Proceedings of the 7th IEEE International Conference on Self-Adaptation and Self-Organizing Systems Workshops, 2013
2012
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012
2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010
Proceedings of the International Lisp Conference, 2010
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010
Proceedings of the Plan, Activity, and Intent Recognition, 2010
Proceedings of the Plan, Activity, and Intent Recognition, 2010
2009
Artif. Intell., 2009
Proceedings of the 34th Annual IEEE Conference on Local Computer Networks, 2009
Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009
2008
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008
The Evolution of CIRCA, a Theory-Based AI Architecture with Real-Time Performance Guarantees.
Proceedings of the Architectures for Intelligent Theory-Based Agents, 2008
2007
Proceedings of the Game Theoretic and Decision Theoretic Agents, 2007
2006
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006
Proceedings of the Distributed Plan and Schedule Management, 2006
2005
Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005
Deliberation scheduling strategies for adaptive mission planning in real-time environments.
Proceedings of the 2005 AAAI Spring Symposium on Metacognition in Computation, 2005
Proceedings of the AI Technologies for Homeland Security, 2005
2004
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004
2003
2002
Proceedings of the Recent Advances in Intrusion Detection, 5th International Symposium, 2002
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002
2001
Proceedings of the Model Checking Software, 2001
Proceedings of the Self-Adaptive Software, Second International Workshop, 2001
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2001
Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
2000
Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining, 2000
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2000
Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers.
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000
1999
Proceedings of the UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30, 1999
Proceedings of the 4th International Conference on Intelligent User Interfaces, 1999
1998
Robots, softbots, immobots: The 1997 AAAI Workshop on Theories of Action, Planning and Control.
Knowl. Eng. Rev., 1998
1997
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997
1996
Proceedings of the Second International Conference on Knowledge Discovery and Data Mining (KDD-96), 1996
Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996
1995
1994
Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994
Representing Uncertainty in Simple Planners.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994
1993
IEEE Trans. Pattern Anal. Mach. Intell., 1993
1992
Proceedings of the UAI '92: Proceedings of the Eighth Annual Conference on Uncertainty in Artificial Intelligence, 1992
1991
Proceedings of the 9th National Conference on Artificial Intelligence, 1991
1990
Proceedings of the UAI '90: Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence, 1990
1989
Proceedings of the UAI '89: Proceedings of the Fifth Annual Conference on Uncertainty in Artificial Intelligence, 1989
A Semantics for Probabilistic Quantifier-Free First-Order Languages, with Particular Application to Story Understanding.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989
1988
Proceedings of the 26th Annual Meeting of the Association for Computational Linguistics, 1988