CURRICULUM VITAE

Robert P. Goldman

Smart Information Flow Technologies LLC d/b/a SIFT, LLC

319 N. First Ave, Suite 400

Minneapolis, MN   55401

(612) 326-3934 (office)

Contact me for personal phone numbers and postal address

personal: robert.p.goldman@goldman-tribe.org

work: rpgoldman@sift.net

Education

1991Brown University, Ph.D. Computer Science
1988Brown University, M.Sc. Computer Science
1983Yale University, B.A. Philosophy, Magna Cum Laude

Awards and Honors

SIFT award for developing cloud-based testing of CIRCA controller synthesis system (with Peter Keller and Mike Pelican), March 2012.

Team Achievement Award (with Mike Pelican) for work on verifier loop acceleration in P-CIRCA, June 2011.

SIFT Technical Achievement Award for Integrated Learning, June 2009.

2008 SIFT Technical Achievement Award for work on the Integrated Learning, November 2008.

2006 SIFT "Star Performance" Award. From the company announcement: "In 2006, Robert brought in (or was instrumental in bringing in) four significant programs: COORDINATORS [Phase] 2, Integrated Learning, Deep Green seedling, and SPDR, whose overall value is over $1M -- of which SIFT's share is at least $500K. Plus there is the prospect of substantial future growth and follow on awards ... that could send those totals much higher. .... He has also been instrumental in attracting and retaining several of our recently-hired employees."

2001 With co-investigators Steve Harp, Vic Thomas, and Robert Carter, won Honeywell Laboratories Technical Achievement award for the Argus/Scyllarus project.

2001 With co-investigators David Musliner and Michael Pelican, won Honeywell Laboratories Information and Decision Technologies 2001 technical achievement award for developments in ANTS contract.

2001 Honeywell award for technical contributions to MASA-CIRCA (DARPA Autonomous Negotiating Teams) program. Contributions made on work on deliberation scheduling.

2001 Honeywell award for technical contributions to Argus program.

1999 Honeywell award for program management of Advanced Logistics Program contract

1999 Honeywell award for research on CIRCA controller synthesis

1998 Honeywell award for research on distributed CIRCA

1998 Honeywell award for mentoring

1997 Outstanding Reviewer, International Joint Conference on Artificial Intelligence

1993 Elected to Upsilon Pi Epsilon, Computer Science Honors Society

1993 Admitted to Graduate Faculty, Tulane University

1993 (awarded) Lilly Foundation Teaching Fellow (fellowship for academic year 1994-95)

1992 Newcomb Fellow, Newcomb College, Tulane University

1991 Mortarboard Award for Teaching, Newcomb College, Tulane University

1991 Elected Residential Fellow, Tulane University

1990 Graduate Research Prize, Brown University Chapter of Sigma Xi

1985-86 Brown University Fellowship

1979 National Merit Scholarship

 

 

Current Employment

October 2013 - date, Staff Scientist, Smart Information Flow Technologies

June 2002 - October 2013, Principal Scientist, Smart Information Flow Technologies

Employment

May 2000 - June 2002 Honeywell Technology Center, Senior Principal Research Scientist

June 1997-May 2000 Honeywell Technology Center, Principal Research Scientist

1994-1997 Honeywell Technology Center, Senior Research Scientist

July 1993-1994 Honeywell Systems and Research Center, Postgraduate Research Associate (position during leave of absence from Tulane)

July 1990-1994 Tulane University, Department of Computer Science, Assistant Professor

Summer 1992 Rockwell Science Center, Palo Alto Laboratory, Summer Associate

1986-90 Brown University Computer Science Department, Research Assistant

1985 Multi-mate, Inc., Systems Analyst

1983-84 Compu-Teach, Inc., Game Designer and Programmer

Summer 1983 Yale University Artificial Intelligence Project, Research Assistant

Selected projects

Presently:Hy-CIRCA: Develop techniques for automatically synthesizing correct-by-construction (model-checked) control systems for autonomous satellites. Principal Investigator. Air Force (AFRL) STTR with Carnegie-Mellon University (Ed Clarke).

Presently:LaPlata: SIFT subcontract to Lockheed Martin under the Air Force Research Laboratory Distributed Operations (DistrO) program.

Presently:STRATUS: SIFT contract under DARPA's Mission-oriented Resilient Cloud program.

