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