profile pic
Matthew Klenk (klenk.matt@gmail.com)
Principal Scientist and Area Manager
Knowledge Representation Area
Palo Alto Research Center
Palo Alto, CA

Research Interests

To increase the capabilities of artificial intelligence (AI) systems, it is necessary to think broadly about tasks requiring intelligent behavior. In my research, I design intelligent agents capable of carrying out human tasks (e.g., conceptual design, team behavior, learning to solve intelligence test questions). When people perform these tasks, they draw on considerable knowledge and experiences. Consequently, my research explores possible forms of this knowledge, how it can be learned, and how it can be applied in new situations. The results of this research have applications in training simulations by creating more realistic participants, transportation, autonomous systems, decision aides and design tools.

While beyond the capabilities of current AI systems, intelligent behavior across a range of tasks would not just increase the autonomy of existing systems, but would also enable human users to treat AI systems as collaborators drawing on shared experiences in a wide array of tasks, instead of merely as tools.

Toward this vision, my research focuses on the following areas:

Publications

BibBase www.matthewklenk.com/files/cv.bib
generated by bibbase.org
  undefined (17)
  2019 (9)
Acceptable Planning: In uencing Individual Behavior to Reduce Transportation Energy Expenditure of a City. Mohan, S.; Rakha, H.; and Klenk, M. Journal of Artificial Intelligence Research. 2019.
Acceptable Planning: In uencing Individual Behavior to Reduce Transportation Energy Expenditure of a City [link]Paper   link   bibtex  
City-Level Agent-Based Multi-modal Modeling of Transportation Networks: Model Development and Preliminary Testing. Elbery, A.; Bichiou, Y.; Rakha, H.; Du, J.; Dvorak, F.; and Klenk, M. Smart Cities, Green Technologies and Intelligent Transport Systems. 2019.
link   bibtex  
Characterizing an Analogical Concept Memory for Architectures Implementing the Common Model of Cognition. Mohan, S.; Klenk, M.; Evans, K.; Ang, A.; and Maxwell, J. In 8th Annual Conference on Advances in Cognitive Systems, 2019.
Characterizing an Analogical Concept Memory for Architectures Implementing the Common Model of Cognition [pdf]Paper   link   bibtex  
On Influencing Individual Behavior for Reducing Transportation Energy Expenditure in a Large Population. Mohan, S.; Yan, F.; Bellotti, V.; Elbery, A.; Rakha, H.; and Klenk, M. In AAAI/ACM conference on Artificial Intelligence, Ethics, and Society, 2019.
On Influencing Individual Behavior for Reducing Transportation Energy Expenditure in a Large Population [link]Paper   link   bibtex  
An Extensible and Personalizable Multi-Modal Trip Planner. Liu, X.; Fritz, C.; and Klenk, M. In Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, Sarasota, Florida, USA, May 19-22 2019., pages 124–127, 2019.
An Extensible and Personalizable Multi-Modal Trip Planner [link]Paper   link   bibtex  
Insane Design of Lumped Element Models. Maxwell, J.; de Kleer, J.; and Klenk, M. In Proceedings of the 32th Annual Workshop on Qualitative Reasoning (QR19), 2019.
link   bibtex  
Checking Qualitative Reasoning with the Conflict Resolution Algorithm. Maxwell, J.; de Kleer, J.; and Klenk, M. In Proceedings of the 32th Annual Workshop on Qualitative Reasoning (QR19), 2019.
link   bibtex  
Exploring How to Personalize Travel Mode Recommendations For Urban Transportation. Mohan, S.; Klenk, M.; and Bellotti, V. In HUMANIZE workshop at ACM Intelligent User Interfaces, 2019.
Exploring How to Personalize Travel Mode Recommendations For Urban Transportation [link]Paper   link   bibtex  
Resource Bounded Goal Obfuscation in Adversarial Environments. In AAAI19 workshop on Plan, Activity, and Intent Recognition (PAIR), 2019.
Resource Bounded Goal Obfuscation in Adversarial Environments [pdf]Paper   link   bibtex  
  2018 (5)
