Fundamenta Informaticae, Volume 46

Volume 46, Number 1-2, April 2001

Anthony G. Cohn, Shyamanta M. Hazarika: Qualitative Spatial Representation and Reasoning: An Overview. 1-29
Ernest Davis: Continuous Shape Transformation and Metrics on Regions. 31-54
Antony Galton: Dominance Diagrams: A Tool for Qualitative Reasoning About Continuous Systems. 55-70
Ivo Düntsch, Ewa Orlowska, Hui Wang: Algebras of Approximating Regions. 71-82
Lech Polkowski: On Connection Synthesis via Rough Mereology. 83-96
Thomas Bittner: The Qualitative Structure of Built Environments. 97-128
Dominik J. Schoop: Points in point-free mereotopology. 129-143
Brandon Bennett: A Categorical Axiomatisation of Region-Based Geometry. 145-158
Ian Pratt-Hartmann: Empiricism and Rationalism in Region-based Theories of Space. 159-186

Sergio A. Celani: A Fragment of Intuitionistic Dynamic Logic. 187-197
Churn-Jung Liau, Duen-Ren Liu: A Possibilistic Decision Logic with Applications. 199-217
Andries Petrus Engelbrecht: Sensitivity Analysis for Selective Learning by Feedforward Neural Networks. 219-252
Ferucio Laurentiu Tiplea, Erkki Mäkinen: A Note on SE-Systems and Regular Canonical Systems. 253-256
Rakesh M. Verma, Michaël Rusinowitch, Denis Lugiez: Algorithms and Reductions for Rewriting Problems. 257-276

Radim Belohlávek: Reduction and a Simple Proof of Characterization of Fuzzy Concept Lattices. 277-285
Martin Dietzfelbinger, Anna Gambin, Slawomir Lasota: On Different Models for Packet Flow in Multistage Interconnection Networks. 287-314
Linh Anh Nguyen: The Modal Query Language MDatalog. 315-342
Jan Ostravsky: Prelanguages Versus Submonoids. 343-348
Christian Ronse, Jean Serra: Geodesy and connectivity in lattices. 349-395