Number 1,
September 2004Number 2-3,
October 2004Number 4,
October 2004Contents of Fundamenta Informaticae Volume 63.
Number 1,
September 2004Number 2-3,
October 2004Number 4,
October 2004Efficient 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
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
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