Microscopic Simulation and Calibration of a Large-Scale Metropolitan Network: Issues and Proposed Solutions. Du, J.; Elbery, A.; Rakha, H.; and Klenk, M. In the 97th Annual Meeting of Transportation Research Board, 2018.
Microscopic Simulation and Calibration of a Large-Scale Metropolitan Network: Issues and Proposed Solutions [pdf]Paper   link   bibtex  
LARGE-SCALE AGENT-BASED MULTI-MODAL MODELING OF TRANSPORTATION NETWORKS: SYSTEM MODEL AND PRELIMENARY RESULTS. Elbery, A.; Du, J.; Dvorak, F.; Rakha, H.; and Klenk, M. In Proceedings of the 4th International Conference on Vehicle Technology and Intelligent Transport Systems, 2018.
LARGE-SCALE AGENT-BASED MULTI-MODAL MODELING OF TRANSPORTATION NETWORKS: SYSTEM MODEL AND PRELIMENARY RESULTS [pdf]Paper   link   bibtex  
Resource Bounded Goal Obfuscation in Adversarial Environments. Kulkarni, A.; Klenk, M.; Rane, S.; and Soroush, H. In AAAI Fall Symposium on Integrating Planning, Diagnosis, and Causal Reasoning, 2018.
Resource Bounded Goal Obfuscation in Adversarial Environments [pdf]Paper   link   bibtex  
Collaborative Optimization and Planning for Transportation Energy Reduction. Dvorak, F.; Mohan, S.; Bellotti, V.; and Klenk, M. In ICAPS Proceedings of the 6th Workshop on Distributed and Multi-Agent Planning (DMAP-2018), 2018.
Collaborative Optimization and Planning for Transportation Energy Reduction [pdf]Paper   link   bibtex  
On Extensibility and Personalizability of Multi-Modal Trip Planning. Liu, X.; Fritz, C.; and Klenk, M. In Proceedings of the 11th Multidisciplinary Workshop on Advances in PReference Handling, New Orleans, LA USA, 2018.
On Extensibility and Personalizability of Multi-Modal Trip Planning [pdf]Paper   link   bibtex  
  2017 (3)
Improving the Robustness of Team Collaboration through Analysis of Qualitative Interactions. Klenk, M.; Bobrow, D. G.; de Kleer, J.; Mungrovan, W.; and Tierno, J. Advances in Cognitive Systems, (5). 2017.
Improving the Robustness of Team Collaboration through Analysis of Qualitative Interactions [pdf]Paper   link   bibtex  
Position Article on Integrating Data and Model to Understand Disease Interactions. Nabi, M.; Arvay, A.; Klenk, M.; Gavai, G.; Bobrow, D.; and DeKleer, J. In Healthcare Informatics (ICHI), 2017 IEEE International Conference on, pages 562–567, 2017. IEEE
link   bibtex  
Diagnosing Alternative Facts. In Proceedings of the 28th Annual Workshop on Diagnosis (DX17), Brescia, Italy, 2017.
link   bibtex  
  2016 (2)
Improving the Robustness of Team Collaboration through Analysis of Qualitative Interactions. Matthew Klenk, D. G. B.; and Johan de Kleer, W. M. In Proceedings of the Fourth Advances in Cognitive Systems Conference, Evanston, IL, 2016.
Improving the Robustness of Team Collaboration through Analysis of Qualitative Interactions [pdf]Paper   link   bibtex  
Challenges in formulating explanatory models for co-morbidities. Klenk, M.; Nabi, M.; Arvay, A.; Bobrow, D. G; and de Kleer, J. In Proceedings of the 29th Annual Workshop on Qualitative Reasoning (QR16), New York, NY, 2016.
Challenges in formulating explanatory models for co-morbidities [pdf]Paper   link   bibtex  
  2015 (1)
But where do we start? Qualitative initialization problem with quantitative models. Klenk, M.; de Kleer, J.; Bobrow, D. G; and Matei, I. In Proceedings of the 28th Annual Workshop on Qualitative Reasoning (QR15), Minneapolis, MN, 2015.
But where do we start? Qualitative initialization problem with quantitative models [pdf]Paper   link   bibtex  
  2014 (3)
Qualitative Reasoning with Modelica Models. Matthew Klenk, J. d. K.; and Daniel Bobrow, B. J. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, Quebec City, Quebec, Canada, 2014.
Qualitative Reasoning with Modelica Models [pdf]Paper   link   bibtex  
Making Modelica Applicable for Formal Methods. Matthew Klenk, D. B.; and Johan de Kleer, B. J. In Proceedings of the 10th International Modelica Conference, Lund, Sweden, 2014.
Making Modelica Applicable for Formal Methods [pdf]Paper   link   bibtex  
Verification and design Exploration through Meta tool integration with OpenModelica. Zsolt Lattmann, A. P.; Johan de Kleer, P. F.; Bill Janssen, S. N.; Ted Bapty, X. K.; Matthew Klenk, D. B.; and Bhaskar Saha, T. K. In Proceedings of the 10th International Modelica Conference, Lund, Sweden, 2014.
link   bibtex  
  2013 (6)
