Title |
Authors |
Contact Information |
|---|---|---|
| Spatial Aggregation: language and applications | Christopher Bailey-Kellogg, Feng Zhao, and Kenneth Yip |
Feng Zhao (corresponding author):
Computer and Information Sciences The Ohio State University 2015 Neil Ave. Columbus, Ohio 43210 U.S.A. e-mail: fz@cis.ohio-state.edu |
| Temporal Constraints on Trajectories in Qualitative Simulation | Giorgio Brajnik and Daniel J. Clancy |
Giorgio Brajnik: Dip. di Matematica e Informatica Universita di Udine Udine - Italy e-mail: giorgio@dimi.uniud.it Daniel J. Clancy: Department of Computer Science University of Texas at Austin Austin, Texas 78712 e-mail: clancy@cs.utexas.edu |
| The Need for Qualitative Reasoning in Automated Modeling: a case study | Antonio C. Capelo, Liliana Ironi, Stefania Tentoni |
Institute di Analisi Numerica del C.N.R. Pavia, Italy Liliana Ironi: e-mail: liliana@supers1.ian.pv.cnr.it |
| Qualitative Phasor Analysis | Juan Flores and Art Farley |
Computer and Information Science Department University of Oregon Eugene, Oregon, 97403 phone: (503) 346-4416 fax: (503) 683-5373 e-mail: juan@cs.uoregon.edu |
| Adaptive Modeling | Ashok K. Goel |
College of Computing Georgia Tech University Atlanta, GA 03332-0280 e-mail: goel@cc.gatech.edu |
| Transformation of Qualitative Dynamic Models - Application in Hydro Ecology | Ulrich Heller, Peter Struss |
Department of Computer Science Technical University of Munich Orleanstr. 34, 81667 Muenchen, Germany e-mail: {heller,struss}@informatik.tu-muenchen.de |
| Reasoning About Structure of Interval Systems: An Approach by Sign Directed-Graph | Yoshiteru Ishida and Atusi Nogi |
Nara Institute of Science and Technology Ikoma, Nara, 630-01 Japan e-mail: ishida@is.aist-nara.ac.jp |
| Qualitative Reasoning in Tutoring Interactions | Kees de Koning and Bert Bredeweg |
Department of Social Science Informatics (S.W.I.) University of Amsterdam Roetersstraat 15 1018 WB Amsterdam The Netherlands e-mail: kees@swi.psy.uva.nl |
| A Qualitative Model of Physical Fields | Monika Lundell |
Artificial Intelligence Laboratory Computer Science Department Swiss Federal Institute of Technology IN-Ecublens, 1015 Lausanne Switzerland e-mail: lundell@lia.di.epfl.ch |
| Diagnosis of Dynamic Systems Does Not Necessarily Require Simulation | Andreas Malik and Peter Struss |
Munich, University of Technology Orleanstr. 34, D-81667 Munich Germany WWW: http://wwwradig.informatik.tu-muenchen.de/forschung/qreason/ e-mail: {malik,struss}@informatik.tu-muenchen.de |
| Comprehending Complex Behavior Graphs Through Abstraction | Richard S. Mallory, Bruce W. Porter, and Benjamin J. Kuipers |
Department of Computer Sciences The University of Texas at Austin Austin, TX 78712 e-mail: {mallory, porter, kuipers}@cs.utexas.edu |
| How to Guide Qualitative Reasoning about Electrical Circuits by Series-Parellel Trees | Jakob Mauss and Bernd Neumann |
Jakob Mauss: DAIMLER-BENZ AG, Forschung F1M/EK D-70546 Stuttgart phone: +49 711 17 41247 fax: +49 711 17 41717 e-mail: mauss@informatik.uni-hamburg.de Bernd Neumann: Labor fuer Kuenstliche Intelligenz (LKI) Wogt-Koelln-Str. 30, 22527 Hamburg e-mail: neumann@informatik.uni-hamburg.de |
| Context-Sensitive and Expectation-Guided Temporal Abstraction of High-Frequency Data | Silvia Miksch, Werner Horn, Christian Popow, Franz Paky |
Silvia Miksch: Austrian Research Institute for Artificial Intelligence Schottengasse 3, A-1010 Vienna, Austria (Currently at Knowledge Systems Laboratory, Stanford University) e-mail: miksch@ksl.stanford.edu Werner Horn: Department of Medical Cybernetics and Artificial Intelligence University of Vienna Freyung 6, A-1010 Vienna, Austria Christian Popow: NICU, Division of Neonatology, Department of Pediatrics University of Vienna Waehringer Guertel 18-20, A-1090 Vienna, Austria e-mail: christian.popow@vm.akh-wien.ac.at Franz Paky: Department of Pediatrics, Hospital of Moedling Weyprechtgasse 12, A-2340 Moedling, Austria |
| Backward Qualitative Simulation of Structural Model for Strategy Planning | Takenao Ohkawa, Shinya Hata, and Norihisa Komoda |
Department of Informations Systems Engineering Paculty of Engineering, Osaka University 2-1, Yamadaoka, Suita, Osaka 565, Japan phone: +81-6-879-7826 fax: +81-6-879-7827 e-mail: ohkawa@ise.eng.osaka-u.ac.jp |
| Using Qualitative Representations in Controlling Engineering Problem Solving | Yusuf Pisan |
Northwestern University Institute for the Learning Sciences 1890 Maple Ave., STE 300 Evanston, IL 60201-31050 e-mail: y-pisan@nwu.edu |
| Model-based Automatic Generation of Sequence Control Programs from Design Information | T. Sakao, Y. Umeda, T. Tomiyama, and Y. Shimomura |
T. Sakao, Y. Umeda, and T. Tomiyama:
Graduate School of Engineering, the University of Tokyo Hongo 7-3-1, Bunkyo-ku, Tokyo 113, Japan e-mail: (sakao, umeda, tomiyama)@zzz.pe.u-tokyo.ac.jp Y. Shimomura: Mita Industrial Co., Ltd. Tamtsukuri 1-2-28, Chuo-lu, Osaka 540, Japan e-mail: simomura@mita.co.jp |
| Development of Self-Maintenance Photocopiers | Y. Shimomura, K. Ogawa, S. Tanigawa, Y. Umeda, and T. Tomiyama |
Y. Shimomura, K. Ogawa, and S. Tanigawa: Mita Industrial Co., Ltd. Tamtsukuri 1-2-28, Chuo-lu, Osaka, Japan e-mail: {simomura, ogawa, tanigawa}@mita.co.jp Y. Umeda, and T. Tomiyama: Graduate School of Engineering, the University of Tokyo Hongo 7-3-1, Bunkyo-ku, Tokyo, Japan e-mail: {umeda, tomiyama}@zzz.pe.u-tokyo.ac.jp |
| A Customized Logic Paradigm for Reasoning About Models | Reinhard Stolle and Elizabeth Bradley |
University of Colorado at Boulder Department of Computer Science Boulder, CO 80309-0430 e-mail: {stolle, lizb}@cs.colorado.edu |
| Constraint Logic Programming - a Framework for Qualitative Reasoning | Laszlo Teleki |
Institut fuer Photogrammetrie Universitaet Bonn Nussallee 15, 53115 Bonn e-mail: laszlo@ipb.uni-bonn.de |
| Scale-Based Reasoning on Possible Law Equations | Takashi Washio and Hiroshi Motada |
Takashi Washio: Research Center for Safety Science, Mitsubishi Research Institute, Inc. 2-3-6, Otemachi, Chiyoda-ku, Tokyo 100, Japan e-mail: washio@mri.co.jp Hiroshi Motoda Institute of Scientific and Industrial Research, Osaka University 8-1 Mihogaoka, Ibaraki, Osaka 567, Japan e-mail: motada@isir2.sanken.osaka-u.ac.jp |
| A Model-Based Approach to Reactive Self-Configuring Systems | Brian C. Williams and P. Pandurang Nayak |
Computational Sciences Division MS 269-2 NASA Ames Research Center Moffeyt Field, CA 94305 e-mail: {williams, nayak}@ptolemy.arc.nasa.gov |
| Automated Decomposition of Model-based Learning Problems | Brian C. Williams and Bill Millar |
Computational Sciences Division MS 269-2 NASA Ames Research Center Moffeyt Field, CA 94305 e-mail: {williams, millar}@ptolemy.arc.nasa.gov |
| Using Qualitative Correlations as Evidence of Uncertain Reasoning | Qi Zhao and Toyoaki Nishida |
Graduate School of Ingormation Science Nara Institute of Science and Technology 8916-5, Takayama, Ikoma, Nara 630-01, Japan e-mail: {qi-zhao, nishida}@is.aist-nara.ac.jp |
| Observation Filtering: From Qualitative Simulation to Qualitative Observer | Z. Zhuang, P.M. Frank |
Measurement and Control Department University of Duisburg Bismarckstrasse 81BB, 47048 Duisburg Germany e-mail: sl041zh@e45-hrze.uni-duisburg.de |
| Transition-based Qualitative Simulation | J.M. Gooday and A.G. Cohn |
Artificial Intelligence Division School of Computer Science University of Leeds Leeds LS2 9JT, UK e-mail: {gooday, agc}@scs.leeds.ac.uk |
| A Qualitative Reasoning Approach to Chemical Process Design | Ioa S. Gavrila, Bert Bredeweg, Piet Iedema |
Ioa S. Gavrila and Piet Iedema: Department of Chemical Engineering University of Amsterdam Nieuwe Achtergracht 166 1018 WV Amsterdam e-mail: ioa@chemeng.chem.uva.nl Bert Bredeweg: Department of Social Science Informatics University of Amsterdam Roetersstraat 15 1018 WB Amsterdam e-mail: swi.psy.uva.nl |
| A Hierarchy of Qualitative Representations for Space | Benjamin Kuipers |
Computer Science Department University of Texas at Austin Austin, TX 78712 e-mail: kuipers@cs.utexas.edu |
| A Compositional Modeling Language | Adam Farquhar, Yumi Iwasaki, Richard Fikes, Daniel Bobrow | e-mail: {iwasaki,axf,fikes,bobrow}@ksl.stanford.edu |
| Qualitative Models in Ecology and Their Use in Intelligent Tutoring Systems | Paulo S.B.A. Salles, Robert I. Muetzelfeldt, and Helen Pain |
Paulo S.B.A. Salles and Robert I. Muetzelfeldt: Institute of Ecology and Resource Management University of Edinburgh Darwin Building, King's Buildings, Mayfield Road Edinburgh, EH9 3JU, U.K. Helen Pain: Department of Artificial Intelligence Univerisity of Edinburgh 80, South Bridge, Edinburgh, EH1 1HN, U.K. e-mail: psalles@festival.ed.ac.uk |
| Interpreting Simulation with Functional Labels | Chris Price and David Pugh |
Department of Computer Science University of Wales, Aberystwyth Dyfed, SY23 3DB, UK e-mail: cjp@aber.ac.uk |
| Analyzing Discontinuities in Physical System Models | Pieter J. Mosterman, Gautam Biswas |
Pieter Mosterman: Department of Electrical and Computer Engineering Gautam Biswas: Department of Computer Science Box 1679, Sta B Vanderbilt University Nashville, TN 37235 e-mail: {pjm, biswas}@vuse.vanderbilt.edu |
| Inference of Local Wind Using Qualitative Reasoning | Satoru Oishi and Shuichi Ikebuchi |
Disaster Prevention Research Institute, Kyoto University Gokasho, Uji, Kyoto 611, Japan e-mail: tetsu@wrcn2.dpri.kyoto-u.ac.jp |
| Qualitative Reasoning for Automated Traffic Surveillance | Jonathan H. Fernyhough |
Division of Artificial Intelligence School of Computer Studies University of Leeds, Leeds, LS2 9JT e-mail: jfern@scs.leeds.ac.uk |
| Practical Application of Stochastic Qualitative Reasoning to Fault Detection of Building Air Conditioning Systems | Masaki Yumoto, Takenao Ohkawa, Norihisa Komodo, Fusachika Miyasaka |
Masaki Yumoto, Takenao Ohkawa, Norihisa Komodo: Department of Information Systems Engineering Faculty of Engineering, Osaka University 2-1, Yamadaoka, Suita, Osaka 565, Japan phone: +81-6-879-7822 fax: +81-6-879-7827 e-mail: {yumoto, ohkawa, komodo}@ise.eng.osaka-u.ac.jp Fusachika Miyasaka: Marketing & Engineering Group, Building Systems Division Yamatake Honeywell Corporation 2-12-19, Shibuya, Shibuya-ku, Tokyo 150, Japan phone: +81-3-3486-2523 fax: +81-3-3486-0648 |
| Self-Explanatory Simulators for Middle-School Science Education | Kenneth D. Forbus |
Qualitative Reasoning Group The Institute for the Learning Sciences Northwestern University 1890 Maple Avenue Evanston, IL, 60201, USA e-mail: forbus@ils.nwu.edu |
| Formulation of qualitative knowledge obtained from quantitative simulation of mechanisms | Vladimir A. Vissikirsky |
10, Ouzhvy St., apt. 94, Kiev 254108, Ukraine phone: 38-044-4602635 e-mail: vis@mathmod.ms.kiev.ua |