Refereed journal articles and book chapters

• Communicable Knowledge in Automated System Identification. Invited chapter in Computational Discovery of Communicable Knowledge, pp. 17-43. Edited by L. Todorovski and S. Dzeroski. LNCS 4660, Springer, Berlin, 2007. By Reinhard Stolle and Elizabeth Bradley.
  Click here for abstract.
• Agenda Control for Heterogeneous Reasoners. The Journal of Logic and Algebraic Programming 62:41-69 (2005).
  By Reinhard Stolle, Apollo Hogan and Elizabeth Bradley.
  Click here for abstract.
• Making Ontologies Work for Resolving Redundancies Across Documents. Communications of the ACM 45(2):55-60 (2002).
  By John O. Everett, Daniel G. Bobrow, Reinhard Stolle, Richard Crouch, Valeria de Paiva, Cleo Condoravdi, Martin van den Berg and Livia Polanyi.
  Click here for abstract.
• Reasoning about Models of Nonlinear Systems. In Logical and Computational Aspects of Model-Based Reasoning, edited by Lorenzo Magnani, Nancy J. Nersessian and Claudio Pizzi. Kluwer Academic, Dordrecht, 2002.
  By Reinhard Stolle, Matthew Easley and Elizabeth Bradley.
  Click here for abstract.
• Reasoning about Nonlinear System Identification. Artificial Intelligence 133:139-188 (2001).
  By Elizabeth Bradley, Matthew Easley and Reinhard Stolle.
  Click here for abstract.
• Automatic Construction of Accurate Models of Physical Systems. Annals of Mathematics and Artificial Intelligence 17:1-28 (1996).
  By Elizabeth Bradley and Reinhard Stolle.
  Click here for abstract.

Refereed conference papers

• HMI generation for plug-in services from semantics descriptions. Proceedings International Conference on Software Engineering (ICSE-2007), Workshop on Software Engineering for Automotive Systems, Minneapolis, MN, May 2007.
  By Andreas Hildisch, Juergen Steurer and Reinhard Stolle.
• Integrating CE-based applications into the automotive HMI. Proceedings SAE World Congress 2007, Detroit, MI, April 2007.
  By Reinhard Stolle, Alexandre Saad, Daniel Weyl and Markus Wagner.
• Rapid Prototyping Platform for Telematics Broadcast Services. Proceedings ITS World Congress 2006, London, UK, October 2006.
  By Matthias Unbehaun, Reinhard Stolle and Wolfram Manthey.
• Modellierungsarten fuer automotive HMIs. Proceedings Modellierung 2006, Workshop Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen, Innsbruck, Austria, March 2006.
  By Oliver Scheickl, Thomas Benedek and Reinhard Stolle.
  Click here for abstract.
• Challenges in Automated Model-Based HMI Testing. Proceedings GI Jahrestagung 2005(2), Automotive Software Engineering, Springer, Berlin, Germany, September 2005, pp. 186-190.
  By Reinhard Stolle, Thomas Benedek, Christian Knuechel and Harald Heinecke.
  Click here for abstract.
• Model-Based Test Automation for Automotive HMIs. Proceedings Jahrestagung der ASIM/GI-Fachgruppe 4.5.5 Simulation technischer Systeme, Simulations- und Testmethoden fuer Software in Fahrzeugsystemen, ISSN 1436-9915, Berlin, Germany, March 2005.
  By Reinhard Stolle, Thomas Benedek and Christian Knuechel.
  Click here for abstract.
• Entailment, Intensionality and Text Understanding. Proceedings Workshop on Text Meaning, Human Language Technology Conference (HLT-NAACL-2003), Edmonton, Canada, May 2003.
  By Cleo Condoravdi, Richard Crouch, Valeria de Paiva, Reinhard Stolle and Daniel G. Bobrow.
  Click here for abstract.