Exploiting persistent mappings in cross-domain analogical learning of physical domains. Klenk, M.; and Forbus, K. D. Artificial Intelligence, 195: 398-417. 2013.
Exploiting persistent mappings in cross-domain analogical learning of physical domains [link]Link   link   bibtex  
GOAL-DRIVEN AUTONOMY FOR RESPONDING TO UNEXPECTED EVENTS IN STRATEGY SIMULATIONS. Klenk, M.; Molineaux, M.; and Aha, D. W Computational Intelligence, 29(2). 2013.
GOAL-DRIVEN AUTONOMY FOR RESPONDING TO UNEXPECTED EVENTS IN STRATEGY SIMULATIONS [pdf]Paper   link   bibtex  
The Role of Context in Spatial Region Identification. Kate Lockwood, J. D. K.; and Matthew Klenk, N. H. In Proceedings of Second Annual Conference on Advances in Cognitive Systems (Poster Collection), Baltimore, MD, 2013.
The Role of Context in Spatial Region Identification [pdf]Paper   link   bibtex  
Using Modelica Models for Qualitative Reasoning. Klenk, M.; de Kleer, J.; Bobrow, D. G; and Janssen, B. In Proceedings of the 27th Annual Workshop on Qualitative Reasoning (QR13), Bremen, Germany, 2013.
Using Modelica Models for Qualitative Reasoning [pdf]Paper   link   bibtex  
Breadth of Approaches to Goal Reasoning: A Research Survey. Vattam, S.; Klenk, M.; Molineaux, M.; and Aha, D. W In Baltimore, MD, 2013.
Breadth of Approaches to Goal Reasoning: A Research Survey [pdf]Paper   link   bibtex  
Dynamic Symbol Grounding: Changing Referents in Engineering Analysis and Spatial Environments. Klenk, M.; and Bobrow, D. In Procceedings of the AAAI-13 Workshop on Space, Time, and Ambient Intelligence, Bellevue, WA, 2013.
Dynamic Symbol Grounding: Changing Referents in Engineering Analysis and Spatial Environments [pdf]Paper   link   bibtex  
  2012 (6)
Guiding and Verifying Early Design Using Qualitative Simulation. Klenk, M.; de Kleer, J.; Bobrow, D. G.; Yoon, S.; Hanley, J.; and Janssen, B. In Proceedings of the ASME 2012 IDETC and CIE, Chicago, IL, 2012.
Guiding and Verifying Early Design Using Qualitative Simulation [pdf]Paper   link   bibtex  
Towards a Cognitive System that Can Recognize Spatial Regions Based on Context. Hawes, N.; Klenk, M.; Lockwood, K.; Horn, G. S.; and Kelleher, J. D. In Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada, 2012.
Towards a Cognitive System that Can Recognize Spatial Regions Based on Context [link]Link   Towards a Cognitive System that Can Recognize Spatial Regions Based on Context [pdf]Paper   link   bibtex  
DiscoverHistory: understanding the past in planning and execution. Molineaux, M.; Kuter, U.; and Klenk, M. In International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes), pages 989-996, 2012.
DiscoverHistory: understanding the past in planning and execution [link]Link   link   bibtex  
Placing Qualitative Reasoning in the Design Process. Klenk, M.; Bobrow, D. G; de Kleer, J.; Hanley, J.; and Janssen, B. In Proceedings of the 26th Annual Workshop on Qualitative Reasoning (QR12), 2012.
Placing Qualitative Reasoning in the Design Process [pdf]Paper   link   bibtex  
Challenges for qualitative reasoning for engineering design. Bobrow, D. G; Klenk, M.; de Kleer, J.; Janssen, B.; and Hanley, J. In Proceedings of the 26th Annual Workshop on Qualitative Reasoning (QR12), 2012.
Challenges for qualitative reasoning for engineering design [pdf]Paper   link   bibtex  
Using Anchor Points to Define and Transfer Spatial Regions Based on Context. Klenk, M.; Hawes, N.; Lockwood, K.; Horn, G. S; and Kelleher, J. D In Proceedings of the 26th Annual Workshop on Qualitative Reasoning (QR12), 2012.
Using Anchor Points to Define and Transfer Spatial Regions Based on Context [pdf]Paper   link   bibtex  
  2011 (4)
