Dept. of Computer and Information science, Linköping University
Last updated: Tue, 02 Dec 1997 11:02:23
Arborelius, E. and Timpka, T. (1990). In what way may Videotapes be used to get Significant Information about the Patient-Physician Relationship?. Technical Report LiTH-IDA-R-90-40, Department of Computer and Information Science, Linköping University, Sweden. Also published in Medical Teacher 1990;12:194-208, (bibtex).
Bäckström, C. and Klein, I. (1990). Planning in Polynomial Time: The SAS-PUBS Class. This revised version appears in Computational Intelligence 7(3):181-197(1991). Technical Report LiTH-IDA-R-90-16, Department of Computer and Information Science, Linköping University, Sweden. A short version appears in Expert Systems in Engineering: Principles and Applications. International Workshop, pages 103-118, Vienna, Austria, September 1990, (abstract), (bibtex).
Bonnier, S. (1990). Unification in Classes of Equational Theories: A Case Study. Technical Report LiTH-IDA-R-90-11, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Dahlbäck, N. (1990). A Symbol Is Not a Symbol. Technical Report LiTH-IDA-R-90-01, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 11th International Joint Conference on Artificial Intelligence (IJCAI'89), Detroit, Michigan, USA, August 20-25, 1989, (bibtex).
Doherty, P. (1990). A Correspondence between Inheritance Hierarchies and a Logic of Preferential Entailment. Technical Report LiTH-IDA-R-90-09, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of 4th International Symposium on Methodologies for Intelligent Systems, Charlotte, North Carolina, October 1989. Also published in Z. Ras et al. (eds), Methodologies for Intelligent Systems, 1989, (abstract), (bibtex).
Doherty, P. (1990). Preliminary Report: NM3 - A Three-Valued Non-Monotonic Formalism. In J. van Eijck, editor, Logics in AI, European Workshop JELIA '90, Amsterdam, the Netherlands, September 1990, Proceedings, volume 478 of Lecture Notes in Artificial Intelligence, pages 196 - 211, Springer Verlag, 1991. Technical Report LiTH-IDA-R-90-44, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Eklund, P. (1990). Negotiating Conceptual Structures: Inheritance Hierarchies. Technical Report LiTH-IDA-R-90-21, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of 5th Annual Workshop on Conceptual Structures, Boston and Stockholm, August 1990, (abstract), (bibtex).
Eklund, P. (1990). Using Path-algebras to Encode Directed Graph Knowledge-bases. Technical Report LiTH-IDA-R-90-22, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of 4th Annual Workshop on Conceptual Structures, Detroit, August 1989, (bibtex).
Eklund, P. and Kellett, J. (1990). Prospects for Conceptual Graphs in Acquisition Interfaces. Technical Report LiTH-IDA-R-90-23, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of 3rd European Workshop on Knowledge Acquisition, Paris, July 1989, (abstract), (bibtex).
Fjellborg, B. (1990). A High-Level Synthesis Tool for Exploiting Pipelines in Special-Purpose Systems. Technical Report LiTH-IDA-R-90-14, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the IFIP WG 10.5 Working Conference on Logic and Architecture Synthesis, Paris, France, May 30 - June 1, 1990, (abstract), (bibtex).
Fjellborg, B. (1990). A Petri Net Model for Pipeline Scheduling. Technical Report LiTH-IDA-R-90-19, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc of the 16th EUROMICRO Symposium on Microprocessing and Microprogramming, Short Note Session, Amsterdam, The Netherlands, August 1990. Also published in Microprocessing and Microprogramming, Vol 31, pp 121 - 124, 1991, (abstract), (bibtex).
Fritzson, P., Gyimothy, T., Kamkar, M., and Shahmehri, N. (1990). Generalized Algorithmic Debugging and Testing. Technical Report LiTH-IDA-R-90-42, Department of Computer and Information Science, Linköping University, Sweden. Also accepted to SIGPLAN'91 Conference on Programming Language Design and Implementation, Toronto, Ontario, Canada June, 1991. Proc in SIGPLAN Notices 26:6, June 1991 and has been accepetd to the journal: ACM LOPLAS-ACM Letters of Programming Languages and Systems, (abstract), (bibtex).
Goldkuhl, G. (1990). Förändringsanalys på vårdcentral - erfarenheter från en organisationsutveckling. Technical Report LiTH-IDA-R-90-08, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Holmgren, H. and Timpka, T. (1990). Systems Development in Health Care as Action Research. Technical Report LiTH-IDA-R-90-39, Department of Computer and Information Science, Linköping University, Sweden. Also published in Medical Informatics in Europe ' 90, Springer Verlag, Berlin, 1990, (abstract), (bibtex).
Jirku, P. (1990). Defeasible Reasoning. Technical Report LiTH-IDA-R-90-10, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Jirkuu", P. (1990). On Consequence and Inference Operations. Technical Report LiTH-IDA-R-90-24, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Kamkar, M. and Fritzson, P. (1990). Focusing the Bug Localization Process in Algorithmic Debugging through Program Slicing. Technical Report LiTH-IDA-R-90-04, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of PLILP'90, Linköping, Augusti 1990, LNCS 456, Springer-Verlag 1990, (abstract), (bibtex).
Larsson, T. (1990). The Symbolic Manipulation of Event Traces. Technical Report LiTH-IDA-R-90-28, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the ACM/IFIP 1991 International Workshop on Formal Methods in VLSI Design, Miami, 9-11 Jan, 1991, (abstract), (bibtex).
Löwgren, J. and Nordqvist, T. (1990). A Knowledge-Based Tool for User Interface Evaluation and its Integration in a UIMS. Technical Report LiTH-IDA-R-90-15, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of Interact'90, Cambridge, UK, August 27-31, 1990 and will appear in the August issue of Computational Intelligence, (abstract), (bibtex).
Nilsson, U. (1990). Towards a Methodology for the Design of Abstract Machines of Logic Programming Languages. Technical Report LiTH-IDA-R-90-12, Department of Computer and Information Science, Linköping University, Sweden. Also accepted for publication in the Journal of Logic Programming, (bibtex).
Padgham, L. (1990). Defeasible Inheritance: A Lattice Based Approach. Technical Report LiTH-IDA-R-90-25, Department of Computer and Information Science, Linköping University, Sweden. Also published in Mathematics and Computers with Applications International Journal special issue on Semantic Nets in Artificial Intelligence, (bibtex).
Peng, Z. (1990). Design of Clocking Schemes in High-Level Synthesis. Technical Report LiTH-IDA-R-90-46, Department of Computer and Information Science, Linköping University, Sweden. This report will be published in Microprocessing and Microprogramming the EUROMICRO Journal, Vol. 1, 1991, (abstract), (bibtex).
Persson, T. and Staflin, L. (1990). A Causation Theory for a Logic of Continuous Change. Technical Report LiTH-IDA-R-90-18, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of ECAI'90, European Conference on Artificial Intelligence, Stockholm, Sweden, August 6-10, 1990, (abstract), (bibtex).
Persson, T. and Staflin, L. (1990). Cause as an Operator in a Logic with Real-valued Fluents and Continuous Time. Technical Report LiTH-IDA-R-90-45, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Pettersson, M. (1990). DML - a Meta-Language for Compiler Generation from Denotational Specifications. Technical Report LiTH-IDA-R-90-43, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Pettersson, M. (1990). Generating Efficient Code from Continuation Semantics. Technical Report LiTH-IDA-R-90-05, Department of Computer and Information Science, Linköping University, Sweden. Presented at the 3rd International Workshop on Compiler Compilers, Schwerin, GDR, October 22-26, 1990. Proc. will appear in the LNCS series by Springer Verlag 1991, (abstract), (bibtex).
Ringström, J. (1990). PREDULA - A Multi-Paradigm Parallel Programming Environment. Technical Report LiTH-IDA-R-90-41, Department of Computer and Information Science, Linköping University, Sweden. Accepted to EuroMicro 91 Conference, Short note session, Vienna, Sept 1991. Proc. in a special issue of the EuroMicro Journal, (abstract), (bibtex).
Rönnquist, R. (1990). A Logic for Propagation Based Characterisation of Process Behaviour. Technical Report LiTH-IDA-R-90-27, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the International Symposium on Methodologies for Intelligent Systems (ISMIS), October 24.27, 1990, (abstract), (bibtex).
Timpka, T. (1990). Introducing Hypertext in Primary Health Care: - A Study on the Feasibility of Decision Support for Practitioners. Technical Report LiTH-IDA-R-90-35, Department of Computer and Information Science, Linköping University, Sweden. Also published in Comp Prog Biomed 1989;29:1-13, (bibtex).
Timpka, T. and Arborelius, E. (1990). The GP's Dilemmas: A Study of Knowledge Need and Use During Health Care Consultations. Technical Report LiTH-IDA-R-90-30, Department of Computer and Information Science, Linköping University, Sweden. Also published in Methods of Information in Medicine 1990;29:23-29, (bibtex).
Timpka, T. and Arborelius, E. (1990). The Primary Care Nurse's Dilemmas: A Study of Knowledge Use and Need DuringTelephone Consultations. Technical Report LiTH-IDA-R-90-31, Department of Computer and Information Science, Linköping University, Sweden. Also published in Journal of Advanced Nursing 1990, (bibtex).
Timpka, T. and Bjurulf, P. (1990). The Semantics of Diagnosis and Management of Genitourinary Infections -- A Cross-speciality Study. Technical Report LiTH-IDA-R-90-37, Department of Computer and Information Science, Linköping University, Sweden. Also published in Family Practice 1989;6:279-85, (bibtex).
Timpka, T., Bjurulf, P., and Buur, T. (1990). Audit of Decision-making Regarding Female Genitourinary Infections in Outpatient Practice. Technical Report LiTH-IDA-R-90-29, Department of Computer and Information Science, Linköping University, Sweden. Also published in Scand. J Inf Dis 1990;22:49-57, (abstract), (bibtex).
Timpka, T. and Buur, T. (1990). Inter-observer Variation in Decision-making Regarding Patients on Chronic Hemodialysis: A Study Using the Kappa Index. Technical Report LiTH-IDA-R-90-36, Department of Computer and Information Science, Linköping University, Sweden. Also published in Methods of Information in Medicine 1990;29:153-7, (abstract), (bibtex).
Timpka, T., Ekström, M., and Bjurulf, P. (1990). Information Needs and Information Seeking Behaviour in Primary Health Care. Technical Report LiTH-IDA-R-90-34, Department of Computer and Information Science, Linköping University, Sweden. Also published in Scand J Prim Health Care 1989;7:105-9, (abstract), (bibtex).
Timpka, T., Hedblom, P., and Holmgren, H. (1990). Action Design: Using an Object Oriented Environment for Group Process Development of Medical Software. Technical Report LiTH-IDA-R-90-32, Department of Computer and Information Science, Linköping University, Sweden. To be published in Software Engineering in Medical Informatics, Elsevier, Amsterdam, 1991, (bibtex).
Timpka, T., Hedblom, P., and Tibblin, G. (1990). A Hypermedia Document Collection For Primary Care: Why, What, and How. Technical Report LiTH-IDA-R-90-38, Department of Computer and Information Science, Linköping University, Sweden. Also published in Artificial Intelligence in Medicine 1990;2:179-92, (bibtex).
Timpka, T., Padgham, L., Hedblom, P., Wallin, S., and Tibblin, G. (1990). A Hypertext Knowledge Base for Primary Care - LIMEDS in LINCKS. Technical Report LiTH-IDA-R-90-33, Department of Computer and Information Science, Linköping University, Sweden. Also published in Proc. of SIGIR ' 89, ACM Press, New York, 1989, (bibtex).
Törne, A. (1990). The Instruction and Control of Multi-Machine Environments. Technical Report LiTH-IDA-R-90-07, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of 5th Int'l Conf on Applications of Artificial Intelligence in Engineering, vol. 2, Springer Verlag, (abstract), (bibtex).
Ubar, R., Kuchcinski, K., and Peng, Z. (1990). Test Generation for Digital Systems at Functional Level. Technical Report LiTH-IDA-R-90-06, Department of Computer and Information Science, Linköping University, Sweden. Also presented at the European Test Conference, Munich, April 10-12, 1991, (abstract), (bibtex).
Waern, Y., Hägglund, S., Löwgren, J., Rankin, I., Sokolnicki, T., and Steinemann, A. (1990). Communication Knowledge for Knowledge Communication. Technical Report LiTH-IDA-R-90-17, Department of Computer and Information Science, Linköping University, Sweden. Accepted for publication in Int. Journal of Man-Machine Studies, (bibtex).
Wedlin, M. (1990). Interface between UNIX and Hypercard. Technical Report LiTH-IDA-R-90-03, Department of Computer and Information Science, Linköping University, Sweden. Also presented at EUUG Spring Conference '90, Munich, FRG, April 23-27, 1990, (abstract), (bibtex).
Wire'n, M. (1990). Incremental Parsing and Reason Maintenance. Technical Report LiTH-IDA-R-90-26, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of 3rd International Conference on computational Linguistics, August 20-25, 1990, Helsinki, Finland, Vol 3, 287-292, (bibtex).
Zhang, T. and Padgham, L. (1990). A Diagnosis System Using Classification. Technical Report LiTH-IDA-R-90-13, Department of Computer and Information Science, Linköping University, Sweden. Also presented at the 5th International Symposium on Methodologies for Intelligent Systems, IMIS'90, Knowville, Tennessee, USA, October 24-26, (abstract), (bibtex).