2013 - 2015 Quiksilver: Developing new techniques for statistical and probabilistic model-checking. SIFT subcontract to CMU (Prof. Ed Clarke) under AFOSR program.

September 2014 - December 2015:SPEED-C: Develop playbook planning techniques for distributed systems under unreliable communications. Principal Investigator of SIFT's subcontract to Applied Communication Systems (ACS). Funded by DARPA DBM program.

November 2009 - September 2012 Probabilistic CIRCA: subcontract to CMU (Ed Clarke, Principal Investigator) through the Office of Naval Research (ONR). Develop novel techniques for verification and synthesis of hybrid discrete-continuous and stochastic systems, including techniques for model-checking timed systems, and sampling algorithms for model-checking stochastic systems.

March 2011 - June 2012 Principal Investigator and Project Manager of SIFT's S3 project for the DARPA Oh, By the Way (OBTW) program.

March 2008 - October 2011 Principal Investigator of SIFT's subcontract (to BBN) for the DARPA Scalable Network Monitoring program.

October 2006 - February 2010 Principal Investigator of SIFT's subcontract (to BBN) for the DARPA Integrated Learning program. As part of this effort, managed subcontract to University of Maryland, College Park, Rutgers University and University of Edinburgh.

April 2007 - September 2007 Principal Investigator of SIFT's effort as part of the UPMAPS DARPA Deep Green seedling program. Co-PI with PI's from Adventium Labs and Honeywell International.

January 2005 - June 2007 Researcher in DARPA Coordinators program. On this program, SIFT developed key Markov Decision Process (MDP) model "unrolling" software for the Honeywell International team.

April 2003 - August 2006 Key researcher on SIFT's PVACS Phase 2 SBIR from DARPA (joint with Geneva Aerospace). Developed key planning and executive components for SIFT's PVACS Playbook.

July 2001-June 2002: Principal Investigator of Hybrid Controller Synthesis program, sponsored by NASA under the Thinking Space Systems program.

October 2001-June 2002: Technical contributor on Crystal project funded under DARPA's Mica program. Successor to JFACC program (see below).

1999- June 2002 : Key technical contributor on Argus Intrusion Detection project for DARPA. Leading the development of a qualitative Bayesian method for fusing reports from multiple intrusion detection tools into an overall view of a network's security situation.

1996- June 2002 : Key technical contributor on SA-CIRCA , D-CIRCA and MASA-CIRCA projects for DARPA. CIRCA is a planning and intelligent control architecture. For D-CIRCA's controller synthesis module, I developed an abstraction method that made automatic controller design more efficient (this work was written up in the proceedings of AAAI-97, see list of papers). For SA-CIRCA, I pioneered the use of model-checking inside the controller synthesis loop and worked on the development of the Adaptive Mission Planner module.

1999-date: Technical contributor on Circadia project for DARPA's Autonomous Information Assurance (later Cyber Panel) program. Provided technical support in work to tailor the Circa intelligent control architecture for autonomous countermeasures in computer security applications.

1999-2001: Key technical contributor on Multi-model Predictive Control project for DARPA., funded under the JFACC program. Leading the development of automatic hybrid controller synthesis algorithms. These algorithms automatically take a description of a control problem and synthesize a supervisory controller for it.

1997-2000: Leading efforts to develop a means of evidence fusing for troubleshooting in refineries, under the aegis of the NIST-sponsored Abnormal Situation Management consortium and related research projects.

1999: Principal Investigator/Project Manager of Honeywell Technology Center effort on DARPA Advanced Logistics Program (ALP). Leading a project with two sub-projects:

  1. Provide design support to the customer in designing a representation facility for multiple scenarios in the ALP distributed, agent-based system.
  2. Provide a high-level scripting capability to the ALP architecture.Such a scripting capability is critical to any ability to deploy a large-scale enterprise system like the ALP architecture; low-level language (in this case Java) programming is simply not efficient enough to permit the development of enough applications.The scripting facility we developed was based on the Procedural Reasoning System (PRS), providing AI reactive planning capabilities conveniently to ALP developers.