Using analogical model formulation with sketches to solve Bennett Mechanical Comprehension Test problems. Klenk, M.; Forbus, K. D.; Tomai, E.; and Kim, H. Journal of Experimental and Theoretical Artificial Intelligence, 23(3): 299-327. 2011.
Using analogical model formulation with sketches to solve Bennett Mechanical Comprehension Test problems [link]Link   Using analogical model formulation with sketches to solve Bennett Mechanical Comprehension Test problems [link]Paper   link   bibtex  
Representing and Reasoning About Spatial Regions Defined by Context. Klenk, M.; Hawes, N.; and Lockwood, K. In AAAI Fall Symposium Series, 2011.
Representing and Reasoning About Spatial Regions Defined by Context [pdf]Paper   link   bibtex  
Representing And Reasoning with Functional Knowledge for Spatial Language Understanding. Gupta, K. M; Schneider, A. R; Klenk, M.; Gillespie, K.; and Karneeb, J. In CogSci Workshop on Computational Models for Spatial Language Interpretation and Generation (CoSLI-2). Boston, MA., 2011.
link   bibtex  
What Just Happened? Explaining the Past in Planning and Execution. Molineaux, M.; Kuter, U.; and Klenk, M. In Explanation-aware Computing, Papers from the 2011 IJCAI Workshop, Barcelona, Spain, July 16-17, 2011, pages 31-40, 2011.
link   bibtex  
  2010 (4)
Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects. Molineaux, M.; Klenk, M.; and Aha, D. W. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010, 2010.
Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects [link]Link   Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects [pdf]Paper   link   bibtex  
Goal-Driven Autonomy in a Navy Strategy Simulation. Molineaux, M.; Klenk, M.; and Aha, D. W. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010, 2010.
Goal-Driven Autonomy in a Navy Strategy Simulation [link]Link   Goal-Driven Autonomy in a Navy Strategy Simulation [pdf]Paper   link   bibtex  
Applying Goal Driven Autonomy to a Team Shooter Game. Muñoz-Avila, H.; Aha, D. W.; Jaidee, U.; Klenk, M.; and Molineaux, M. In Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, May 19-21, 2010, Daytona Beach, Florida, 2010.
Applying Goal Driven Autonomy to a Team Shooter Game [link]Link   link   bibtex  
Goal-driven autonomy in planning and acting. Klenk, M. In Proceedings of the AAAI-10 Workshop on Goal-Directed Autonomy (GDA), 2010.
Goal-driven autonomy in planning and acting [pdf]Paper   link   bibtex  
  2009 (6)
Analogical model formulation for transfer learning in AP Physics. Klenk, M.; and Forbus, K. Artificial Intelligence, 173(18): 1615–1638. 2009.
Analogical model formulation for transfer learning in AP Physics [link]Paper   link   bibtex  
Domain transfer via cross-domain analogy. Klenk, M.; and Forbus, K. Cognitive Systems Research, 10(3): 240–250. 2009.
Domain transfer via cross-domain analogy [pdf]Paper   link   bibtex  
Companion cognitive systems: Design goals and lessons learned so far. Forbus, K. D; Klenk, M.; and Hinrichs, T. Intelligent Systems, IEEE, 24(4): 36–46. 2009.
Companion cognitive systems: Design goals and lessons learned so far [link]Paper   link   bibtex  
Persistent mappings in cross-domain analogical learning of physics domains. Klenk, M.; and Forbus, K. In Sofia, Bulgaria, 2009.
Persistent mappings in cross-domain analogical learning of physics domains [pdf]Paper   link   bibtex  
Transfer as a benchmark for multi-representational architectures. Klenk, M. In Multi-Representational Architectures for Human-Level Intelligence: Papers from the AAI Fall Symposium, 2009.
link   bibtex  
Opponent modeling and spatial similarity to retrieve and reuse superior plays. Laviers, K.; Sukthankar, G.; Klenk, M.; Aha, D. W; and Molineaux, M. In Proceedings of the ICCBR Workshop on Case-Based Reasoning for Computer Games, 2009.
Opponent modeling and spatial similarity to retrieve and reuse superior plays [pdf]Paper   link   bibtex  
  2008 (6)
