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

IDA Technical Reports, 1993

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


Andersson, J. and Helander, B. (1993). Ekonomistyrning för små företag. Technical Report LiTH-IDA-R-93-37, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Bäckström, C. and Nebel, B. (1993). Complexity Results for SAS+ Planning. Technical Report LiTH-IDA-R-93-34, Department of Computer and Information Science, Linköping University, Sweden. A short version of this report appears in the Proceedings of the 13th International Conference on Artificial Intelligence, Chambery, France, Aug 29 - Sep 3, 1993, (abstract), (bibtex).

Bennet, T., Helander, B., Ollinen, J., and Villegas, J. (1993). Business Modelling. Technical Report LiTH-IDA-R-93-24, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Berggrund, T., Larsen, K., Moberg, A., and Saven, B. (1993). Business Modelling - integration av metoder för affärs- och systemutveckling. Technical Report LiTH-IDA-R-93-25, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Blom, S., Mattsson, L., and Noghabai, M. (1993). Business Modelling en studie av förändringsprocesser från strategisk planering till systemutveckling. Technical Report LiTH-IDA-R-93-26, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Bol, R. and Degerstedt, L. (1993). The Underlying Search for Magic Templates and Tabulation. 1993. Technical Report LiTH-IDA-R-93-01, Department of Computer and Information Science, Linköping University, Sweden. Has been accepted at the International Conference on Logic Programming, Budapest, June 1993, (abstract), (bibtex).

Boye, J., Paakki, J., and Maluszynski, J. (1993). Dependency-Based Groundness Analysis of Functional Logic Programs. Technical Report LiTH-IDA-R-93-20, Department of Computer and Information Science, Linköping University, Sweden. A short version accepted to PLILP'93 under the title Avoiding dynamic delays in functional logic programs, Tallinn, Estonia, August 26-28, 1993, (abstract), (bibtex).

Brolin, A., Cronholm, S., and Fristedt, D. (1993). Business Modelling. Technical Report LiTH-IDA-R-93-41, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).

Brolin, A., Cronholm, S., and Fristedt, D. (1993). Business Modelling - en empirisk studie. Technical Report LiTH-IDA-R-93-40, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Cheikes, B. A. (1993). Methodological Issues in the Design of Intelligent and Cooperative Information Systems. Technical Report LiTH-IDA-R-93-03, Department of Computer and Information Science, Linköping University, Sweden. Accepted to Proceedings of the First International Conference on Intelligent and Cooperative Information, Rotterdam, Maj 12-14, 1993, (abstract), (bibtex).

Cheikes, B. A. and Ragnemalm, E. L. (1993). Simulator-Based Training-Support Tools for Process-Control Operators. Technical Report LiTH-IDA-R-93-29, Department of Computer and Information Science, Linköping University, Sweden. To appear in the Proceedings of NATO Workshop on Natural Dialogue and Interactive Student Modeling, Varenna, Italy, 12-16 October 1992, (abstract), (bibtex).

Drabent, W. (1993). On Completeness of SLDNF-Resolution. Technical Report LiTH-IDA-R-93-38, Department of Computer and Information Science, Linköping University, Sweden. This material was presented at a poster session at International Logic Programming Symposium, Vancouver, Canada, October 1993, (abstract), (bibtex).

Eles, P., Kuchcinski, K., Peng, Z., and Minea, M. (1993). Two Methods for Synthesizing VHDL Concurrent Processes. Technical Report LiTH-IDA-R-93-22, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Fahl, G., Risch, T., and Sköld, M. (1993). AMOS - An Architecture for Active Mediators. Technical Report LiTH-IDA-R-93-13, Department of Computer and Information Science, Linköping University, Sweden. Accepted to Workshop on Next Generation Information Technologies and Systems (NGITS'92), Haifa, Israel, June 1993, (abstract), (bibtex).

Fritzson, P., Auguston, M., and Shahmehri, N. (1993). Using Assertion in Declarative Models for Automated Debugging. Technical Report LiTH-IDA-R-93-12, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Goldkuhl, G. (1993). Att Förändra Informationssystem-En Verksamhetsinriktad Grundsyn. Technical Report LiTH-IDA-R-93-06, Department of Computer and Information Science, Linköping University, Sweden. Accepterad till Linköpings Informationssystem Seminarium 1992-LISS 92, Linköping 21 maj 1992, (abstract), (bibtex).

Goldkuhl, G. (1993). Contextual Activity Modelling of Information Systems. Technical Report LiTH-IDA-R-93-05, Department of Computer and Information Science, Linköping University, Sweden. Accepted to Third International Working Conference on Dynamic Modelling of Information Systems, Noordwijkerhout, Holland, June 9-10, 1992, (bibtex).

Goldkuhl, G. (1993). On the Relations between Information Systems and Organizational Activities: Integration and Separation as Thought Models. Technical Report LiTH-IDA-R-93-18, Department of Computer and Information Science, Linköping University, Sweden. Accepted to the 15th Information Systems Research Seminar in Scandinavia (IRIS), Larkollen, Norway, 9-12 August 1992, (abstract), (bibtex).

Goldkuhl, G. and Cronholm, S. (1993). Customizable CASE Environments: a Framework for Design and Evaluation. Technical Report LiTH-IDA-R-93-42, Department of Computer and Information Science, Linköping University, Sweden. Accepted to COPE IT'93/NordDATA, Copenhagen, Juni 14-16, 1993, (abstract), (bibtex).

Goldkuhl, G., Cronholm, S., and Krysander, C. (1993). Adaptation of CASE Tools to Different Systems Development Methods. Technical Report LiTH-IDA-R-93-17, Department of Computer and Information Science, Linköping University, Sweden. Accepted to the 15th Information Systems Research Seminar in Scandinavia (IRIS), Larkollen, Norway, 9-12 August 1992, (abstract), (bibtex).

Goldkuhl, G., Pettersson, K., and Eriksson, O. (1993). Hur studera realisering och konsekvenser av strategibaserade informationssystemarkitekturer?. Technical Report LiTH-IDA-R-93-19, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).

