IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports, 1992

Last updated: Tue, 02 Dec 1997 11:02:34


Andersson, N. and Fritzson, P. (1992). Comparative Evaluation and Industrial Application of Code Generator Generators. Technical Report LiTH-IDA-R-92-06, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Auguston, M. and Fritzson, P. (1992). Parforman-an Assertion Language for Specifying Behaviour when Debugging Parallel Applications. Technical Report LiTH-IDA-R-92-16, Department of Computer and Information Science, Linköping University, Sweden. Has been accepted to the EuroMicro workshop on Parallel and Distributed Processing, Januari 1993, (abstract), (bibtex).

Bäckström, C. (1992). Planning with Partical States in O(n2) Time: The SAS+-PUS Planning Problem. Technical Report LiTH-IDA-R-92-05, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Busch, D. (1992). Sequent Formalizations of Three-valued Logic. Technical Report LiTH-IDA-R-92-13, Department of Computer and Information Science, Linköping University, Sweden. Accepted: revised version of " An Intuitionistic Three-valued Logic" delivered at the Logic Programming in AI First Compulog-Net Workshop, 23-24 March 1992, Imperial College London. Is going to be presented at the Nordic Workshop and Summer School on Partial Semantics and Non-Monotonic Reasoning for Knowledge Representation, May 25-29 at Linkoping, (bibtex).

Dahlbäck, N. and Jönsson, A. (1992). An Empirically Based Computationally Tractable Dialogue Model. Technical Report LiTH-IDA-R-92-32, Department of Computer and Information Science, Linköping University, Sweden. Also in the proceedings of the 14th Annual Conference of the Cognitive Science Society (COG SCI-92), Bloomington, Indiana, July 29th to August 1st, (bibtex).

Dahlbäck, N., Jönsson, A., and Ahrenberg, L. (1992). Wizard of Oz-studies - why and how. Technical Report LiTH-IDA-R-92-19, Department of Computer and Information Science, Linköping University, Sweden. Has been accpted to the International Workshop on Intelligent User Interfaces, Orlando, Florida, Januari, 4-7, 1993, (abstract), (bibtex).

Doherty, P. (1992). A Constraint-Based Approach to Proof Procedures for Multi-Valued Logics. Technical Report LiTH-IDA-R-92-02, Department of Computer and Information Science, Linköping University, Sweden. Also published in 1st World Conference on the Fundamentals of Artificial Intelligence, Paris, France, 1-5 July 1991, (abstract), (bibtex).

Doherty, P., Driankov, D., and Hellendoorn, H. (1992). Fuzzy If-Then-Unless Rules and their Implementa tion. Technical Report LiTH-IDA-R-92-21, Department of Computer and Information Science, Linköping University, Sweden. Extended Version of a Paper accepted at InternationalConference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU'92 Palma de Mallorca, July 6-10, 1992, (abstract), (bibtex).

Doherty, P., Driankov, D., and Tsoukias, A. (1992). Partiality, Åara-consistency and Preference Modeling : Preliminary Version. Technical Report LiTH-IDA-R-92-18, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Doherty, P. and Lukaszewicz, W. (1992). FONML3 - A First-Order Non-monotonic Logic with Explicit Defaults. Technical Report LiTH-IDA-R-92-20, Department of Computer and Information Science, Linköping University, Sweden. This is an extended version of a paper published in the Proceedings of the 10th European Conference on Artificial Intelligence (ECAI 92), Vienna, Austria, Aug 3-7, 1992, (abstract), (bibtex).

Eles, P., Kuchcinski, K., Peng, Z., and Minea, M. (1992). Compiling VHDL into a High-Level Synthesis Design Representation. Technical Report LiTH-IDA-R-92-04, Department of Computer and Information Science, Linköping University, Sweden. Also has been accepted for presentation at the EURO-DAC ( EURO- Design Automation Conference), Hamburg, Germany, September 7-10, 1992. Was selected as the Best Paper of the EURO-DAC/VHDL conference in Hamburg, Germany, (abstract), (bibtex).

Fagerström, J., Fritzson, P., and Pettersson, J. R. M. (1992). A Data-Parallel Language and its Compilation to a Formally Defined Intermediate Language. Technical Report LiTH-IDA-R-92-15, Department of Computer and Information Science, Linköping University, Sweden. In Proceedings of 4th International Conference on Computing and Information, ICCI'92, Toronto may 28-30, 1992, (abstract), (bibtex).

