Fundamenta Informaticae, Volume 31

Contents of Fundamenta Informaticae Volume 31.

Number 1 , July1997
Number 2, August 1997
Number 3, September 1997

Contents of Volume 31, Number 1, July1997

Click on title for abstract

Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical
Models)
W. BUSZKOWSKI and
M. KOLOWSKA-GAWIEJNOWICZ
Petri Nets, Commutative Context-Free Grammars, and
Basic Parallel Processes
J. ESPERANZA
A New Version of the Rule Induction System LERS
J. W. GRZYMALA-BUSSE
On a Hierarchy of Slender Languages Based on Control Sets
T. KOSHIBA
On Learning Decision Structures
R. S. MICHALSKI and I. F. IMAM
From Dissemilattices to Snack Algebras
A. ROMANOWSKA
Formal Verification and Diagnosis of Combinational Circuit Designs with Propositional Logic
S.-J. LEE and W.-J.LIN Contents of Volume 31, Number 2, August1997 Click on title for abstract
Extension Rule for Non-Clausal Propositional Calculus
K. MAJORINC
Natural Computation for Natural Language
C. MARTIN-VIDE
Partial Structural Synthesis of Programs
M. MATSKIN and J. KOMOROWSKI
Bounds on Average Weighted Depth of Decision Trees
M. MOSHKOV and I. CHIKALOV
Unimprovable Upper Bounds on Time Complexity of Decision Trees
M. MOSHKOV
Controlled H Systems of Small Radius
A. PAUN
An Abstract Approach to Some Loop Detection Problems
D. SKORDEV
Contents of Volume 31, Number 3-4, September1997

Click on title for abstract
Click on title for abstract
Rough Sets and 3-valued Lukasiewicz Logic
M. BANERJEE
Well-Founded Semantics for Default Logic
G. BREWKA and G. GOTTLOB
Defining BDI with Abstract Languages
H-D. BURKHARD The σ-Semantics: A Comprehensive Semantics for Functional Programs O. CHITIL
Modal Logics for Local and Global Similarity Relations
A. DENEVA and D. VAKARELOV
Processes in Cause-Effect Systems
A. MAGGIOLO-SCHETTINI and G. MATTEUCCI
U. MONTANARI and G. RISTORI