1995- 1997: Principal Investigator/Project Manager of Honeywell Technology Center effort on DARPA Object Technology for Rapid Software Development (OTRSD) Technology Reinvestment Program (TRP). Part of consortium with IBM, ISX, Template Software. In this program, HTC developed C++ and Java versions of scheduling libraries and implemented Java version of Honeywell Batch Manufacturing Scheduler.

PATENTS

U.S. Patent 6,957,178, "Incremental automata verification," with David J. Musliner and Michael J.S. Pelican, October, 2005 (submitted October, 2001).

U.S. Patent 7,146,348, "Probabilistic Goal Recognition System and Method Incorporating Inferred Unobserved Actions," with Chris Geib, December 2006 (submitted November, 2002).

U.S. Patent Application, "Qualitative Probability for Information Fusion," with Daniel Johnson, August, 2000.  Application number unknown.

Book

Plan, Activity, and Intent Recognition, Gita Sukthankar, Robert P. Goldman, Christopher Geib, David Pynadath, Hung Bui, eds., Elsevier, 2014.

Journal Articles

"Plan aggregation for strong cyclic planning in nondeterministic domains," with Ron Alford, Ugur Kuter, and Dana Nau, Artificial Intelligence, 216, 206-232, November 2014.

"A Loop acceleration technique to speed up verification of automatically generated plans," first author with David J. Musliner and Michael J.S. Pelican, in the International Journal on Software Tools for Technology Transfer, June 2013.

"A Probabilistic plan recognition algorithm based on plan tree grammars", with Christopher W. Geib, Artificial Intelligence, Vol. 173, No. 11, pp. 1101--1132, 2009.

"Incremental Verification for On-the-Fly Controller Synthesis. with David J. Musliner and Michael J. S. Pelican, in the Electronic Notes in Theoretical Computer Science, Vol. 149, Number 2, 14 Feb 2006.

"Constraints and AI Planning," with Alexander Nareyek, Robert Fourer, Eugene C. Freuder, Enrico Giunchiglia, Henry Kautz, Jussi Rintanen and Austin Tate. IEEE Intelligent Systems, 20(2), 62-72,2005.

Self-Adaptive Software for Hard Real-Time Environments, (with David J. Musliner, Michael J. Pelican and Kurt D. Krebsbach), IEEE Intelligent Systems (formerly IEEE Expert), July-August, 1999.

Constraint-based Scheduling for Batch Manufacturing,” (first author with Mark S. Boddy), IEEE Expert, January-February, 1997.

"Investigations of Model Preference Defaults" (with Mark Boddy, Lynn Stein and Keiji Kanazawa), Fundamenta Informaticæ, 20 (1/2), 1994.

"A Language for Construction of Belief Networks'' (first author with Eugene Charniak), IEEE Transactions on Pattern Analysis and Machine Intelligence, 15 (3), March, 1993.

"A Bayesian Model of Plan Recognition'' (with Eugene Charniak), Artificial Intelligence, 64 (1), November, 1993.

"From Knowledge Bases to Decision Models'' (with Michael P. Wellman and John S. Breese), Knowledge Engineering Review, 7 (1), March, 1992.

"Probabilistic Text Understanding'' (first author with Eugene Charniak), Statistics and Computing, 2, 1992. Also in Artificial Intelligence Frontiers in Statistics: AI and Statistics III, D.J. Hand, editor, Chapman and Hall: 1992.

 

Other Refereed Publications

"Human/autonomy collaboration for automated generation of intelligence products," with Phil DiBona, Jason Schlachter, and Ugur Kuter, in Proc. SPIE 10207, Next-Generation Analyst V, 1020709; doi:10.1117/12.2261997, (May 3, 2017).

"A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control," first author with Daniel Bryce, Michael J. S. Pelican, David J. Musliner, and Kyungmin Bae, in NASA Formal Methods, Proceedings of the 8th International Symposium, held in Minneapolis, MN, May 2016, Springer Lecture Notes in Computer Science, vol. 9690.

"Measuring Plan Diversity: Pathologies in Existing Approaches and A New Plan Distance Metric," first author with Ugur Kuter, in the Proceedings of the AAAI Conference, Austin, TX, January 2015.

"SMT-based Nonlinear PDDL+ Planning," with Dan Bryce, Sicun Gao, and David J. Musliner, in the Proceedings of the AAAI Conference, Austin, TX, January 2015.