Fahl, G. (1992). Integration of Heterogeneous Databases in a Mediator Architecture. Technical Report LiTH-IDA-R-92-23, Department of Computer and Information Science, Linköping University, Sweden. Also in the Proceedings of the Third Annual IDAConference on Computer and Information Science Linköping University, Sweden, March 1992, (abstract), (bibtex).

Goldkuhl, G. (1992). Information Systems Design as Argumentation - An Investigation into Design Rationale as a Conceptualization of Design. Technical Report LiTH-IDA-R-92-40, Department of Computer and Information Science, Linköping University, Sweden. Accepted to the 14th IRIS (Information Systems Research Seminar in Scandinavia), Umeå, 11-14 August 1991, (abstract), (bibtex).

Goldkuhl, G. (1992). Stöd och Struktur i Systemutvecklingsprocess. Technical Report LiTH-IDA-R-92-41, Department of Computer and Information Science, Linköping University, Sweden. Accepterad till " Systemutveckling i praktisk belysning" Dataföreningen, Norrköping, 19 november 1991, (abstract), (bibtex).

Goldkuhl, G. and Röstlinger, A. (1992). Att bygga in verksamhetskvalitet i informationssystem. Acceptera till Konferens " Sundsvall 42" , Dataföreningen, Sundsvall, 15-17 oktober 1991. Technical Report LiTH-IDA-R-92-39, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Hirsch, R. (1992). About Belief: Representation of Content, Change and Development. Technical Report LiTH-IDA-R-92-29, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Holmgren, H., Timpka, T., Goldkuhl, G., Nyce, J., and Sjöberg, C. (1992). Argumentative Design of Medical Software: an Essentional Part of Action Design. Technical Report LiTH-IDA-R-92-28, Department of Computer and Information Science, Linköping University, Sweden. Accepted to the MEDINFO'92, Geneva, Switzerland, September 1992, (abstract), (bibtex).

Lambrix, P. (1992). Management of Historical Information of Composite Objects, 1992. (Master Thesis No 1). Technical Report LiTH-IDA-R-92-11, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Larsson, T. I. and Vainio-Larsson, A. A. (1992). Software Producers as Software Users. Technical Report LiTH-IDA-R-92-08, Department of Computer and Information Science, Linköping University, Sweden. Presented at NATO Workshop on Software Requirement for Software Environments, Touluse, France, 5-11 september 1991, (abstract), (bibtex).

Litwin, W. and Risch, T. (1992). Main Memory Oriented Optimization of OO Queries using Typed Datalog with Foreign Predicates. Technical Report LiTH-IDA-R-92-24, Department of Computer and Information Science, Linköping University, Sweden. Accepted for publication in IEEE Transactions on Knowledge and Data Engineering and accepted to IEEE Transactions on Knowledge and Data Engineering in a special section on main memory databases, (abstract), (bibtex).

Malec, J. (1992). Complex Behavior Specification for Autonomous Systems, 1992. Technical Report LiTH-IDA-R-92-14, Department of Computer and Information Science, Linköping University, Sweden. Accepted to IEEE International Symposium on Intelligent Control'92, Glasgow, Scotland, august 11-13, 1992, (bibtex).

Malec, J. (1992). Process Transition Networks: The Final Report. Technical Report LiTH-IDA-R-92-07, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Merkel, M. (1992). Recurrent Patterns in Technical Documentation. Technical Report LiTH-IDA-R-92-31, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Näslund, T. (1992). Evaluation as a Means for Improving Development of Decision of Support Systems. Technical Report LiTH-IDA-R-92-01, Department of Computer and Information Science, Linköping University, Sweden. Presented at Doctoral Consortium, 11th International Conference on Information Systems, Copenhagen, Denmark, December 17-19, 1990, (abstract), (bibtex).

Nilsson, H. and Fritzson, P. (1992). Algorithmic Debugging for Lazy Functional Languages. Technical Report LiTH-IDA-R-92-17, Department of Computer and Information Science, Linköping University, Sweden. In Proceedings of PLILP'92, Symposium on Programming Language Implementation and Logic Programming, LNCS, Springer Verlag, Leuven, Belgium, August 26-28, 1992. Accepted to the Journal of Functional Programming, 1993, (abstract), (bibtex).

Persson, J. (1992). Generation of Multi-Resolution Maps. Technical Report LiTH-IDA-R-92-33, Department of Computer and Information Science, Linköping University, Sweden. Awarded the prize " Lilla Polhemspriset" 1992, (abstract), (bibtex).

