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