"Recognizing Plans with Loops Represented in a Lexicalized Grammar," with Christopher W. Geib, in the Proceedings of the AAAI Conference, San Francisco, CA, August 2011.

"Priority-Based Meta-Control within Hierarchical Task Network Planning," with David J. Musliner and Christopher Miller, Proceedings of the AIAA, March, 2011.

"Handling Looping and Optional Actions in YAPPR," with Christopher W. Geib, in the AAAI Workshop on Plan, Activity and Intent Recognition (PAIR), Atlanta, GA, 2010.

"Plan Libraries for Plan Recognition: Do We Really Know What They Model?" with Froduald Kabanza and Philipe Bellefeuille, in the AAAI Workshop on Plan, Activity and Intent Recognition (PAIR), Atlanta, GA, 2010.

"Evolving ASDF: More cooperation, less coordination," with François-René Rideau, Proceedings of the International Lisp Conference, Reno, NV, 2010.

"A Semantics for HTN Methods," in the Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), September 2009.

"An Architecture for Scalable Network Defense," with Tim Strayer, et al., in the Proceedings of the IEEE Conference on Local Computer Networks, October 2009.

"Maintaining Focus: Overcoming Attention Deficit Disorder in Contingent Planning," with Ugur Kuter, Dana Nau, Ron Alford and Elnatan Reiser, to appear in the Proceedings of FLAIRS 2009, May 2009.

“SHOPPER: Interpreter for a high-level web services language,” with John Maraist, in the Proceedings of the International Lisp Conference, Cambridge, MA, March 2009.

“Model-based Intrusion Assessment in Common Lisp,” with Steven A. Harp, in the Proceedings of the International Lisp Conference, Cambridge, MA, March 2009.

"Task-based Approach to Planning," with Jeff Abbott and John R. Surdu, in the Proceedings of the Fall 2008 Simulation Interoperability Workshop (SIW), September 2008.

"Using Classical Planners for Strong-Cyclic Planning in Nondeterministic Domains," with Dana Nau, Ugur Kuter, and Elnatan Reisner, Proceedings of the 2008 International Conference on Automated Planning and Scheduling (ICAPS), September 2008.

"A New Probabilistic Plan Recognition Algorithm Based on String Rewriting," with Christopher Geib and John Maraist, Proceedings of the 2008 International Conference on Automated Planning and Scheduling (ICAPS), September 2008.

"Durative Planning in HTNs," short paper in Proceedings of the 2006 International Conference on Automated Planning and Scheduling (ICAPS), June 2006.

"Partial Observability and Probabilistic Plan/Goal Recognition,'' with Christopher Geib, in Proceedings of the 2005 International Workshop on Modeling Others from Observations (MOO-2005), July 2005.

"The Playbook™ Approach to Adaptive Automation," with Miller, C., Funk, H., Wu, P., Meisner, J., and Chapman, M. In Proceedings of the Human Factors and Ergonomics Society Annual Meeting (Vol. 49, No. 1, pp. 15-19). SAGE Publications, September, 2005.

"Optimizing to satisfice: using optimization to guide users," first author with C. Miller, P. Wu, H. Funk, and J. Meisner, presented at the American Helicopter Society (AHS) International Specialists Meeting on Unmanned Aerial Vehicles, Chandler, AZ, 2005.

"Guiding Planner Backjumping Using Verifier Traces,'' (first author with Michael J.S. Pelican and David J. Musliner), in Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS-2004) S. Zilberstein, J. Koehler, and S. Koenig, editors, pp. 279­286, June 2004.

"Adapting Research Planners for Applications,'' in Proceedings of the ICAPS 2004 Workshop on Connecting Planning Theory with Practice, June 2004.

"Deliberation Scheduling Strategies for Adaptive Mission Planning in Real-Time Environments," in Proceedings of the Third International Workshop on Self Adaptive Software, 2003.

Recognizing Plan/Goal Abandonment, (with Christopher Geib) in Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), pp. 1515-1517, 2003.

"Delegation as a Model for Human-Automation Interaction,'' (with Christopher A. Miller, Harry B. Funk, and Raja Parasuraman) in Proceedings of the 3rd International NASA Workshop on Planning and Scheduling for Space, Houston, TX October 27-29, 2002.

