L. Ahrenberg: On the integration and scope of segment-based theories of discourse. To appear in Papers from the Third Nordic Conference on Text Comprehension in Man and Machine, Linköping, 21-23 April, 1992.
N. Andersson, P. Fritzson:
Comparative Evaluation and Industrial Application of Code
Generator Generators.
In Proc. of the Nordic Workshop on Programming Environment Research,
Tampere, January 8-10, 1992.
E. Arborelius, S. Bremberg, T.Timpka: What is going on when the general practitioner doesn't grasp the consultation? Family Practice 1991;8:3-9.
E. Arborelius, T. Timpka, J. Nyce: Patients comments on video-recorded consulations: The "good" GP and the "bad". Scand J Soc Med 1992, in press.
C. Bäckström: Equivalence and Tractability Results for SAS+ Planning. Accepted to KR-92., Cambridge, Mass., USA, October, 1992.
C. Bäckström: Uncertainty and Parallelism in Action Structures. In Proc. of Workshop: Beyond Sequential Planning at ECAI '92, Vienna, Austria, 1992.
C. Bäckström, B. Nebel: On the Computational Complexity of Planning and Story Understanding: Accepted to ECAI-92
C. Bäckström, I Klein: Planning in polynomial time: In SAS-PUBS class. Computational Intelligence, 7(3):181-197, August, 1991.
A. Björklind: Wide Area Information Server - a Prototype for the Personal Information Tool of the Future? In:Teknologi och Kompetens, Proc. of the 8th. Nordic Conference for Information and Documentation, Helsingborg, Sweden,May 19-21, 1992. Adler et. al. Ed. TLS, Stockholm, 1992 p.105-110.
A. Björklind: Document architecture for public service case processing and archival search. In: Teknologi och Kompetens, Proc. of the 8th. Nordic Conference for Information and Documentation, Helsingborg, Sweden, May 19-21, 1992. Adler et. al. Ed. TLS, Stockholm, 1992 p.65-70.
A. Björklind, L. Björklund, R. Hjerppe: Libraries of the Future - Real and Virtual. Accepted for presentation at 15th International Essen Symposium, Essen Oct. 12-15.
L. Björklund: Document description in the future. In: Teknologi och Kompetens" Proc. of the 8th. Nordic Conference for Information and Documentation, Helsingborg, Sweden, May 19-21, 1992. Adler et. al. Ed. TLS, Stockholm, 1992 p.71-74.
L. Björklund: The need for inventing user needs Paper to be presented at the Anglo-Nordic Seminar 1992: The Effects of Digitisation on Library and Information Services, Edinburgh Sept., 17-20.
S. Bonnier, U. Nilsson, T. Näslund: A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics. Information Processing Letters, 40:73-78, 1991.
S. Bonnier, J. Wallgren: Logic Programs with Polymorphic Types: A Condition for Static Type Checking. In Proc. of the 3rd. International Workshop on Conditional Term Rewriting Systems. Springer-Verlag, LNCS, 1992. To appear.
D. R. Busch: An Intuitionistic Three-Valued Logic. Presented at Logic Programming in AI First Compulog Net Workshop, Imperial College, London, March 23-24 1992.
T. Buur, T. Timpka: Improvement of decisions regarding hemodialysis patients by urea kinetic modeling. Medical Decision Making 1990;10:274-82.
N. Dahlbäck, A. Jönsson: An empirically based computationally tractable dialogue model. Proc. of the 14th Annual Meeting of the Cognitive Science Society, Bloominton,
Indiana, 1992.
N. Dahlbäck: Pronoun usage in NLI-dialogues. In Papers from the Third Nordic Conference on Text Comprehension in Man and Machine, Linköping, 21-23 April, 1992.
N. Dahlbäck, A. Jönsson, L. Ahrenberg: Wizard-of-Oz studies - why and how. To appear in Proc. from the International Workshop on Intelligent User Interfaces, Orlando, Florida 1992.
P. Doherty, W. Lukaszewicz: FONML3 - A first order Non-Monotonic Logic with Explicit Defaults. Accepted to ECAI-92, Vienna, Austria, August, 1992.
P. Doherty, W. Lukaszewicz: Defaults as First-Class Citizens. Accepted to ISMVL-92, May, 1992, Sendai, Japan.
P. Doherty, W. Lukaszewicz: Distinguishing between facts and default assumputions. In Non-Monotonic Reasoning - Formalization of Commonser, Ellis Horwood. 1990.
P. Doherty, D. Driankov: Non-Monotonicity, Fuzziness and Multi-Values. In Non-
Monotonicity, Fuzziness and Multi-Values, ed. Lowen/Foubens.
K. L. Downing: Concistency-Based Diagnosis in Physiological Domains. Accepted to AAAI-92, San Jose, Cal, July, 1992.
K. L. Downing: Analyzing Genetic Regulatory Systems via Focused Envisionment. Accepted to Qualitative Physics Workshop, August, 1992.
K. L. Downing: Extending the GDE Paradigm to Medicine, Applications of AI, April, 1992.
K. L. Downing: Physiological Applications of Consistency-Based Diagnosis. Accepted in Journal AI in Medicine, December, 1991.
W. Drabent: What is failure? or: Constructive negation by fail answers. In ICCI Proc.. IEEE Press, 1992.
D. Driankov, H. Hellendorn: Towards a Logic for a Fuzzy Logic Controller. In Proc. ECSQAU-91, P. Krause and P. Siegel (eds.), Lecture Notes in Computer Science, vol 548, Springer Verlag, pp 166-171.
D. Driankov: Fuzzy reasoning and its applications to control. In Proc. ESSCIRC-91, Milano, Italy.
D. Driankov, H. Hellendorn: Fuzzy Logic with IF-THEN-UNLESS Rules. To be presented at 1992 IEEE Intern Conf on Fuzzy Systems, USA.
P. Eklund et. al. (editors): Conceptual Structures: Current Research and Practise. Ellis-Horwood Limited. 1992.
P. Eklund: A Framework for Negotiating Conceptual Structures: Inheritance Hierarchies. In Nagle, T., Nagle, N., Gerholz, L., and Eklund, P., editors, Current Directions in Conceptual Structure Research. Ellis-Horwood. 1992.
P. Eles, K. Kuchcinski, Z. Peng, M. Minea: Compiling VHDL into a High-Level Synthesis Design Representation. Presented at EURO-DAC'92, Hamburg, September 7-10, 1992. An extended version also available as Research Report , LiTH-IDA-R-92-04.
H. Eriksson: Domain-oriented knowledge acquisition tool for protein purification planning. Journal of Chemical Information and Computer Science, 32(1):90-95. 1992.
H. Eriksson, M. A. Musen: Conceptual models for automatic generation of knowledge-acquisition tools. In Wetter, T., Althoff, K.-D., Boose, J., Gaines, B., Linster, M., and Schmalhofer, F., editors, Current Developments in Knowledge Acquisition: EKAW'92, pages 14-36. Springer-Verlag, Berlin, Germany. 1992.
H. Eriksson, M. A. Musen: Meta-Tools for Software Development and Knowledge Acquisition. In Proc. of the AAAI Workshop on Automating Software Design, pages 43-47, San Jose, CA. 1992.
H. Eriksson, K. Sandahl, J. Brewer, B. Österlund: Reactive Planning for Chromatography.
Chemometrics and Intelligent Laboratory Systems: Laboratory Information Management, (13):185 - 194. 1991.
H. Eriksson, K. Sandahl, G. Forslund, B. Österlund: Knowledge-Based Planning for Protein Purification. Chemometrics and Intelligent Laboratory Systems: Laboratory Information Management, (13):173 - 184. 1991.
H. Eriksson: A Survey of Knowledge Acquisition Techniques and Tools and their Relationship to Software Engineering. In Journal of Systems and Software, in press. 1992.
H. Eriksson, Y. Shahar, S. W. Tu, A. R. Puerta, M. A. Musen: Task Modeling with Reusable Problem-Solving Methods. In Boose, J. H. and Gaines, B. R., editors, Proc. of the
Seventh Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff,
Canada, 1992.
J. Fagerström, P. Fritzson, J. Ringström, M. Pettersson: A Data-Parallel Language and its Compilation to a Formally Defined Intermediate Langauge. In Proc of the 4:th International Conference on Computing and Information, ICCI'92, Toronto, May 28-30, 1992.
L. Fribourg, H. Olsen: A Unifying View of Structural Induction and Computation Induction for Logic Programs. In the Proc. of LOPSTR 92 - Workshop on Logic Program Synthesis and Transformation, Manchester, July 2- 3, 1992. To appear.
D. Fritzson, P. Fritzson, L. Viklund, J. Herber: Object-Oriented Mathematical Modelling -
Applied to Rolling Bearings. In Proc. of SCAFI-92, Amsterdam, Nov 5-6, 1992. Submitted to the Journal of Computers and Structures.
P. Fritzson, L. Viklund, J. Herber, D. Fritzson: Industrial Application of Object-Oriented Mathematical Modeling and Computer Algebra in Mechanical Analysis. In Proc. of TOOLS EUROPE'92, Dordmund, Germany, March 30 - April 2, 1992. Published by Prentice Hall.
P. Fritzson, M. Pettersson: DML - A Meta-language and System for the Generation of Practical and Efficient Compilers from Denotational Specifications. In Proc. of the 1992 International Conference on Computer Languages, Oakland, California, April 20 - 23, 1992.
G. Goldkuhl: Contextual activity modelling of information systems. In Proc. of 3rd Int. Working Conference on Dynamic Modelling of information systems, Noordwijkerhout, 1992.
G. Goldkuhl: On the relations between information systems and organizational activities: integration and separation as thought models. In Proc. of 15th IRIS (Information systems Research In Scandinavia), Oslo university, 1992.
G. Goldkuhl, S. Crohholm, K. Krysander: Adaptation of CASE tools to different systems development methods. In Proc. of 15th IRIS (Information systems Research In Scandinavia), Oslo university, 1992.
X. Gu, K. Kuchcinski, Z. Peng: An Approach to Testability Analysis and Improvements for VLSI Systems. To appear in The Euromicro Journal, Microprocessing and Microprogramming, Nos 1-5 August, 1992.
S. Hägglund: Office applications panel: Chairman's summary. In Proc. of the IFIP WG 9.1 Working Conference on Human Jobs and Computer Interfaces, Tampere, Finland. North-
Holland. 1991.
S. Hägglund: Expert Critiquing as a Paradigm for Giving Consultative Advice. In Proc. of the ECAI'92 Workshop on Expert Judgement, Human Errors and Intelligent Systems,
Vienna.1992.
S. Hägglund, I. Rankin: A knowledge-based critiquing approach to explanation generation. In Proc. of the AAAI Spring Symposium Workshop on Explanations, Stanford. 1992.
J. Harrius: AREST, a System for Deep Generation of a Critique Using Aggregate Schemas. In Proc. of the ECAI'92 Workshop on Expert Judgement, Human Errors and Intelligent Systems, Vienna. 1992.
R. Hirsch: Powerful stuff - Discourse Processing: Social and Cognitive Aspects of Content Development in Conversation.In Nordic Journal of Linguistics, Vol. 15, No. 1, 65-84, 1992.
R. Hirsch: Things as they are - Reflections on the Comprehension of Metaphor in Man and Machine. To appear in Papers from the Third Nordic Conference on Text Comprehension in Man and Machine, Linköping, 21-23 April, 1992.
R. Hjerppe: Database visualization: Asking "What do you have?" instead of answering "What do you want?" In Teknologi och Kompetens" Proc. of the 8th. Nordic Conference for Information and Documentation, Helsingborg, Sweden,May 19-21, 1992. Adler et. al. Ed. TLS, Stockholm, 1992.
H. Holmgren, T. Timpka, G. Goldkuhl, J. Nyce, C. Sjöberg: Argumentative Design: a
necessary complement to Action Design. Proc. of MedInfo '92 (World Conference of Medical Informatics). Amsterdam: Elsevier, 1992.
M. Kamkar, N. Shahmehri, P. Fritzson: Interprocedural Dynamic Slicing. In Proc of PLILP'92 - Symposium on Programming Language Implementation and Logic Programming, Leuven, Belgium, August, 1992. LNCS 631. Springer Verlag.
I. Klein, C. Bäckström: On the planning problem in sequential control. In Proc. of the 30th IEEE Conference on Decision and Control, Brighton, UK, December, 1991.
K. Kuchcinski: System Level Modelling and Analysis of Complex Digital Systems. Presented at 18th EUROMICRO Conference, Software and Hardware Specification and Design, (short notes session), Paris, September 14-17, 1992.
P. Lambrix: Versioning of Strongly Connected Composite Objects. Accepted for the 3rd International Conference on Information Systems Developers Workbench and for the Golden West International Conference on Intelligent Systems, pp97-103,Reno, Nevada, USA, 1992.
P. Lambrix: Temporal Aspects of Composite Objects. Accepted for the Golden West International Conference on Intelligent Systems, pp 116-125, Reno, Nevada, USA, 1992.
T. Larsson, A. Vainio-Larsson: Software Producers as Software Users In NATO-ARW: User-Centered Requirements for Software Engineering Environments, Chateau de Bonas,
Toulouse, France, 5-10 September, 1991.
G. Lindström, J. Maluszynski, T. Ogi: Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. In Maurice Bruynooghe and Martin Wirsing, editors, Proc. PLILP'92, pages 428-442. Springer-Verlag, 1992. LNCS 631.
W. Litwin, T. Risch: Main Memory Oriented Optimization of OO Queries using Typed Datalog with Foreign Predicates. Accepted for publication in IEEE Transactions on Knowledge and Data Engineering.
P. Loborg, M. Sköld, A. Törne, P. Holmbom: An Architecture for Incremental Design and Dynamic Control of a Real-Time System, LiTH-IDA-R-92-22. Accepted to the V International Symposium on Artificial Intelligence, ISAI92, Caucun, Mexico, Dec., 1992.
J. Löwgren: The Ignatius Environment. Supporting the Design and Development of Expert-System User Interfaces. IEEE Expert, 7(4):49-57. 1992.
J. Löwgren , T. Nordqvist: Knowledge-Based Evaluation as Design Support for Graphical User Interfaces. In Human Factors In Computing Systems (CHI'92 Proc.), pages 181-188, Monterey. ACM Press. 1992.
J. Malec: Complex Behavior Specification for Autonomous Systems. In Proc. IEEE ISIC-92, Glasgow, Scotland, Aug 11-13 1992. LITH-IDA-R-92-14.
J. Malec: Applied Knowledge Representation. Accepted to journal CC-AI: Communication and Cognition - AI. LITH-IDA-R-92-07 (other version). 1992.
J. Malec: Process Transition Networks: What are they for? In Proc. the IEEE International Conference on Systems, Man and Cybernetics, Charlottesville, VA, 13-16 Oct.
M. Morin, S. Nadjm-Tehrani, P. Österling, E. Sandewall: A Framework for Real-time
Hierarchical Control of Dynamic Systems. Accepted for publication in IEEE Software special issue on real-time systems development, 1992.
S. Nadjm-Tehrani, P Österling: Characterization of Environment Conditions with Metric Temporal Feature Logic. Accepted for the 3rd International conference on AI, Simulation and Planning in High Autonomy Systems to be held in Perth.
B. Nebel, C. Bäckström: On the Computational Complexity of Temporal Projection and Plan Validation.In Proc.AAAI-92, San Jose, Ca, July 1992.
H. Nilsson, P. Fritzson: Algorithmic Debugging for Lazy Functional Languages. In Proc of PLILP'92 - Symposium on Programming Language Implementation and Logic Programming, Leuven, Belgium, August, 1992. LNCS 631, Springer Verlag.
J. Nyce, T. Timpka: Work, Knowledge and Argument in Specialist Consultations: Incorpora-
ting Tacit Knowledge into System Design and Development. Med Biol Eng Comp, 1992. In press.
T. Näslund: Injective Formative Evaluation for Enhancing Computer Support for Cooperative Staff Work. In Proc. of the Human Interface '92, Kawasaki. In press. 1992.
T. Näslund: Evaluation as a Means for Improving Development of Decision Support Systems. In The Doctoral Consortium, 11th Int. Conf. on Information Systems, Copenhagen, 1992. Available as report LiTH-IDA-R-92-01.
L. Padgham: Defeasible Inheritance: A Lattice Based Approach, Computers and Mathematics with Applications, special issue on Semantic Nets, vol 23, No. 6-9, pp 527 - 541, 1992.
L. Padgham, J. Löwgren: User Interface Management for an Object-Oriented Database System. In Proc. of the First Int. Conf. on Information and Knowledge Management. 1992.
L. Padgham, B. Nebel: Combining Classification and Non-Monotonic Inheritance Reasoning: A First Step. Accepted to the Workshop in Description Logics, AAAJ Fall Symposium, Boston, MA, Oct., 1992.
L. Padgham, R. Rönnquist, P. Eklund: Reasoning with Inheritance Networks using Matrix Manipulation. In International Journal of Approximate Reasoning. In press.
Z. Peng: Digital System Simulation with VHDL in a High-Leval Synthesis System. In Proc. 18th Euromicro Conference on Software and Hardware: Specification and Design, Paris, September, 14-17, 1992.
J. Persson, E. Jungert: Generation of multi-resolution maps from run-length-encoded data. Accepted for publication in International Journal of Geographical Information Systems.
M. Pettersson, P. Fritzson: A General and Practical Approach to Concrete Syntax Objects within ML. In Proc. of the ACM SIGPLAN Workshop on ML and its Applications, San Francisco, CA, June, 20-21, 1992.
M. Pettersson: A Term-Pattern-Match Compiler Inspired by Finite Automata Theory. In Proc. of the International Workshop on Compiler Construction (CC'92), Paderborn, Germany, October, 5-7, 1992. LNCS, Springer Verlag.
H. Przymusinska, T. C. Przymusinska: Stationary Extensions of Default Theories. In Proc. of the Fourth Workshop on Non-monotonic Reasoning, Plymouth, Vermont, 1992, (In print.).
H. Przymusinska, T. C. Przymusinska, H. Seki: Soundness and Completeness of Partial Deductions for Well-founded Semantics. In A. Voronkov, editor, Logic Programming and Automated Reasoning, St. Petersburg, Russia, July 1992. (Lecture Notes in Artificial Intelligence, Vol.624), pages 1-12. Springer-Verlag, 1992.
T. C. Przymusinska: Autoepistemic Logics of Closed Beliefs and Logic Programming. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, Proc. of the First International Workshop on Logic Programming an Non-monotonic Reasoning, Washington, D.C., July 1991, pages 3-20, Cambridge, Mass., 1991. The MIT Press.
T. C. Przymusinska: Well-founded Completions of Logic Programs. In Proc. of the Eight International Logic Programming Conference, Paris, France, pages 726-744, Cambridge, Mass., 1991. Association for Logic Programming, The MIT Press.
T. C. Przymusinska: Two Simple Characterizations of Well-founded Semantics. In I. Havel and V. Koubek, editors, Proc. of the International Conference on Mathematical Foundations of Computer Science (MFCS'92), pages 451-462, Prague, Czechoslovakia, 1992. Springer-Verlag.
I. Rankin, J. Harrius: Rethorical Aggregates in Text Planning. In Proc. of the Third Nordic Conference on Text Comprehension in Man and Machine, Linköping, Sweden. In press. 1992.
B. Rapp: Management Training in Small Companies: a Case Studie. Paper presented at Berch Symposium, Uppsala, Sweden, 1991.
B. Savén: Factory Simulation - Concepts and one Approach, Robotics & Computer-Integrated Manufacturing, Vol. 9, No 4/5, pp 341-345, 1992.
Y. Shu: Integrating Terminological Reasoning into an Intelligent Information System. Accepted for presentation at PRICAI'92. Seoul, Korea, September, 1992. To appear.
Y. Shu: Introducing CLASSIC-like Functions in LINCKS System. In Terminological Logic Users Workshop Proc., Berlin, December, 1991.
H. Shu, J. Malec: From Process Transition Networks to Behaviour Automata: Presented at ISIC-91, Arlington, VA, 13-15 August 1991
C. Sjöberg, T. Timpka, J.M. Nyce, M. Peolsson, T. af Klercker: From clinical literature to medical hypermedia: procedures and experiences. Proc. of MedInfo '92 (World Conference of Medical Informatics). Amsterdam: Elsevier, 1992 In press.
T. Timpka, T. Buur, P. Hedblom: Is expertext support feasible in work life applications? An empirical study using an expert panel for simulating \Q\Qoptimal'' expertext support. Information and Decision Technologies 1992;18:81-87.
T. Timpka, J. M. Nyce: Dilemmas at a primary health care centre: a baseline study for Computer Supported Cooperative Work (CSCHW). Meth Inf Med, 1992. In press.
T. Timpka, J. M. Nyce: Towards a pragmatics of medical hypertext. In Proc. of MedInfo '92 (World Conference of Medical Informatics). Amsterdam: Elsevier, 1992. In press.
T. Timpka, J. M. Nyce, C. Sjöberg, P. Hedblom, P. Lindblom: Developing a clinical hypermedia corpus: Experiences from a practice-centered method. In Proc. of SCAMC '92. Baltimore: IEEE Press, 1992. In press.
L. Viklund, J. Herber, P. Fritzson: The Implementation of ObjectMath - A High-Level En-
vironment for Scientific Computing. In Proc. of CC'92 - International Workshop on Compiler Construction, Paderborn, Germany, October, 1992. Proc. in the LNCS series by Springer Verlag.
L. Viklund, P. Fritzson: An Object-Oriented Language for Symbolic Computation - Applied to Machine Elements Analysis. In Proc of ISSAC'92 - International Symposium on Symbolic and Algebraic Computation, Berkeley, July 1992.
J. E. Villegas: Industrial training with Simulation Games. Accepted for the European Simulation Symposium ESS92, Dresden, November, 5-8, 1992.
T. Zhang, L Padgham: Diagnosis Using a Default Inheritance Hierarchy. In Proc. of the ICJAI Workshop on Knowledge Representation in Medicine. Accepted for publication in AI in medicine. Sidney, 1991.
E. Arborelius, T. Timpka: En jämförelse av patienters och läkares kommentarer av videoinspelade läkarbesök. Allmänmedicin 1990;11:163-6.
C. Bäckström: Planning with Partical States in O(n2) Time: The SAS+-PUS Planning Problem. LiTH-IDA-R-92-05.
A. Björklind: Virtuella bibliotek Februari 1992, 3p.LiU-LIBLAB-WP:74.
L. Björklund: Samhällets informationsresurser - en informationsteoretisk ram för en deskriptiv studie. Februari 1992, 4p.LiU-LIBLAB-WP:71.
L. Björklund: Informationsbeteende och kataloganvändning hos tvärvetenskapare - en metod och fallstudie. Februari 1992, 4p.LiU-LIBLAB-WP:72.
D. R. Busch: A Three-valued Logic with Two Negations: submitted to CSL-92, Pisa, Italy, Sep 28 - Oct 2 1992.
D. R. Busch: A sequent Axiomatization of Three-valued Logic with Two Negations: sub-
mitted to KR-92, Cambridge, Mass USA, Oct 26-29 1992 Working material.
B. Cheikes: Towards a Plan-Based Model of Cooperative Response Generation (extended abstract).
B. Cheikes:The Integration Problem and Its Implications for the Design of Intelligent Help Systems. Presented at SAIS-92.
P. Doherty: A Constraint-Base Approach to Prove Procedures for Multi-Valued Logics.
A. Dvilinskas: Management Decision Support in Small Companies, Third Annual Conference on Computer and Information Science, Linköping University, Linköping, Sweden, 1992.
H. Eriksson: (1991). Dots - a guided tour. Memo 91-01, ASLAB, IDA, Linköping University.
G. Fahl: Integration of heterogeneous Databases in a Mediator Architecture, in preparation.
R. Farahani: A Road Segment Database Management System and Simulation Tools for a Map Based Intelligent Co-Pilot: Presented at the ProArt Workshop on Intelligent Co-Pilot,
Grenoble, 12-13 December 1991.
L. Fribourg: A Decision Procedure for a Subtheory of Linear Arithmetic with Lists. LiTH-IDA-R-91-33.
G. Goldkuhl: Stöd och struktur i systemutvecklingsprocessen, Konferens Systemutveckling i praktisk belysning, Dataföreningen i Sverige, 1991.
G. Goldkuhl: Att förändra informationssystem - en verksamhetsinriktad grundsyn, Linköpings informations-system Seminarium 1992 (LISS 92), Institutionen för datavetenskap, Universitetet i Linköping, 1992.
G. Goldkuhl, A. Röstlinger: Att bygga in verksamhetskvalitet i informationssystem, Kon-
ferens Sundsvall42, Dataföreningen, 1991.
G. Goldkuhl: Metodanpassning av CASE-verktyg, Institutionen för datavetenskap, Universitetet i Linköping, 1992.
G. Goldkuhl: Kunskapande, Institutionen för datavetenskap, Universitetet i Linköping.
S. Hägglund, (Eds), R. Hjerppe: (1991). Selected term papers on methodology of research in computer science. Technical Report LiTH-IDA-R-91-30, IDA, Linköping University.
R. Hjerppe, L. Björklund, A. Björklind: Framtidens bibliotek - reella och virtuella Oktober. 1991, 13p. LiU-LIBLAB-WP:62.
R. Hjerppe, L. Björklund, A. Björklind: Framtidens bibliotek - reella och virtuella To be published in Proc. from "Biblioteket och Framtiden, Borås Nov. 11-13 1991.
Hjerppe, R: Från intervjuer till systemutformning och -konstruktion. TemaKat fas 2. Februari 1992, 7p. LiU-LIBLAB-WP:73.
R. Hjerppe,L. Björklund: Elektroniska media: teknik, användning, konsekvenser. Kursbeskrivning. Oktober 1991. 4p. LiU-LIBLAB-WP:63.
R. Hjerppe, L. Björklund, A. Björklind: Samhällets informationsresurser. Ett kursförslag. Oktober 1991. 3p. LiU-LIBLAB-WP:64.
R. Hjerppe: TemaNät - Ett lokalt när för Tema. Januari 1992, 6p. LiU-LIBLAB-WP:65.
R. Hjerppe, E. Jungert: Reactive Planning and Visualization for Location Related Time-Critical Tasks. January, 1992, 6p. LiU-LIBLAB-WP:66.
R. Hjerppe, E. Jungert: Interactive Manipulation of Symbolic Multimedia Data in a Loosely Coupled Proximate Group. January, 1992, 7p. LiU-LIBLAB-WP:67.
R. Hjerppe: LIBLAB - Current Research. January, 1992, 5p.LiU-LIBLAB-WP:68.
R. Hjerppe: Från informationsbeteende till katalogutformning: Utgångspunkter för revision av ett intervjuformulär. Februari 1992. LiU-LIBLAB-WP:69.
R. Hjerppe: Datorbaserade sambrukssystem i bibliotek: en förstudie. Februari 1992, 4p.
LiU-LIBLAB-WP:70.
R. Hjerppe, A. Björklind: Ömsesidig anpassning av dokumenttypsdeklarationer och katalogiseringsregler. Februari 1992, 3p. LiU-LIBLAB-WP:75.
R. Hjerppe: Utformning av nya beskrivningmodeller för bibliotek, arkiv, museer. Februari 1992, 3p.LiU-LIBLAB-WP:76.
R. Hjerppe: Elektroniska industriella dokument: Generering och hantering samt medium, form och innehåll. Två samordnade projektförslag för CENIIT. Februari 1992, 5p.
LiU-LIBLAB-WP:77.
F. Kluz´niak: Towards Practical Executable Specifications in Logic.LiTH-IDA-R-91-26.
F. Kluzniak: An Exercise in Specification and Derivation. LiTH-IDA-R-91-27.
F. Kluz´niak:SPILL: A Specification Language Based on Logic Programming.
LiTH-IDA-R-91-28.
K. Larsen, A. Moberg, J. Ollinen: Informationsteknologi och Nya Organisationslösningar - aspekter på Kommunikation, In Proc. Third Annual Conference on Computer and Informations Science, Department of Computer and Information Science, Linköping University, Linköping 1992.
A. Vainio-Larsson: Multimediateknik som pedagogiskt hjälpmedel. Presented at the Multimedia 92 Linköping, Sweden, februari 11-13, 1992. LiTH-IDA-R-92-10.
M. Lindvall: Att lyckas eller misslyckas med programmeringsprojekt, 1992.
LiTH-IDA-R-92-12.
J. Malec, R. Farahani, M. Morin, S. Nadjm-Tehrani, P. Österling, E. Sandewall: An Integrated Software Environment for Development of Driver Support System; Presented at the ProArt Workshop on Intelligent Co-Pilot, Grenoble, December, 12-13,1991.
J.Malec: How to Pass an Intersection: Obsoletes LAIC-IDA-90-TR19. Presented at the ProArt Workshop on Intelligent Co-Pilot, Grenoble, December, 12-13, 1991.
M.Morin: Performance Aspects of the Process Layer Executive.
M. Morin, S. Nadjm-Tehrani, P. Österling, E. Sandewall: A Framework for Real-Time
Hierarchical Control of Dynamic Systems.
M. Morin, Erik Sandewall: A Basic Software Architecture for an On-Board Driver Support System. Presented at the Prometheus Workshop, Stockholm October 1991.
M. Noghabai: Impacts of Different Perspectives on IS Research and Practive Presenterat på IDA-konferensen, 16-17 mars, 1992.
T. Nordqvist, S. Löf, J. Löwgren. Crude: A critiquing user interface design environment.
Video. Presented at the Human Interface '91, Japan.
Z. Peng, K. Kuchcinski: Architectural Partitioning of Application Specific Systems. In Proc. 4th Swedish Workshop on Computer System Architecture, Linköping, January, 13-15, 1992.
T. Persson, L. Staflin: Default Persistence and Explicit Nonpersistence in a Logic with Real-valued Fluents and Continuous Time: submitted to AAAI-92.
A. Röstlinger: Några problem vid utvärdering och förändring av datorstödda kommunala verksamheter, Linköpings informationssystem Seminarium 1992 (LISS 92), Institutionen för datavetenskap, Universitetet i Linköping, 1992.
A. Röstlinger, K. Pettersson: Utvärdering och förändring av datorstödda kommunala verksamheter - rapport från en förstudie bland kommuner i Östergötland, Institutionen för datavetenskap, Universitetet i Linköping, 1992.
K. Sandahl, A. Brogren: Erfarenheter från användarstyrt kunskapssystemprojekt. Memo 92-02, ASLAB, IDA, Linköping University. In Swedish. 1992.
K. Sandahl, B. Möller: Datalogisk problemanalys inom projektet utveckling av "expertsystem för ökad trafiksäkerhet". Memo 92-01, ASLAB, IDA, Linköping University. In Swedish. 1992.
E. Sandewall: The Proposal for a ProArt Datastructure Exchange Format (PAD).
B. Savén, J. Villegas: The Evolution of the User Role in Simulation Studies. Third Annual Conference on Computer and Information Science, Linköping University, Linköping,
Sweden, 1992.
H. Shu: Reactive Planning Based on the Models of Discrete Event Systems: submitted to ECAI-92.
H. Shu: Translating Interval-based Constraints to Point-based Constrains: submitted to AAAI-92.
H. Shu: Action Arbitration in Reactive Planning: submitted to AAAI-92.
L. Strömbäck: Unifying Disjunctive Feature Structures. LiTH-IDA-R-91-35.
B. Svensson, P. Hedblom, T. af Klercker, P. Lindblom, E. Rauch, G. Tibblin, T. Timpka: Utveckling och hantering av elektroniskt informationsmaterial. Svenska Läkarsällskapets Riksstämma. Hygia 1992;101. (Abstract).
T. Timpka: Dagliga dilemmor på en vårdcentral. Svenska Läkarsällskapets Riksstämma. Hygia 1991;100. (Abstract).
R. Ubar: Functional Level Testability Analysis for Digital Circuits. LiTH-IDA-R-92-03.
J. Villegas, M. Sjölin: Industrial Training with Simulation Games. Third Annual Conference on Computer and Information Science, Linköping University, Linköping, Sweden, 1992.
No 298 R. G. Larsson: Aktivitetsbaserad kalkylering i ett nytt ekonomisystem, 1991.
No 318 L. Srömbäck: Studies in Extended Unification-Based Formalism for Linguistic Description: An Algorithm for Feature Structures with Disjunction and a Proposal for Flexible Systems, 1992.
No 319 M. Pettersson: DML-A Language and System for the Generation of Efficient Compilers from Denotational Specifications, 1992.
No 326 A. Kågedal: Logic Programming with External Procedures: an Implementation, 1992.
No 252 P. Eklund: An Epistemic Approach to Interactive Design in Multiple Inheritance Hierarchies, 1991.
No 258 P. Doherty: NML3 - A Non-Monotonic Formalism with Explicit Defaults, 1991.
No 260 N. Shahmehri: Generalized Algorithmic Debugging, 1991.
No 264 N. Dahlbäck: Representations of Discourse, Cognitive and Computational Aspects, 1992.
No 265 U. Nilsson: Abstract Interpretations and Abstract Machines: Contributions to a Methodology for the Implementation of Logic Programs, 1992.
No 270 R. Rönnquist: Theory and Practice of Tense-bound Object References, 1992.
No 273 B. Fjellborg: Pipeline Extraction for VLSI Data Path Synthesis, 1992.
No 276 S. Bonnier: A Formal Basis for Horn Clause Logic with External Polymorphic Functions, 1992.
No 277 K. Sandahl: Developing Knowledge Management Systems with an Active Expert Methodology, 1992.<