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

Last update Sat May 26 06:19:18 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page