Fundamenta Informaticae, Volume 30

Volume 30, Numbers 1, April 1997

William I. Gasarch, Mahendran Velauthapillai: Asking Questions Versus Verifiability. 1-9
Astrid Kiehn, Matthew Hennessy: On the Decidability of Non-Interleaving Process Equivalences. 11-30
Klaus Madlener, Friedrich Otto: Some Undecidability Results for Finitely Generated Thue Congruences on aTwo-Letter Alphabet. 31-44
Gheorghe Paun: Controlled H Systems and Chomsky Hierarchy. 45-57
Nicolas Peltier: Tree Automata and Automated Model Building. 59-81
Boris A. Trakhtenbrot: On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity. 83-95
Józef Winkowski: A Representation of Processes of Petri Nets by Matrices. 97-107
Yan Zhang, Norman Y. Foo: Deriving Invariants and Constraints from Action Theories. 109-123

Serban A. Basarab: Directions and Foldings on Generalized Trees. 125-149
Nicholas V. Findler: Some Techniques of Reducing the Dangers of Combinatiorial Explosion in Automatic Knowledge Acquisition. 151-160
Lucian Ilie: On the Computational Complexity of Marcus Contextual Languages. 161-167
Maciej Kandulski: On Generalized Ajdukiewicz and Lambek Calculi and Grammars. 169-181
Erkki Mäkinen, Ferucio Laurentiu Tiplea: Pattern Ambiguities for Pure Context-Free Grammars. 183-191
Mercè Llabrés, Francesc Rosselló: Double-Pushout Hypergraph Rewriting Using Total Conformisms. 193-226

Intelligent Information Systems

Peter Clark, Cao Feng, Stan Matwin, Ko Fung: Improving Image Classification by Combining Statistical, Case-Based and Model Based Prediction Methods. 227-240
Marek J. Druzdzel: Five Useful Properties of Probabilistic Knowledge Representations From the Point of View of Intelligent Systems. 241-254
Jerzy W. Grzymala-Busse: Classification of Unseen Examples Under Uncertainty. 255-267
Gregory E. Kersten, Stan Szpakowicz: Formal Account of Sequential Decision-Making in a Co-Operative Setting. 269-281
Ryszard S. Michalski: Seeking Knowledge in the Deluge of Facts. 283-297
Adam Mrózek, Leszek Plonka: Knowledge Representation in Fuzzy and Rough Controllers. 299-311
Zbigniew W. Ras, Sucheta Joshi: Query Approximate Answering System for an Incomplete DKBS. 313-324
Marek Rusinkiewicz, Mauro Bregolin: Transactional Workflows in Distributed Systems. 325-344
Andrzej Skowron, Lech Polkowski: Decision Algorithms: A Survey of Rough Set - Theoretic Methods. 345-358
Slawomir T. Wierzchon, Mieczyslaw A. Klopotek, Maciej Michalewicz: Reasoning and Facts Explanation in Valuation Based Systems. 359-371
Wojciech Ziarko, Ning Shan: Machine Learning Through Data Classification and Reduction. 373-382
Jan M. Zytkow, Robert Zembowicz: Contigency Tables as the Foundation for Concepts, Concept Hierarchies and Rules: The 49er System Approach. 383-399