Contents of Fundamenta Informaticae Volume 63.


Number 1, September 2004
Number 2-3, October 2004
Number 4, October 2004

Contents of Volume 63, Number 1, September 2004
Click on title for abstract


Efficient String Matching in Huffman Compressed Texts
Kimmo Fredriksson and Jorma Tarhio

Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part I
Richard Holzer

Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part II
Richard Holzer

ACTLS properties and Bounded Model Checking
Bożena Woźna

Embedding Invisible Watermarks into Digital Images Based on Side-Match Vector Quantization
Hsien-Chu Wu and Chin-Chen Chang


Contents of Volume 63, Number 2-3, October 2004
Click on title for abstract


Preface

Coalition Formation: Towards Feasible Solutions
Onn Shehory

A Formal Model for Situated Multi-Agent Systems
Danny Weyns and Tom Holvoet

Rational Teams: Logical Aspects of Multi-Agent Systems
Huib Aldewereld, Wiebe van der Hoek and John-Jules Meyer

Agents that Know How to Play
Wojciech Jamroga and Wiebe van der Hoek

From Bounded to Unbounded Model Checking for Temporal Epistemic Logic
M. Kacprzak, A. Lomuscio and W. Penczek

Multilateral Ranking Negotiations
Antoni Mazurkiewicz

Knowledge-Based Asynchronous Programming
Hendrik Wietze de Haan, Wim H. Hesselink and Gerard R. Renardel de Lavalette

A Tuning Machine for Cooperative Problem Solving
Barbara Dunin-Kęplicz, and Rineke Verbrugge


Contents of Volume 63, Number 4, December 2004
Click on title for abstract


A Timed Linda Language and its Denotational Semantics
Frank S. de Boer, Maurizio Gabbrielli and Maria C. Meo

Algebraic Structures Related to Many Valued Logical Systems Part I: Heyting Wajsberg Algebras
Gianpiero Cattaneo, Davide Ciucci, Roberto Giuntini and Martin Konig

Algebraic Structures Related to Many Valued Logical Systems Part II: Equivalence Among some Widespread Structures
Gianpiero Cattaneo, Davide Ciucci, Roberto Giuntini and Martin Konig

Applying term rewriting to partial algebra theory
Norbert Dojer

Modeling and Verification of Reactive Systems using Rebeca
Marjan Sirjani, Ali Movaghar, Amin Shali and Frank S. de Boer