• Knowledge Tracking: Answering Implicit Questions. Proceedings AAAI Spring Symposium on New Directions in Question Answering 2003, Stanford, California, March 2003.
  By Reinhard Stolle, Daniel G. Bobrow, Cleo Condoravdi, Richard Crouch and Valeria de Paiva.
  Click here for abstract.
• Finding Similar Documents in Document Collections. Proceedings Third International Conference on Language Resources and Evaluation (LREC-2002), Workshop on Using Semantics for Information Retrieval and Filtering, Las Palmas, Spain, June 2002.
  By Thorsten Brants and Reinhard Stolle.
  Click here for abstract.
• Scalability of Redundancy Detection in Focused Document Collections. Proceedings First International Workshop on Scalable Natural Language Understanding (SCANALU-2002), Heidelberg, Germany, May 2002.
  By Richard Crouch, Cleo Condoravdi, Reinhard Stolle, Tracy King, Valeria de Paiva, John O. Everett and Daniel G. Bobrow.
  Click here for abstract.
• Preventing Existence. Proceedings International Conference on Formal Ontology in Information Systems (FOIS-2001), Ogunquit, Maine, October 2001.
  By Cleo Condoravdi, Richard Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Martin van den Berg and Daniel G. Bobrow.
  Click here for abstract.
• Multimodal Reasoning for Automatic Model Construction. Proceedings Fifteenth National Conference on Artificial Intelligence 1998 (AAAI-98), Madison, Wisconsin, July 1998.
  By Reinhard Stolle and Elizabeth Bradley.
  Click here for abstract.
• Multimodal Reasoning about Physical Systems. Proceedings AAAI Spring Symposium on Multimodal Reasoning 1998, Stanford, California, March 1998. AAAI Technical Report SS-98-04.
  By Reinhard Stolle and Elizabeth Bradley.
  Click here for abstract.
• Opportunistic Modeling. Proceedings IJCAI Workshop Engineering Problems for Qualitative Reasoning, Nagoya, Japan, August 1997.
  By Reinhard Stolle and Elizabeth Bradley.
  Click here for abstract.
• Meta-Programming for Generalized Horn Clause Logic. Proceedings Fifth International Workshop on Metaprogramming and Metareasoning in Logic (META96), pp. 27-42, Bonn, Germany, September 1996.
  By Clemens Beckstein, Reinhard Stolle and Gerhard Tobermann.
  Click here for abstract.
• A Customized Logic Paradigm for Reasoning about Models. Proceedings Tenth International Workshop on Qualitative Reasoning (QR96), Stanford Sierra Camp, California, 1996. AAAI Technical Report WS-96-01.
  By Reinhard Stolle and Elizabeth Bradley.
  Click here for abstract.
• Declarative Meta Level Control for Logic Programs. Proceedings First Russian-German Symposium on Intelligent Information Technologies and Expert Systems, pp. 11-26, Moscow, Russia, November 1995.
  By Clemens Beckstein, Reinhard Stolle and Gerhard Tobermann.
  Click here for abstract.

Others

• Mastering complexity through modeling and early prototyping. Proceedings 7th Euroforum-Jahrestagung Software im Automobil, Stuttgart, Germany, May 2006.
  By Reinhard Stolle, Christian Salzmann and Tillmann Schumm.
  Click here for abstract.
• Flattened Semantic Representations. Refereed abstract accompanying a talk. Stanford Semantics and Pragmatics Workshop 2003, Stanford, California, March 2003.
  By Daniel G. Bobrow, Cleo Condoravdi, Richard Crouch, Valeria de Paiva and Reinhard Stolle.
  Click here for abstract.
• Finding Similar Content in Different Documents. Abstract accompanying an invited talk. Proceedings AAAI Spring Symposium on Mining Answers from Texts and Knowledge Bases 2002, page 14, Stanford, California, March 2002.
  By John O. Everett, Daniel G. Bobrow, Cleo Condoravdi, Richard Crouch, Valeria de Paiva and Reinhard Stolle.
  Click here for abstract.