
- Proc. QR96, Stanford Sierra Camp, Calif., May 1996. AAAI Tech. Rep. WS-96-01. A Customized Logic Paradigm for Reasoning about Models
- Scalability of Redundancy Detection in Focused Document Collections
- REASONING ABOUT MODELS OF NONLINEAR SYSTEMS
- Preventing Existence Cleo Condoravdi Dick Crouch
- Communicable knowledge in automated system identi cation ?
- Entailment, Intensionality and Text Understanding Dick Crouch, Cleo Condoravdi, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow
- Knowledge Tracking: Answering Implicit Questions Reinhard Stolle, Daniel G. Bobrow,
- Making Ontologies Work for Resolving Redundancies Across Documents
- Preventing Existence Cleo Condoravdi Dick Crouch
- Agenda Control for Heterogeneous Reasoners Reinhard Stolle
- Reasoning about Nonlinear System Identi cation
- MetaProgramming for Generalized Horn Clause Logic Clemens Beckstein 1 and Reinhard Stolle 2 and Gerhard Tobermann 3
- Declarative Meta Level Control for Logic Programs
- Finding Similar Documents in Document Collections Thorsten Brants and Reinhard Stolle
- Mastering complexity through modeling and early prototyping Reinhard Stolle, Christian Salzmann, Tillmann Schumm
- Nick Dempsey, Analyst nick@epsltd.com
- Scalability of Redundancy Detection in Focused Document Collections
- Multimodal Reasoning about Physical Systems Reinhard Stolle and Elizabeth Bradley #
- Finding Similar Documents in Document Collections Thorsten Brants and Reinhard Stolle
- Entailment, Intensionality and Text Understanding Dick Crouch, Cleo Condoravdi, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow
- Third IJCAI Workshop on Engineering Problems for Qualitative Reasoning, Nagoya, Japan, August 1997. Opportunistic Modeling