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
Copyright ©
Sat May 16 23:59:22 2009 by
Michael Ley
(
ley@uni-trier.de
)