"A Stochastic Model of Intrusions,'' in the Proceedings of the Fifth International Symposium on Recent Advances in Intrusion Detection (RAID-2002), 2002.

"MACBeth: A Constraint-Based Planner,'' (first author with Karen Zita Haigh, David J. Musliner, and Michael J. S. Pelican), in the Proceedings of the 21st Digital Avionics Systems Conference (DASC), October 27-31, 2002.

Verifier Trace-directed Backjumping for Controller Synthesis,” (first author with David J. Musliner and Michael J. Pelican), International Workshop on Real-Time Tools (RT-Tools 2002), 2002.

Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis," (first author with David J. Musliner and Michael J. Pelican), Hybrid Systems Computation and Control V: Proceedings of the International Workshop, Springer-Verlag, 2002.

"Managing Online Self-Adaptation in Real-Time Environments," (first author with David J. Musliner and Kurt Krebsbach), in Self Adaptive Software: Applications, Robert Laddaga, Paul Robertson, and Howard Shrobe, eds., LNCS 2614, Springer-Verlag, 2003.

"Modifying HyTech to automatically synthesize hybrid controllers," (with Ranjana Deshpande, Jorge Tierno and David J. Musliner) to appear in the Proceedings of the 40th IEEE Conference on Decision and Control (CDC), December, 2001.

"Applications of Model Checking at Honeywell Laboratories," with Darren Cofer, Eric Engstrom, David Musliner, and Steve Vestal, in Model Checking Software: Proceedings of the 8th International SPIN Workshop, Springer-Verlag LNCS 2057, p. 296 ff., May 2001.

"Information Modeling for Intrusion Report Aggregation," (first author with Heimerdinger, et. al.), in the Proceedings of the DARPA Information Survivability Conference and Exposition (DISCEX), June, 2001.

"Plan Recognition in Intrusion Detection Systems," (with Christopher W. Geib), in the Proceedings of the DARPA Information Survivability Conference and Exposition (DISCEX), June, 2001.

"Probabilistic Plan Recognition for Hostile Agents," (with Christopher W. Geib), in the Proceedings of the Florida AI Research Symposium (FLAIRS), May, 2001.

Partial Observability in Collaborative Task Tracking, (with Christopher Geib) in Proceedings of AAAI Fall Symposium on Intent Inference for Collaborative Tasks, 2001.

Monte-Carlo Simulation for Automatic Synthesis of Verified Real-time Controllers, (with Christopher Geib and David J. Musliner) in Proceedings of AAAI Spring Symposium on Model-Based Validation of Intelligence, 2001.

"Coordinated Deployment of Multiple, Heterogeneous Robots," (with R. Simmons, D. Apfelbaum, D. Fox, K. Zita Haigh, D. J. Musliner, M. Pelican, and S. Thrun. In the Proceedings of the Conference on Intelligent Robots and Systems (IROS), Takamatsu Japan, October 2000.

"Textual Data Mining of Service Center Call Records," (with Pang-nin Tan, et. al.) in the Proceedings of the Sixth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Boston, MA, August, 2000.

`Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers,” (with David J. Musliner and Michael Pelican), in the Proceedings of the IEEE International Conference on Robotics and Automation (ICRA-2000), April, 2000.

`Tasking' Interfaces for Flexible Interaction with Automation: Keeping the Operator in Control,” (with Christopher A. Miller and Michael Pelican), tin the Proceedings of the Conference on Human Interaction with Complex Systems (HICS) 2000, April-May, 2000.

Multi-model Predictive Control of Military Operations,” (with Datta Godbole, et. al.), in the Proceedings of the 1999 Workshop on Enterprise Control), November, 1999.

A New model of Plan Recognition,” (first author with Christopher S. Geib and Christopher A. Miller), in the Proceedings of the 1999 Conference on Uncertainty in Artificial Intelligence (UAI-99), July, 1999.

Abstraction for real-time intelligent control,” (first author with David J. Musliner, Mark S. Boddy and Kurt Krebsbach), in the Working Notes of the Symposium on Abstraction, Reformulation and Approximation (SARA-98), May, 1998.

"`Tasking' Interfaces; Associates that Know Who's the Boss," (with Christopher Miller), in the Proceedings of the Fourth USAF/RAF/GAF Conference on Human/Electronic Crewmembers, Kreuth, Germany, September, 1997.

