Dept. of Computer and Information science, Linköping University
Last updated: Tue, 02 Dec 1997 11:02:28
Ahrenberg, L., Jönsson, A., and Dahlbäck, N. (1991). Discourse Representation and Discourse Management for a Natural Language Dialogue System. Technical Report LiTH-IDA-R-91-21, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of The Second Nordic Conference on Text Comprehension in Man and Machine (NOTEX'90), Täby-Stockholm, Sweden, 1990, (abstract), (bibtex).
Bäckström, C. and Klein, I. (1991). On the Planning Problem in Sequential Control. Technical Report LiTH-IDA-R-91-37, Department of Computer and Information Science, Linköping University, Sweden. This report also appears in the proceedings of the 30th IEEE Conference on Decision and Control, 11-13 December 1991 Brighton, England, (abstract), (bibtex).
Bäckström, C. and Klein, I. (1991). Parallel Non-Binary Planning in Polynomial Time: The SAS-PUS Class. Technical Report LiTH-IDA-R-91-11, Department of Computer and Information Science, Linköping University, Sweden. A short version is accepted to the 12th International Joint Conference on Artificial Intelligence (IJCAI'91). Sydney, Australia, August 24-30, 1991, (abstract), (bibtex).
Bonnier, S., Nilsson, U., and Näslund, T. (1991). A Simple Fixed Point Characterization of Three-valued Stable Model Semantics. Technical Report LiTH-IDA-R-91-01, Department of Computer and Information Science, Linköping University, Sweden. Also accepted for publication in Processing Letters, (bibtex).
Boye, J. (1991). S-SLD-resolution --- An Operational Semantics for Logic Programs with External Procedures. Technical Report LiTH-IDA-R-91-18, Department of Computer and Information Science, Linköping University, Sweden. Also accepted to the 3rd International Symposium on Programming Language Implementation and Logic Programming, Passau, Germany, August 26-28, 1991, (abstract), (bibtex).
Dahlbäck, N. (1991). Empirical Analysis of a Discourse Model for Natural Language Interfaces. Technical Report LiTH-IDA-R-91-31, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 13th Annual Conference of the Cognitive Science Society (COG SCI -91), August 7-10, 1991, Chicago, Illinois, USA, (abstract), (bibtex).
Doherty, P. and Lukaszewicz, W. (1991). NML3 --- An Non-monotonic Logic with Explicit Defaults. Technical Report LiTH-IDA-R-91-13, Department of Computer and Information Science, Linköping University, Sweden. To appear in the Journal of Applied Non-Classical Logics, 1991, (abstract), (bibtex).
Drabent, W. (1991). Constructive Negation by Fail Answers. Technical Report LiTH-IDA-R-91-23, Department of Computer and Information Science, Linköping University, Sweden. Also published in the Journal Acta Informatica, 1992, (bibtex).
Fjällström, P.-O. (1991). Polyhedral Approximation of Bivariate Functions. Technical Report LiTH-IDA-R-91-24, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of Third Canadian Conference on Computational Geometry, Vancouver, B.C., Canada, August 5-10, 1991, (bibtex).
Fjällström, P.-O., Katajainen, J., and Petersson, J. (1991). Algorithms for the All-Nearest-Neighbors Problem. Technical Report LiTH-IDA-R-91-25, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of Conf. on System Modelling and Optimization, International Federation for Information Processing (IFIP), Zurich, Switzerland, September 2-6, 1991, (bibtex).
Fribourg, L. (1991). A Decision Procedure for a Subtheory of Linear Arithmetic with Lists. Technical Report LiTH-IDA-R-91-33, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Fritzson, D. and Fritzson, P. (1991). Equational Modeling of Machine Elements --- Applied to Rolling Bearings. Technical Report LiTH-IDA-R-91-05, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Fritzson, P. (1991). ObjectMath - Object Oriented Mathematical Modeling in Scientific Computing, Applied to Machine Elements Analysis. Technical Report LiTH-IDA-R-91-06, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Fritzson, P. and Fritzson, D. (1991). The Need for High-Level Programming Support in Scientific Computing Applied to Mechanical Analysis. Technical Report LiTH-IDA-R-91-04, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Fritzson, P., Fritzson, D., Viklund, L., and Herber, J. (1991). Transformation of Equation-Based Real-World Models to Efficient Code, Applied to Machine Elements Geometry. Technical Report LiTH-IDA-R-91-38, Department of Computer and Information Science, Linköping University, Sweden. Also in Proceedings of the 1st National Swedish Symposium on Real-Time Systems, Uppsala, August 19-20, 1991, (abstract), (bibtex).
Gu, X., Kuchcinski, K., and Peng, Z. (1991). Testability Measure with Reconvergent Fanout Analysis and Its Applications. Technical Report LiTH-IDA-R-91-17, Department of Computer and Information Science, Linköping University, Sweden. This paper will be published in Microprocessing and Microprogramming the EUROMICRO Journal, Vol. 33, 1991, (abstract), (bibtex).
Jönsson, A. (1991). A Dialogue Manager Using Initiative-Response Units and Distributed Control. Technical Report LiTH-IDA-R-91-03, Department of Computer and Information Science, Linköping University, Sweden. Also presented at the 5th Conference of the European Chapter of the ACL, Berlin, Germany, April 9-11, 1991, (abstract), (bibtex).
Jönsson, A. (1991). A Natural Language Shell and Tools for Customizing the Dialogue in Natural Language Interfaces. Technical Report LiTH-IDA-R-91-10, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Kågedal, A. and Kluz'niak, F. (1991). Enriching Prolog With S-unification. Technical Report LiTH-IDA-R-91-12, Department of Computer and Information Science, Linköping University, Sweden. Also in "Phoenix" Seminar on Declarative Programming, Hohritt, Germany, November 1991, Springer-Verlag, LNCS, (bibtex).
Kamkar, M. (1991). Interprocedural Dynamic Slicing Applied to Algorithmic Debugging. Technical Report LiTH-IDA-R-91-20, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Kamkar, M. (1991). An Overview and Comparative Classification of Static and Dynamic Program Slicing. Technical Report LiTH-IDA-R-91-19, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Kluz'niak, F. (1991). PageBreak: An Exercise in Specification and Derivation. Technical Report LiTH-IDA-R-91-27, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Kluz'niak, F. (1991). SPILL: A Specification Language Based on Logic Programming. Technical Report LiTH-IDA-R-91-28, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Kluz'niak, F. (1991). Towards Practical Executable Specifications in Logic. Technical Report LiTH-IDA-R-91-26, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Kuchcinski, K. (1991). Toward Automatic Tets Pattern Generation for VHDL Description. Technical Report LiTH-IDA-R-91-36, Department of Computer and Information Science, Linköping University, Sweden. Also in Proceedings of the EURO-VHDL 91, Sweden, Stockholm, September 8-11, 1991, (abstract), (bibtex).
Lambrix, P. (1991). Temporal Aspects of Composite Objects. Technical Report LiTH-IDA-R-91-14, Department of Computer and Information Science, Linköping University, Sweden. Also accepted to the Golden West International Conference on Intelligent Systems, Reno Nevada 1992, (bibtex).
Loborg, P. and Törne, A. (1991). A Hybrid Language for the Control of Multimachine Environments. Technical Report LiTH-IDA-R-91-09, Department of Computer and Information Science, Linköping University, Sweden. Accepted to the 4th Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Hawaii, June 2-5, 1991, (abstract), (bibtex).
Malec, J. (1991). How To Pass an Intersection, or Automata Theory is Still Useful. Technical Report LiTH-IDA-R-91-08, Department of Computer and Information Science, Linköping University, Sweden. To be presented at SCAI'91, Roskilde, Denmark, May 21-24, 1991, (abstract), (bibtex).
Nadjm-Tehrani, S. (1991). Analysis of the Overtaking Scenario: Specification of an Autonomous Car and a Driver Support System. Technical Report LiTH-IDA-R-91-07, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Nebel, B. and Bäckström, C. (1991). On the Computational Complexity of Temporal Projection and some Related Problems. Technical Report LiTH-IDA-R-91-34, Department of Computer and Information Science, Linköping University, Sweden. Also published as DFKI Research Report RR-91-34, German Research Center for Artificial Intelligence (DFKI), Saarbrucken, Germany. The results in this report has been divided into conference papers that will appear in proceedings of the AAAI-92, conference, San Jose, Ca USA, jul 12-17, 1992 and in proceedings of the ECAI-92 conference, Vienna, Austria, Aug 3-7, 1992 respectively and has been accepted for publication in Artificial Intelligence (ie.AI Journal), (abstract), (bibtex).
Nilsson, U. (1991). Abstract Interpretation: A Kind of Magic. Technical Report LiTH-IDA-R-91-02, Department of Computer and Information Science, Linköping University, Sweden. Also accepted to the 3rd International Symposium on Programming Language Implementation and logic Programming (PLILP), Passau, Germany, August 26-28, 1991, (bibtex).
Peng, Z., Fagerström, J., and Kuchcinski, K. (1991). A Unified Approach to Evaluation and Design of Hardware/Software Systems. Technical Report LiTH-IDA-R-91-16, Department of Computer and Information Science, Linköping University, Sweden. Also accepted to the ICSE (13th International Conference on Software Engineering) Workshop on Software/hardware Codesign, Austin, Texas, May 13, 1991, (abstract), (bibtex).
Przymusinski, T. C. (1991). Semantics of Disjunctive Logic Programs and Deductive Database. Technical Report LiTH-IDA-R-91-32, Department of Computer and Information Science, Linköping University, Sweden. Accepted to The Second International Conference on Decuctive and Object-Oriented Databases, Munich, Germany, December, 1991, (bibtex).
Przymusinski, T. C. (1991). Stable Semantics for Disjunctive Programs. Technical Report LiTH-IDA-R-91-22, Department of Computer and Information Science, Linköping University, Sweden. This paper will appear in the special issue of the Journal of New Generation Computing, (bibtex).
Sandewall, E. (1991). Features and Fluents. An agenda and logic-based framework for the Representation of Knowledge about Dynamical Systems. Review version of Chapters 1 and 3-7. Technical Report LiTH-IDA-R-91-29, Department of Computer and Information Science, Linköping University, Sweden. This is a preliminary version of parts of a forthcoming book, (abstract), (bibtex).
Söderman, U. and Strömberg:, J.-E. (1991). Combining Qualitative and Quantitative Knowledge to Generate Models of Physical Systems. Technical Report LiTH-IDA-R-91-15, Department of Computer and Information Science, Linköping University, Sweden. A Short version is accepted to the 12th International Joint Conference on Artificial Intelligence (IJCAI-91) Sydney, Australia, August 24-30, 1991, (abstract), (bibtex).
Strömbäck, L. (1991). Unifying Disjunctive Feature Structures. Technical Report LiTH-IDA-R-91-35, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).