Fundamenta Informaticae, Volume 18

Volume 18, 1993

• Piero Pagliani: From Concept Lattices to Approximation Spaces: Algebraic Structures of Some Spaces of Partial Objects. 1-25
• Lila Kari: Generalized Derivatives. 27-39
• Henryk Jan Komorowski: A Prolegomenon to Partial Deduction. 41-64
• Iain A. Stewart: Logical Characterizations of Bounded Query Classes I: Logspace Oracle Machines. 65-92
• Iain A. Stewart: Logical Characterizations of Bounded Query Classes II: Polynomial-Time Oracle Machines. 93-105
• W. M. J. Ophelders, Harrie C. M. de Swart: Tableaux Versus Resolution a Comparison. 109-127
• Serge Garlatti: Default Logic Models of Certain Inheritance Systems with Exceptions. 129-149
• Daniele Mundici: Ulam Games, Lukasiewicz Logic, and AF C*-Algebras. 151-161
• Alexander Leitsch: Deciding Clause Classes by Semantic Clash Resolution. 163-182
• Su-Shing Chen: Spatial Mental Models in Cognitive Systems. 183-192
• Jerzy W. Grzymala-Busse: Selected Algorithms of Machine Learning from Examples. 193-207
• Michael Hadjimichael, Anita Wasilewska: Application of a Rough Set-Based Inductive Learning System. 209-220
• Cristina Baroglio, Marco Botta, Attilio Giordana: Learning Relations: An Evaluation of Search Strategies. 221-232
• Michael M. Richter: Some Recent Developments in the Representation and Processing of Knowledge. 233-248
• Magnus Steinby: Recognizable and Rational Subsets of Algebras. 249-266
• Maurizio Proietti, Alberto Pettorossi: An Abstract Strategy for Transforming Logic Programs. 267-286
• Ivan Korec: Definability of Arithmetic Operations from the Order and a Random Relation. 287-296
• Donald Perlis: Logic and Artificial Intelligence: A New Synthesis? 297-305
• Johan van Benthem: Modal Frame Classes Revisited. 307-317
• Jordi Rebagliato, Ventura Verdú: On the Algebraization of Some Gentzen Systems. 319-338
• Hugo Volger: Initial and Quasiinitial Models of Theories. 339-362