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

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

A Partial Order Representation of Processes of Transforming Graphs
A. MAGGIOLO-SCHETTINI and J. WINKOWSKI  
 A Concurrent Functional Semantics for a Process Algebra Based on Action Systems
U. MONTANARI and G. RISTORI

The Block Product of Categories and  Tilson's Division
J-F. REY
The Kernel of a Relational Morphism of Categories
J-F. REY