Jönsson, A. (1993). A Method for Development of Dialogue Managers for Natural Language Interfaces. Technical Report LiTH-IDA-R-93-16, Department of Computer and Information Science, Linköping University, Sweden. In Proceedings of the AAAI-93 Conference, Washington DC, USA, 13-15 July 1993, (abstract), (bibtex).

Kuchcinski, K. and Peng, Z. (1993). An Integrated Design Methodology for Digital Systems. Technical Report LiTH-IDA-R-93-31, Department of Computer and Information Science, Linköping University, Sweden. Accepted to the Workshop on Design Methodologies for Microelectronics and Signal Processing, Gliwice-Cracow, Poland, Oktober 20-23, 1993, (bibtex).

Lambrix, P. and Rönnquist, R. (1993). Terminological Logic Involving Time and Evolution: A Preliminary Report. Technical Report LiTH-IDA-R-93-10, Department of Computer and Information Science, Linköping University, Sweden. Accepted to International Symposium on Methodologies for Intelligent Systems, Trondheim, Norway, June 15-18, 1993, (abstract), (bibtex).

Loborg, P., Risch, T., Sköld, M., and Törne, A. (1993). Active Object Oriented Databases in Control Applications. Alsso to appear in the Proceedings of the 19th Euromicro Conference 1993, Barcelona, September 1993. Technical Report LiTH-IDA-R-93-28, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Malec, J. (1993). On Formal Analysis of Emergent Properties. Technical Report LiTH-IDA-R-93-45, Department of Computer and Information Science, Linköping University, Sweden. Accepted to Second European Workshop on Planning (EWSP'93), Vadstena, Sweden, 9-11 December 1993, (abstract), (bibtex).

Malec, J. and Morin, M. (1993). An AI-based Design of a Driver Information Unit. Technical Report LiTH-IDA-R-93-35, Department of Computer and Information Science, Linköping University, Sweden. Accepted to Vehicle Navigation and Information Systems -93, Ottawa, Canada, October 12-15, 1993, (abstract), (bibtex).

Malec, J. and Morin, M. (1993). A Pre-intelligent Driver Information Unit. Technical Report LiTH-IDA-R-93-14, Department of Computer and Information Science, Linköping University, Sweden. Accepted to Proceedings of the IEEE Intelligent Vehicles'90 Symposium, Tokyo, Japan, July 14-16 1993, (abstract), (bibtex).

Malec, J. and Österling, P. (1993). Driver Support System for Traffic Manoeuvres. Technical Report LiTH-IDA-R-93-21, Department of Computer and Information Science, Linköping University, Sweden. Accepted to the Artificial Intelligence in Traffic Engineering. Editors: G Ambrosino, M Bielli, M Boero, VSP International Science Publishers Zeist, The Netherlands, 1993, (bibtex).

Minea, M. (1993). A VHDL Compiler for a High-Level Synthesis System. Technical Report LiTH-IDA-R-93-23, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).

Orsborn, K. (1993). Modeling of Product Data Using an Extensible O-O Query Language. Technical Report LiTH-IDA-R-93-15, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Paakki, J. (1993). Multi-Pass Evaluation of Functional Logic Programs. Technical Report LiTH-IDA-R-93-02, Department of Computer and Information Science, Linköping University, Sweden. Accepted for the 21st ACM Symposium on Principles of Programming Languages (POPL), January 1994, Portland, Oregon, (abstract), (bibtex).

