1. IS/KI 1990: Ulm, Germany

• Stefan Böttcher:
  A Semantics for the Integration of Database Modifications and Transaction Brackets into a Logic Programming Language. 1-10
  
• Gerhard Brewka:
  Handling Incomplete Knowledge in Artificial Intelligence. 11-29
  
• François Bry:
  Negation in Logic Programming: A Formalization in Constructive Logic. 30-46
  
• Günther Görz:
  Database Support for Knowledge Representation? 47-61
  
• Dieter Hovekamp, Michael Sandfuchs:
  A KBMS for BABYLON. 62-86
  
• Thomas Ludwig, Bernd Walter:
  Database Concepts for the Support of Knowledge-Based Systems. 87-103
  
• Rainer Manthey:
  Integrity and Recursion: Two Key Issues for Deductive Databases. 104-126
  
• Nelson Mendonça Mattos:
  An Approach to DBS-based Knowledge Management. 127-152
  
• John Mylopoulos, Michael L. Brodie:
  Knowledge Bases and Databases: Current Trends and Future Directions. 153-180
  
• Bernhard Nebel, Christof Peltason:
  Terminological reasoning and Information Management. 181-212
  
• Gunter Saake:
  Conceptual Modeling of Database Applications. 213-232
  
• Helmut Thoma:
  Information Analysis: A step by step Clarification of Knowledge and Requirements. 233-255
  
• Angi Voß:
  Model-Based Knowledge Acquisition. 256-272
  
• Helmut Thoma:
  Practical Experiences - a Panel Session. 273
  
• Hans-Peter Hoidn:
  Practical Experiences in Coupling Knowledge Bases and Database in a Productive Environment. 274-282
  
• Nelson Mendonça Mattos:
  Performance Measurements and Analysis of Coupling Approaches of Database and Expert Systems and Consequences to their Integration. 283-288
  
• Wolfgang Sager:
  Integration of AI Systems in Conventional Environments. 289-293