Journal: Fundamenta Informaticae

Volume 30, Issue 3/4

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

Volume 30, Issue 2

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

Volume 30, Issue 1

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