Contents of Fundamenta Informaticae Volume 94


Number 1,  2009

Number 2,  2009

Number 3-4,  2009


Contents of Volume 94, Number 1, 2009

Click on title for abstract


Timed P Automata
Roberto Barbuti,  Andrea Maggiolo-Schettini,  Paolo Milazzo,  Luca Tesei

Clausal Tableaux for Multimodal Logics of Belief
Rajeev Goré,  Linh Anh Nguyen

Algebraic Properties of Generalized Rough Sets
Michiro Kondo

First-order Generalization of the MPMA Belief Update Operator
Ewa Madalińska-Bugaj, Witold Łukaszewicz

The Injectivity of the Global Function of a Cellular Automaton in the Hyperbolic Plane is Undecidable
Maurice Margenstern

Greedy Algorithms with Weights for Construction of Partial Association Rules
Mikhail Ju. Moshkov,  Marcin Piliszczuk,  Beata Zielosko


Contents of Volume 94, Number 2, 2009

Click on title for abstract


Fundamentals of Knowledge Technology - Preface

An Extended Comparison of Six Approaches to Discretization - A Rough Set Approach
Piotr Blajdo, Jerzy W. Grzymała-Busse,  Zdzisław S. Hippe,   Maksymilian Knap,  Teresa Mroczek,  Łukasz Piątek

Dominance-Based Rough Sets Using Indexed Blocks as Granules
Chien-Chung Chan, Gwo-Hshiung Tzeng

Approximation Algebra and Framework
Davide Ciucci

Learning Rule Ensembles for Ordinal Classification with Monotonicity Constraints
Krzysztof Dembczyński,  Wojciech Kotowski,  Roman Słowiński

Single 2D Image-based 3D Face Reconstruction and Its Application in Pose Estimation
Xun Gong,  Guoyin Wang,  Lili Xiong

Pairwise Comparisons Based Non-Numerical Ranking
Ryszard Janicki

A Two-Phase Model for Learning Rules from Incomplete Data
Huaxiong Li,  Yiyu Yao,  Xianzhong Zhou,  Bing Huang

Semi-supervised Rough Cost/Benefit Decisions
Pawan Lingras,  Min Chen,  Duoqian Miao

An Incremental Approach for Inducing Knowledge from Dynamic Information Systems
Dun Liu, Tianrui Li, Da Ruan,  Weili Zou

An Integration of Cloud Transform and Rough Set Theory to Induction of Decision Trees
Jing Song,  Tianrui Li,  Da Ruan


Contents of Volume 94, Number 3-4, 2009

Click on title for abstract


Fundamenta Informaticae (2009) Petri Nets 2008 - Preface

Synthesis of Nets with Step Firing Policies
Philippe Darondeau, Maciej Koutny,  Marta Pietkiewicz-Koutny,  Alex Yakovlev

A Net-based Approach to Web Services Publication and Replaceability
Filippo Bonchi,  Antonio Brogi,  Sara Corfini,  Fabio Gadducci

Unfolding Semantics of Petri Nets Based on Token Flows
Robin Bergenthum,  Sebastian Mauser,  Robert Lorenz,  Gabriel Juhas

Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario
Lars M. Kristensen, Paul Fleischer

Process Discovery using Integer Linear Programming
J.M.E.M. van der Werf,  B.F. van Dongen,  C.A.J. Hurkens,  A. Serebrenik

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
Alexandre Hamez,  Yann Thierry-Mieg,  Fabrice Kordon

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Roland Meyer,  Victor Khomenko, Tim Strazny