Fundamenta Informaticae, Volume 30

Volume 30, Numbers 1, April 1997

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

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

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