Dept. of Computer and Information science, Linköping University
Last updated: Tue, 02 Dec 1997 11:02:12
Bäckström, C. (1988). Keeping and Forcing: How to Represent Cooperating Actions. Technical Report LiTH-IDA-R-88-05, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Bäckström, C. (1988). A Representation of Coordinated Actions Characterized by Interval Valued Conditions. Technical Report LiTH-IDA-R-88-06, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of ISMIS'88, Torino, Italy, 12-15 Oct. 1988, (abstract), (bibtex).
Bonnier, S. and Maluszynski, J. (1988). Towards Clean Amalgamation of Logic Programs with External Procedures. Technical Report LiTH-IDA-R-88-03, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Dahlbäck, N. (1988). Mental Models and Text Understanding - a Commented Review. Technical Report LiTH-IDA-R-88-18, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Drabent, W., Nadjm-Tehrani, S., and Maluszynski, J. (1988). Algorithmic Debugging with Assertions. Technical Report LiTH-IDA-R-88-04, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of META 88 - Workshop on Meta Programming in Logic Programming, Bristol, June 21-24, 1988, (abstract), (bibtex).
Fagerström, J. (1988). Design and Test of Distributed Applications. Technical Report LiTH-IDA-R-88-22, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the International Conference on Software Engineering, ICSE, Singapore, April 1988, (abstract), (bibtex).
Fagerström, J. and Larsson, Y. (1988). Two Contributions on Debugging Distributed System. Technical Report LiTH-IDA-R-88-23, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of ACM SIGPLAN/SIGOPS, Workshop on Parallel and Distributed Debugging, (abstract), (bibtex).
Fagerström, J. and Strömberg, L. (1988). A Paradigm for Distributed System Design and Test. Technical Report LiTH-IDA-R-88-21, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of COMPCON'SPRING 88, San Francisco, Feb.-March 1988, (abstract), (bibtex).
Fritzson, P. (1988). Incremental Symbol Processing. Technical Report LiTH-IDA-R-88-09, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Jönsson, A. and Dahlbäck, N. (1988). Talking to a computer is not like talking to your best friend. Technical Report LiTH-IDA-R-88-34, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the First Scandinavian Conference on Artificial Intelligence, March 9-10, 1988, Tromsö, Norway, (abstract), (bibtex).
Larsson, T. (1988). Hardware Verification based on Algebraic Manipulation and Partial Evaluation. Technical Report LiTH-IDA-R-88-41, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc of IFIP WG 10.2 International Working Conference on "The Fusion of Hardware Design and Verification", Glasgow, Scotland, July 3-6, 1988, (abstract), (bibtex).
Larsson, T. and Peng, Z. (1988). A Relational Approach to VLSI Design Databases. Technical Report LiTH-IDA-R-88-37, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 36th ISMM International Conference on Mini and Microcomputers and Their Applications, Sant Feliu de Guixols, Spain, June 27-30, 1988, (abstract), (bibtex).
Lennartsson, B. (1988). Multi-Level Software Architectures - Industrial Experiences and Research Directions. Technical Report LiTH-IDA-R-88-17, Department of Computer and Information Science, Linköping University, Sweden. This report is a revised version of a paper in Advance Working Papers of The Second International Workshop on Computer-Aided Software Engineering. Cambridge, Massachusetts. July 12-15, 1988, (bibtex).
Leszczylowski, J., Bonnier, S., and Maluszynski, J. (1988). Logic Programming with External Procedures: Introducing S-Unification. Technical Report LiTH-IDA-R-88-01, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Nilsson, U. (1988). Inferring Restricted AND-Parallelism in Logic Programs Using Abstract Interpretation. Technical Report LiTH-IDA-R-88-02, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Nilsson, U. (1988). Systematic Construction of Domains for Abstract Interpretation Frameworks. Technical Report LiTH-IDA-R-88-45, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Nilsson, U. (1988). Toward a Framework for the Abstract Interpretation of Logic Programs. Technical Report LiTH-IDA-R-88-44, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Padgham, L. (1988). NODE: A Database for Use by Intelligent Systems. Technical Report LiTH-IDA-R-88-26, Department of Computer and Information Science, Linköping University, Sweden. Accepted for publication in Proc. of ISMIS '88, Torino, Italy, October 12-15, 1988, (abstract), (bibtex).
Padgham, L. and Rönnquist, R. (1988). From a Technical to a Humane Environment: A Software System Supporting Cooperative Work. Technical Report LiTH-IDA-R-88-19, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the GDI International Conference on USER INTERFACES, Ruschlikon, Switzerland, October 20-21, 1986, (abstract), (bibtex).
Pagdham, L. (1988). A Model and Representation for Type Information and Its Use in Reasoning with Defaults. Technical Report LiTH-IDA-R-88-16, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of AAAI'88, American Association for Artificial Intelligence, 1988, (abstract), (bibtex).
Pagdham, L. and Rönnquist, R. (1988). LINCKS: An Imperative Object Oriented System. Technical Report LiTH-IDA-R-88-15, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc of the 20th Annual Hawaii Int. Conf. on System Sciences, Hawaii, 1987, (abstract), (bibtex).
Patel, M. R. (1988). What should a Programming Environment for Threaded Interpretive Languages provide?. Technical Report LiTH-IDA-R-88-42, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 8th Rochester Forth Conference on Programming Environments, Rochester, New York, USA, June 1988, (abstract), (bibtex).
Peng, Z. (1988). A Horizontal Optimization Algorithm for Data Path/Control Synthesis. Technical Report LiTH-IDA-R-88-35, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 1988 IEEE International Symposium on Circuits and Systems, Helsinki Univ. of Technology, Finland, June 7-9, 1988, (abstract), (bibtex).
Peng, Z. (1988). Let's Design Asynchronous VLSI Systems. Technical Report LiTH-IDA-R-88-38, Department of Computer and Information Science, Linköping University, Sweden. Also published in Microprocessing and Microprogramming, the Euromicro Journal, Vol. 24, 1988, (bibtex).
Peng, Z. (1988). Semantics of a Parallel Computation Model and its Applications in Digital Hardware Design. Technical Report LiTH-IDA-R-88-36, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the 1988 International Conference on Parallel Processing, Pennsylvania State University, August 15-19, 1988, (abstract), (bibtex).
Peng, Z., Kuchcinski, K., and Lyles, B. (1988). CAMAD: A Unified Data Path/Control Synthesis Environment. Technical Report LiTH-IDA-R-88-39, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of the IFIP TC-10 Conference on Design Methodologies for VLSI and Computer Architecture, Pisa, Italy, September 19-23, 1988, (abstract), (bibtex).
Rydqvist, G., Patel, M. R., and Larsson, L. (1988). Types in Space - Towards Flexible High-speed Object Oriented Data Management Tools of the Future. Technical Report LiTH-IDA-R-88-43, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Sandewall, E. (1988). An Approach to Non-Monotonic Entailment. Technical Report LiTH-IDA-R-88-32, Department of Computer and Information Science, Linköping University, Sweden. To appear in Methodologies for Intelligent Systems, vol. II, Proc. of ISMIS 1988 conference, Torino, Italy, 1988, Z.W. Ras and L. Saitta (eds), North Holland, 1988, pp. 391-397, (bibtex).
Sandewall, E. (1988). Formal Semantics for Reasoning about Change with Ramified Causal Minimization. Technical Report LiTH-IDA-R-88-08, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Sandewall, E. (1988). Future Developments in Artificial Intelligence. Technical Report LiTH-IDA-R-88-30, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of European Conference on Artificial Intelligence (ECAI), Munich, August, 1988, (abstract), (bibtex).
Sandewall, E. (1988). Non-Monotonic Entailment for Reasoning about Time and Action. Part I: Sequential Actions. Technical Report LiTH-IDA-R-88-27, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Sandewall, E. (1988). Non-Monotonic Entailment for Reasoning about Time and Action. Part II: Concurrent Actions. Technical Report LiTH-IDA-R-88-28, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Sandewall, E. (1988). Non-Monotonic Entailment for Reasoning about Time and Action. Part III: Decision Procedure. Technical Report LiTH-IDA-R-88-29, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Sandewall, E. (1988). The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations. Technical Report LiTH-IDA-R-88-31, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).
Sandewall, E. et al. (1988). Department of Computer and Information Science Annual Research Report 1987. Technical Report LiTH-IDA-R-88-07, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Sandewall, E., Hultman, J., and Tengvald, E. (1988). Software Architecture and Programming Paradigms for Robotics Applications. Technical Report LiTH-IDA-R-88-12, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Tengvald, E. (1988). Ett kartorienterat planeringssystem för autonoma farkoster, en design diskussion. Technical Report LiTH-IDA-R-88-13, Department of Computer and Information Science, Linköping University, Sweden. (abstract), (bibtex).
Wire'n, M. (1988). A Control-Strategy-Independent Parser for PATR. Technical Report LiTH-IDA-R-88-10, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. First Scandinavian Conference on Artificial Intelligence, Tromsö, Norway, March 9/11, 1988, (bibtex).
Wire'n, M. (1988). An Incremental Chart Parser for PATR. Technical Report LiTH-IDA-R-88-11, Department of Computer and Information Science, Linköping University, Sweden. (bibtex).