Expressive Planning and Explicit Knowledge,” (first author with Mark S. Boddy), in the Proceedings of the Third International Conference on Artificial Intelligence Planning Systems (AIPS-96), May, 1996.

Imputation of Missing Data Using Machine Learning Techniques,” in The Proceedings of the Second International Conference on Knowledge Discovery and Data Mining (KDD-96), August, 1996.

Epsilon-safe Planning,” (first author with Mark S. Boddy), Uncertainty in Artificial Intelligence: Proceedings of the Tenth Conference (UAI-94), July, 1994.

Conditional Linear Planning,” (first author with Mark S. Boddy), Proceedings of the Third International Conference on Artificial Intelligence Planning Systems (AIPS-94), June, 1994.

Empirical Results on Scheduling and Dynamic Backtracking,” (with Mark S. Boddy), in the Proceedings of the International Symposium on Artificial Intelligence, Robotics, and Automation for Space (ISAIRAS), JPL Publication 94-23, 1994.

Representing Uncertainty in Simple Planners,” (first author with Mark S. Boddy), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR-94), May, 1994.

"Intentions in Time," (with R. Raymond Lang) Proceedings of the 1993 Conference on Cognitive Science, June, 1993. Also Tulane Computer Science Technical Report 93-101.

"Integrating Model Construction and Evaluation" (first author with John S. Breese), Uncertainty in Artificial Intelligence, Proceedings of the Eighth Conference, July, 1992.

"Towards a Knowledge Representation for Simple Narratives'' (with R. Raymond Lang), Proceedings of the 1992 Conference on Cognitive Science, June, 1992.

"A Probabilistic Model of Plan Recognition'' (with Eugene Charniak), Proceedings of the 1991 National Conference on Artificial Intelligence (AAAI-91).

"Dynamic Construction of Belief Networks'' (first author with Eugene Charniak), Uncertainty in Artificial Intelligence, vol. VI, P. Bonissonne, M. Henrion, L.N. Kanal and J. Lemmer, eds., Elsevier Science Publishers, 1991.

"A Semantics for Probabilistic Quantifier-Free First-Order Languages, with Particular Application to Story Understanding'' (with Eugene Charniak), Proceedings of the International Joint Conference on Artificial Intelligence, Detroit, MI, August 1989.

"Plan-recognition in Stories and in Life'' (with Eugene Charniak), Uncertainty in Artificial Intelligence 5, M. Henrion, R.D. Schachter, L.N. Kanal and J.F. Lemmer (eds.), Elsevier Science Publishers, 1990. Reprinted in Evolving Knowledge in Natural Science and Artificial Intelligence, J.E Tiles, G. T. McKee, and G. C. Dean (eds.), Pitman: 1990.

"A Logic for Semantic Interpretation'' (with Eugene Charniak), Proceedings of the Conference of the Association for Computational Linguistics, Buffalo, NY, June 1988.

"Just So Stories: How the Program Got That Bug'' (with Elliot Soloway, Saj-Nicole Joni and Kate Ehrlich), Proceedings of the SIGCUE/SIGCAS Symposium on Computer Literacy Baltimore, MD, June 1983.

Miscellaneous articles

"HOKAGE: A Heuristic Lifted Planning Algorithm for Generating Diverse Generalized Plans," with Ugur Kuter, a position paper for the ICAPS Generalized Planning Workshop, June 2017

"Delegation Interfaces for a Dynamic and Unpredictable Task: A Mobile Target Tracking Example," with Chris Miller and Harry Funk, at the NATO RTO Human Factors and Medicine (HFM) Symposium on Human Factors of Uninhabited Military Vehicles as Force Multipliers, October 2006.

"Applications of Model Checking at Honeywell Laboratories" (with Darren Cofer, Eric Engstrom, David Musliner and Steve Vestal), 2001 SPIN Workshop, Toronto, Ontario, May 2001.

A High-Level Tasking” Interface for Uninhabited Combat Air Vehicles (with Chris Miller and Mike Pelican), Video presented at the International Conference on Intelligent User Interfaces. Redondo Beach, CA: January 5-8, 1999.

Robots, Softbots, Immobots: The 1997 AAAI Workshop on Theories of Action, Planning and Control,” (first author with Chitta Baral), The Knowledge Engineering Review, 13 (1), 1998.

