Xania Workshop 1985

Joachim W. Schmidt, Costantino Thanos (Eds.): Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence, Book resulting from the Xania Workshop 1985. Springer, 1989, Topics in Information Systems, ISBN 3-540-18987-4

Logic and Knowledge Representation

Wolfgang Bibel, Jean-Marie Nicolas: The Role of Logic for Data and Knowledge Bases: A Brief Summary. 3-22
Robert A. Kowalski, Marek J. Sergot: A Logic-Based Calculus of Events. 23-55
Enrico Motta, Maria Simi, Giuseppe Attardi: Metalanguage and Databases. 57-72
Robert Demolombe, Luis Fariñas del Cerro: Efficient Representation of Incomplete Information About Structured Objects. 73-89
Amílcar Sernadas, Cristina Sernadas: Abstraction and Inference Mechanism for Knowledge Representation. 91-116

From Data to Facts and Rules

Hervé Gallaire, Jean-Marie Nicolas: How to Look at Deductive Databases. 119-130
Georges Gardarin, Christophe de Maindreville, Eric Simon: Extending a Relational DBMS Towards a Rule-Based System: An Approach Using Predicate Transition Nets. 131-152
Joachim W. Schmidt, Lingyuan Ge, Volker Linnemann, Matthias Jarke: Integrated Fact and Rule Management Based on Relational Technology. 153-178
Luigia Carlucci Aiello, Carlo Cecchi: Adding a Closure Operator to the Extended Relational Algebra: A Further Step Towards the Integration of Database Techniques and Logic Programming. 179-202

Architectural Issues in Data and Knowledge Base Integration

Michael L. Brodie, Frank Manola: Database Management: A Survey. 205-240
Erich J. Neuhold, Michael Schrefl: Towards Databases for Knowledge Representation. 241-257
John Miles Smith: Large-Scale Knowledge Systems. 259-281
Antonio Albano, Giuseppe Attardi: Issues in Data Base and Knowledge Base Integration. 283-291
Brian A. Nixon, Lawrence Chung, David Lauzon, Alexander Borgida, John Mylopoulos, Martin Stanley: Design of a Compiler for a Semantic Data Model. 293-343
Istvan P. Orci, Dan Sahlin: Two-Mode Evaluation for Dealing with Implicit Interactions Between Logic Programs and Relational Data Bases. 345-371
Janis A. Bubenko Jr., Istvan P. Orci: Knowledge Base Management Systems: A Database View. 373-378

Knowledge Base Management for AI Applications

Matthias Jarke, Bernd Neumann, Yannis Vassiliou, Wolfgang Wahlster: KBMS Requirements of Knowledge-Based Systems. 381-394
Antonio Albano: Conceptual Languages: A Comparison of ADAPLEX, Galileo and Taxis. 395-409
Alexander Borgida, Matthias Jarke, John Mylopoulos, Joachim W. Schmidt, Yannis Vassiliou: The Software Development Environment as a Knowledge Base Management System. 411-442
Bernd Neumann: Retrieving Events from Geometrical Descriptions of Time-Varying Scenes. 443-452
Wolfgang Bibel: A Deductive Solution for Plan Generation. 453-473

Concluding Remarks

Robert A. Kowalski: The Limitaions of Logic and Its Role in Artificial Intelligence. 477-493
John Mylopoulos: The Need for a Knowledge Representation Framework. 495-498
Dennis Tsichritzis: DB Ideas for KBMS. 499-504
Erik Sandewall: On Application-Oriented and Tool-Oriented Theories. 505-513