Fundamenta Informaticae, Volume 63

Volume 63, Number 1, 2004

• Kimmo Fredriksson, Jorma Tarhio:
  Efficient String Matching in Huffman Compressed Texts. 1-16
  
• Richard Holzer:
  Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part I. 17-39
  
• Richard Holzer:
  Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part II. 41-63
  
• Bozena Wozna:
  ACTLS properties and Bounded Model Checking. 65-87
  
• Hsien-Chu Wu, Chin-Chen Chang:
  Embedding Invisible Watermarks into Digital Images Based on Side-Match Vector Quantization. 89-106
  

Volume 63, Number 2-3, 2004

• Onn Shehory:
  Coalition Formation: Towards Feasible Solutions. 107-124
  
• Danny Weyns, Tom Holvoet:
  A Formal Model for Situated Multi-Agent Systems. 125-158
  
• Huib Aldewereld, Wiebe van der Hoek, John-Jules Ch. Meyer:
  Rational Teams: Logical Aspects of Multi-Agent Systems. 159-183
  
• Wojciech Jamroga, Wiebe van der Hoek:
  Agents that Know How to Play. 185-219
  
• Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek:
  From Bounded to Unbounded Model Checking for Temporal Epistemic Logic. 221-240
  
• Antoni W. Mazurkiewicz:
  Multilateral Ranking Negotiations. 241-258
  
• Hendrik Wietze de Haan, Wim H. Hesselink, Gerard R. Renardel de Lavalette:
  Knowledge-Based Asynchronous Programming. 259-281
  
• Barbara Dunin-Keplicz, Rineke Verbrugge:
  A Tuning Machine for Cooperative Problem Solving. 283-307
  

Volume 63, Number 4, 2004

• Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo:
  A Timed Linda Language and its Denotational Semantics. 309-330
  
• Gianpiero Cattaneo, Davide Ciucci, Roberto Giuntini, Martin Konig:
  Algebraic Structures Related to Many Valued Logical Systems. Part I: Heyting Wajsberg Algebras. 331-355
  
• Gianpiero Cattaneo, Davide Ciucci, Roberto Giuntini, Martin Konig:
  Algebraic Structures Related to Many Valued Logical Systems. Part II: Equivalence Among some Widespread Structures. 357-373
  
• Norbert Dojer:
  Applying term rewriting to partial algebra theory. 375-384
  
• Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer:
  Modeling and Verification of Reactive Systems using Rebeca. 385-410