Constraint-based Scheduling for Batch Manufacturing,” (first author with Mark S. Boddy and Mark J. Ringer), in the Proceedings of the AI and Manufacturing Research Planning Workshop, June, 1996.

Abductive Inference, a Review,” IEEE Expert, 10 (3), June, 1995.

"A System for Syllabification of Spanish" (with Harry Howard), submitted to Computational Linguistics.

"Issues in Object-oriented Query Languages" (with Nicolette Bloch), Tulane Computer Science Department Technical Report TUTR 93-102, April 1993.

"Probabilistic Approaches to Natural Language," (first author with Eugene Charniak, William A. Gale and Peter Norvig), report of 1992 AAAI Fall Symposium, AI Magazine, (14) 1, Spring 1993.

"Review of two MIT Press books on Computational Morphology' SIGART Bulletin, April 1993.

"Review of Intentions in Communication,'' AI Magazine, (12) 4, Winter 1991.

"Review of Analogical Modeling of Language,'' SIGART Bulletin, (2)1, January 1991.

A Logic-programming Approach to All-paths Parsing, Technical Report CS-90-17, Brown University Computer Science Department, Providence, RI, August 1990.

A Probabilistic Approach to Text Understanding (first author with Eugene Charniak), Technical Report CS-90-13, Brown University Computer Science Department, Providence, RI, May 1990.

Professional Activities

Senior Program Committee, AAAI National Conference on Artificial Intelligence, 2011-2012.

Chairman, Awards Committee, International Conference on Automated Planning and Scheduling (ICAPS), 2011.

Organizing Committee, AAAI Workshop on Intelligent Security, 2010.

Organizing Committee, Dagstuhl Seminar on Plan and Activity Recognition, 2008.

Program Committee, AAAI National Conference on Artificial Intelligence, 2006-2010.

Program Committee, 2003 IEEE Conference on Systems, Man, and Cybernetics.

Organizing Committee, 2002 AI Planning and Scheduling (AIPS) Workshop on Planning with Model-checking.

Organizing Committee, IJCAI 2001 Workshop on Planning with Resources.

Program Committee, AAAI 2001 Spring Symposium on Model-based Validation of Intelligence.

Program Committee, International Symposium on Artificial Intelligence, Robotics and Automation in Space (iSAIRAS), 2001.

Program Committee, Artificial Intelligence Planning and Scheduling conference workshop on Model-Theoretic Approaches to Planning, 2000.

Program Committee, National Conference on Artificial Intelligence, 1999.

Program Committee, International Joint Conference on Artificial Intelligence, 1999, 2001.

Program Committee, Conference on Uncertainty in Artificial Intelligence, 1992-2002,2004.

Program Committee, European Conference on Planning, 1997, 1999.

Reviewer, Quebec Fonds pour la Formation des Chercheurs et l'Aide a la Recherche, 1999.

Program Committee, International Joint Conference on Artificial Intelligence, 1997.

Program Committee, National Conference on Artificial Intelligence, 1996.

Program Committee, Florida AI Research Symposium, 1996.

Vice-chair (Uncertainty), 1994 Conference on Tools with Artificial Intelligence.

Invited lecturer, 1994 Summer Institute on Probability in Artificial Intelligence (SIPrAI).

Chairman, Program Committee of 1992 AAAI Fall Symposium on Probability and Natural Language Processing.

Program Committee, Conference on Uncertainty in Artificial Intelligence, 1992-1997.

Program Committee, 1992 Conference on Tools with Artificial Intelligence.

Organizing Committee, AAAI NCAI-91 workshop on Dynamic Probabilistic Models.

REVIEWER FOR

International Conference on AI Planning and Scheduling (ICAPS).

National Conference on AI (AAAI).

ICAPS 2005 Competition on Knowledge Engineering for Planning and Scheduling.

International Joint Conference on AI (IJCAI).

International Workshop on Modeling Others from Observations (MOO).

National Sciences and Engineering Research Council of Canada (NSERC).

IEEE CCA/ISIC/CACSD Control Systems conference.

International Conference on Robotics and Automation.

Artificial Intelligence.

Journal of Artificial Intelligence Research (JAIR).

User Modeling and User-adaptive Interaction (UMUAI).