An integrated reasoning approach to moral decision-making. Dehghani, M.; Tomai, E.; Forbus, K.; and Klenk, M. ,1280–1286. 2008.
An integrated reasoning approach to moral decision-making [pdf]Paper   link   bibtex  
MoralDM: a computational modal of moral decision-making. Dehghani, M.; Tomai, E.; Forbus, K.; Iliev, R.; and Klenk, M. . 2008.
MoralDM: a computational modal of moral decision-making [pdf]Paper   link   bibtex  
Companion Cognitive Systems: Design Goals and Some Lessons Learned. Forbus, K. D.; Klenk, M.; and Hinrichs, T. R. In AAAI Fall Symposium on Naturally-Inspired Artificial Intelligence, 2008.
link   bibtex  
MoralDM: A Computational Modal of Moral Decision-Making. Dehghani, M.; Tomai, E.; Forbus, K.; Illiev, R.; and Klenk, M. In Abstract accepted at the 2008 meeting of Society of Judge and Decision Making (SJDM), 2008.
link   bibtex  
Learning modeling abstractions via generalization. Klenk, M.; Friedman, S; and Forbus, K In Proceedings of the 22nd international workshop on qualitative reasoning, 2008.
Learning modeling abstractions via generalization [pdf]Paper   link   bibtex  
Order of Magnitude Reasoning in Modeling Moral Decision-Making. Dehghani, M.; Tomai, E.; Forbus, K.; and Klenk, M. In Proceedings of the 22nd international workshop on qualitative reasoning, 2008.
Order of Magnitude Reasoning in Modeling Moral Decision-Making [pdf]Paper   link   bibtex  
  2007 (4)
Measuring the level of transfer learning by an AP Physics problem-solver. Klenk, M.; and Forbus, K. , 22(1): 446. 2007.
link   bibtex  
Cognitive modeling of analogy events in physics problem solving from examples. Klenk, M.; and Forbus, K. . 2007.
link   bibtex  
Corss domain analogies for learning domain theories. Klenk, M.; and Forbus, K. In Analogies: Integrating Multiple Cognitive Abilities, volume 5, 2007. Publications of the Institute for Cognitive Science, University of Osnabruck
Corss domain analogies for learning domain theories [pdf]Paper   link   bibtex  
Learning domain theories via analogical transfer. Klenk, M.; and Forbus, K. D In Proceedings of the 21st international workshop on qualitative reasoning, 2007.
link   bibtex  
  2006 (2)
Cognitive processes in quantitative estimation: analogical anchors and causal adjustment. Paritosh, P. K; and Klenk, M. E . 2006.
Cognitive processes in quantitative estimation: analogical anchors and causal adjustment [pdf]Paper   link   bibtex  
Analogical model formulation for AP Physics Problems. Klenk, M.; and Forbus, K. D In Proceedings of the 20th international workshop on qualitative reasoning, 2006.
Analogical model formulation for AP Physics Problems [pdf]Paper   link   bibtex  
  2005 (2)
Solving Everyday Physical Reasoning Problems by Analogy Using Sketches. Klenk, M.; Forbus, K. D.; Tomai, E.; Kim, H.; and Kyckelhahn, B. In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, pages 209-215, Pittsburgh, PA, 2005.
Solving Everyday Physical Reasoning Problems by Analogy Using Sketches [link]Link   Solving Everyday Physical Reasoning Problems by Analogy Using Sketches [pdf]Paper   link   bibtex  
Solving everyday physical reasoning problems by analogy using sketches. Klenk, M.; Forbus, K.; Tomai, E.; Kim, H.; and Kyckelhahn, B. In Proceedings of the 19th international workshop on qualitative reasoning, 2005.
Solving everyday physical reasoning problems by analogy using sketches [pdf]Paper   link   bibtex  
  2004 (1)
Open-domain sketch understanding: The nuSketch approach. Forbus, K; Lockwood, K.; Klenk, M.; Tomai, E.; and Usher, J. ,58–63. 2004.
Open-domain sketch understanding: The nuSketch approach [pdf]Paper   link   bibtex  
  undefined (1)
. . .
link   bibtex  

Other Publications

  1. Klenk, M. (June 22nd, 2009) My Computer, My Collaborator. The AI Report on Fobres.com. Available at http://www.forbes.com/ai/

Education

B.A. Computer Science, Emory University, May 2003
M.S. Computer Science, Northwestern University, December 2006
Ph.D. Computer Science, Northwestern University, June 2009