Peter, Loborg, Holmbom, P., Sköld, M., and Törne, A. (1992). A Model for the Execution of Task Level Specifications for Intelligent and Flexible Manufacturing Systems. Technical Report LiTH-IDA-R-92-22, Department of Computer and Information Science, Linköping University, Sweden. Accepted at the V International Symposium on Artificial Intelligence, ISAI92, Cancun, Mexico, Dec 7-11, 1992. Accepetd for publication in Integrated Computer-Aided Engineering (special issue about AI in Manufactoring and Robotics), (bibtex).

Pettersson, M. (1992). A Term Pattern-Match Compiler Inspired by Finite Automata Theory. Technical Report LiTH-IDA-R-92-09, Department of Computer and Information Science, Linköping University, Sweden. Also in the proceedings of The 4th International Conference on Compiler Construction (CC'92), Paderborn, Germany, October 5-7, 1992, LNCS-641, Springer Verlag, (abstract), (bibtex).

Risch, T. and Sköld, M. (1992). Active Rules based on Object-Oriented Queries. Technical Report LiTH-IDA-R-92-35, Department of Computer and Information Science, Linköping University, Sweden. To be published in special issue on Active Databases in IEEE Data Engineering, (abstract), (bibtex).

Sandewall, E. (1992). Causal Qualification and Structure-Based Ramification. Technical Report LiTH-IDA-R-92-42, Department of Computer and Information Science, Linköping University, Sweden. Accepted to The Second Symposium on Logical Formalizations of Commonsense Reasoning, Austin, TX, USA, January 11-13, 1993, (bibtex).

Sandewall, E. (1992). Features and Fluents. A Systematic Approach to the Representation of Knowledgr about Dynamical Systems. Technical Report LiTH-IDA-R-92-30, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Shu, H. (1992). A Preferential Logic for Reasoning with Goals and Intentions. Technical Report LiTH-IDA-R-92-34, Department of Computer and Information Science, Linköping University, Sweden. Accepted to LOGIC & CHANGE workshop at GWAI'92, Bonn september 3th 1992, (abstract), (bibtex).

Sjöberg, C., Timpka, T., Nyce, J. M., Peolsson, M., and af Klercker, T. (1992). From Clinical Literature to MedicalHypemedia : Procedures and Experiences. Technical Report LiTH-IDA-R-92-25, Department of Computer and Information Science, Linköping University, Sweden. Also Accepted to MEDINFO'92, Geneva, Switzerland, September 92, (abstract), (bibtex).

Strömberg, J.-E., Söderman, U., and Top, J. (1992). Bond Graph Supported Estimation of Discretely Changing Parameters. Technical Report LiTH-IDA-R-92-37, Department of Computer and Information Science, Linköping University, Sweden. Accepted to 1992 International Conference on Bond Graph Modeling and Simulation ICBGM 93, San Diego, USA, Januari 1993, (abstract), (bibtex).

Strömberg, J.-E., Top, J., and Söderman, U. (1992). Modelling Mode Switching in Dynamical Systems. Technical Report LiTH-IDA-R-92-38, Department of Computer and Information Science, Linköping University, Sweden. Accepted to ECC-93 - 2nd European Control Conference, Gröningen, Holland, (abstract), (bibtex).

Strömberg, J.-E., Top, J., and Söderman, U. (1992). Variable Causality in Bond Graphs Caused by Discrete Effects. Technical Report LiTH-IDA-R-92-36, Department of Computer and Information Science, Linköping University, Sweden. Accepted to 1993 International Conference on Bond Graph Modeling and Simulation ICBGM 93, San Diego, USA, Januari 1993, (abstract), (bibtex).

Timpka, T. and Nyce, J. M. (1992). Towards a Pragmatics for Medical Hypermedia Systems. Technical Report LiTH-IDA-R-92-26, Department of Computer and Information Science, Linköping University, Sweden. Accepted to the MEDINFO'92 Geneva, Switzerland, September 1992, (bibtex).

Timpka, T., Nyce, J. M., Sjöberg, C., Hedblom, P., and Lindblom, P. (1992). Developing a Clinical Hypermedia Corpus: Experiences from the use of a Practice-centered Method. Technical Report LiTH-IDA-R-92-27, Department of Computer and Information Science, Linköping University, Sweden. Accepted to SCAMC'92, Baltimore, Maryland, November 1992, (abstract), (bibtex).

Ubar, R. (1992). Functional Level Testability Analysis for Digital Circuits. Technical Report LiTH-IDA-R-92-03, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).


Goto (at Linköping University):
CS Dept TR Overview
Maintained by webmaster