IEEE Transactions on Pattern Analysis and Machine Intelligence.

IEEE Transactions on Systems, Man and Cybernetics.

IEEE Transactions on Knowledge and Data Engineering.

International Joint Conference on Artificial Intelligence (IJCAI)

Cognitive Science.

International Journal on Artificial Intelligence Tools.

SIGART Bulletin.

Invited Talks

"Active Perception and Cyber Security," Cyber and Netcentric Workshop (CNW), MIT Lincoln Laboratory, June 2016.

"Planning for Timed Games," New Directions in Software Technology, St. John's, USVI, December 2005.

"Domain Modeling for Planning," Tutorial with Mark Boddy, National Conference of the Association for the Advancement of AI (AAAI), Vancouver, BC, July 2007.

"Domain Modeling for Planning," Tutorial with Mark Boddy, International Conference on Automated Planning and Scheduling (ICAPS), Monterey, CA, June 2005.

AFOSR Workshop on Decision Making in Adversarial Domains, Greenbelt, MD, May 2005.

VERIMAG, Grenoble, France, April 2002.

AIPS workshop on Planning Via Model-checking, Toulouse, France, April 2002.

Workshop on Hybrid Systems: Computation and Control. Stanford, California, March 2002.

Panel participant, IJCAI 2001 Workshop on Planning with Resources. Seattle, Washington, July 2001.

DARPA Information Survivability Conference and Exposition (DISCEX), sponsored by IEEE Computer Society, Anaheim, California, June, 2001.

International Workshop on Self-Adaptive Software (IWSAS), Balatonfüred, Hungary, May, 2001.

Hard Real-Time Mode Logic Synthesis for Hybrid Control: A CIRCA-based approach,” AAAI Spring Symposium on Hybrid Systems and AI, March, 1999.

Dynamic Abstraction Planning,” National Conference on Artificial Intelligence, Providence, RI, July 1997.

Planning for CIRCA,” NASA Ames Research Center, March, 1997.

Computational Models for Mixed Initiative Interaction,” AAAI Spring Symposium on Mixed-Initiative Interaction, March, 1997.

Theories of Action, Planning and Robot Control: Bridging the Gap,” Workshop at the 1996 National Conference on Artificial Intelligence (AAAI-96), Portland, OR, August 1996.

AI Scheduling for Batch Manufacturing,” Conference of Institute for Operations Research and Management Science (INFORMS), New Orleans, November 1995.

Computer Science Department, University of Wisconsin, Milwaukee, WI.

Computer Science Department, University of Minnesota, Minneapolis, MN.

ONR Summer Institute for Probability in AI (SIPrAI), July 1994.

AAAI Spring Symposium on Decision-theoretic planning, Stanford, CA, March 1994.

Panel discussion on "Hard Problems in Commonsense Reasoning," 1993 Symposium on Logical Formalizations of Commonsense Reasoning, Austin, TX, January 1993.

Philosophy Department, Tulane University, December 1992.

Honeywell Systems Research Center, Minneapolis, MN, November 1992.

Conference on Uncertainty in Artificial Intelligence, July 1992.

Center for Advanced Computer Studies, University of Southwestern Louisiana, Lafayette, LA, April 1992.

Panel Moderator, Conference on Uncertainty in Artificial Intelligence, U.C.L.A., July 1991.

National Conference on Artificial Intelligence (AAAI-91), Anaheim, CA, July 1991.

Conference on Uncertainty in Artificial Intelligence, Cambridge, MA, July, 1990.

AAAI Fall Symposium on Abduction, Stanford, CA, March 1990.

SRI International, Palo Alto, CA, October 1989.

Rockwell International Science Laboratories, Palo Alto, CA, October 1989.

Second AAAI Workshop on Plan-recognition, Detroit, MI, 1989.

Workshop on Plan-recognition sponsored by AAAI and the Analytic Sciences Corporation, St. Paul, MN, August 1988.

Professional Organizations

American Association for Artificial Intelligence (AAAI)

Member, IEEE

OTHER ACTIVITIES

Maintainer of ASDF (Another System Definition Framework), the de facto standard Common Lisp build system.

Unofficial co-chair of Twin Cities Lisp users' group, 2009 - present.

Member of the Board of Trustees of Shir Tikvah congregation, 1999-2001.