Peng, Z. and Törne, A. (1993). A Petri Net Based Modelling and Synthesis Technique for Real-Time Systems. Technical Report LiTH-IDA-R-93-11, Department of Computer and Information Science, Linköping University, Sweden. Accepted to the 5th Euromicro Workshop on Real-Time Systems, Oulu, Finland, June 22-24, 1993, (abstract), (bibtex).

Pettersson, K. and Goldkuhl, G. (1993). IRM på Byggföretag - en Fallstudie om Strukturering av Informationssystem. Technical Report LiTH-IDA-R-93-46, Department of Computer and Information Science, Linköping University, Sweden. Föredrag presenterat på VITS Höstseminarium, Universitetet i Linköping, 28-29 september 1993, (bibtex).

Pettersson, K. and Goldkuhl, G. (1993). VBS på Pappersbruk - en Fallstudie om Strukturering av Informationssystem. Technical Report LiTH-IDA-R-93-47, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).

Pettersson, M. (1993). Main-Memory Linear Hashing-Some Enhancements of Larson's Algorithm. Technical Report LiTH-IDA-R-93-04, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).

Poignant, L. (1993). Uppskattning av antalet arbetsplatser i Stockholmsområdet som kan avskiljas med hjälp av informationsteknologi. Technical Report LiTH-IDA-R-93-36, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Röstlinger, A. (1993). Några Problem vid Utvärdering och Förändring av Datorstödda Kommunala Verksamheter. Technical Report LiTH-IDA-R-93-07, Department of Computer and Information Science, Linköping University, Sweden. Accepterad till Linköpings Informationssystem Seminarium 1992-LISS 92, Linköping 21 maj 1992, (abstract), (bibtex).

Röstlinger, A. (1993). Verksamhetsinriktad Värdering av Datasystem inför Förändring. Metod och Erfarenheter. Technical Report LiTH-IDA-R-93-44, Department of Computer and Information Science, Linköping University, Sweden. Föredrag presenterat på Sundsvall 42, 19-21 oktober 1993, (abstract), (bibtex).

Röstlinger, A. and Pettersson, K. (1993). Utvärdering och Förändring av Datorstödda Kommunala Verksamheter. Technical Report LiTH-IDA-R-93-43, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

Sandewall, E. (1993). The Range of Applicability of Nonmonotonic Logics for the Inertia Problem. Technical Report LiTH-IDA-R-93-08, Department of Computer and Information Science, Linköping University, Sweden. Accepted to IJCAI'93, International Joint Conference on Artificial Intelligence 1993, Chambery, France, 28aug-3sep, (abstract), (bibtex).

Sandewall, E. (1993). Systematic Assessment of Temporal Reasoning Methods for Use in Autonomous Agents. Technical Report LiTH-IDA-R-93-27, Department of Computer and Information Science, Linköping University, Sweden. Accepted to the International Symposium on Methodologies for Intelligent Systems (ISMIS)'93, Trondheim, Norway, June 15-18, 1993, (bibtex).

Shu, H. (1993). The Preferential Semantics of a Multi-Modal Nonmonotonic Logic. Technical Report LiTH-IDA-R-93-39, Department of Computer and Information Science, Linköping University, Sweden. Accepted to 2-nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQRU'93), Granada, Spain, November 1993, (bibtex).

Snadewall, E. (1993). Nonmonotonic Temporal Logics and Autonomous Agensta: each Contributes to the Rigorous Basic for the other. Technical Report LiTH-IDA-R-93-30, Department of Computer and Information Science, Linköping University, Sweden. Accepted to 17. Fachtagung f\x9f r K\x9f nstliche Intelligenz (invited paper) Berlin, Germany, September 13-16, 1993, (abstract), (bibtex).

Strömberg, J.-E. and Nadjm-Tehrani, S. (1993). Towards Reliable Models of Hybrid Systems. Technical Report LiTH-IDA-R-93-48, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).

van Harmelen, F., pez de Ma' ntaras, R. L., Malec, J., and Treur, J. (1993). Comparing Formal Specification Languages for Complex Reasoning Systems. Technical Report LiTH-IDA-R-93-32, Department of Computer and Information Science, Linköping University, Sweden. Accepted as a chapter in the book: Formal Specification of Complex Reasoning Systems. Publischer: Ellis Horwood, 1993, Editors: J Treur and Th Wetter, 1993, (bibtex).

Wire'n, M. and Rönnquist, R. (1993). Fully Incremental Parsing. Accepetd to the Third International Workshop on Parsing Technologies, Tilburg, The Netherlands 2 Dubruy, Belgium, 10-13 August 1993. Technical Report LiTH-IDA-R-93-33, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).


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