Fundamenta Informaticae, Volume 106

Volume 106, Number 1, 2011

• Norihiro Kamide, Heinrich Wansing:
  A Paraconsistent Linear-time Temporal Logic. 1-23
  
• Guohua Liu, Jia-Huai You:
  Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. 25-43
  
• Indrajit Saha, Ujjwal Maulik, Sanghamitra Bandyopadhyay, Dariusz Plewczynski:
  Unsupervised and Supervised Learning Approaches Together for Microarray Analysis. 45-73
  
• Zhenjun Tang, Shuozhong Wang, Xinpeng Zhang, Weimin Wei:
  Structural Feature-Based Image Hashing and Similarity Metric for Tampering Detection. 75-91
  
• Alicja Wakulicz-Deja, Malgorzata Przybyla-Kasperek:
  Application of the Method of Editing and Condensing in the Process of Global Decision-making. 93-117
  

Volume 106, Numbers 2-4, 2011

• Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz:
  Preface.
  
• Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz:
  Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property. 119-147
  
• Gianluca Amato, Francesca Scozzari:
  Observational Completeness on Abstract Interpretation. 149-173
  
• Francesco Belardinelli, Alessio Lomuscio:
  First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. 175-190
  
• Carlos Caleiro, Ricardo Gonçalves:
  Towards a Behavioral Algebraic Theory of Logical Valuations. 191-209
  
• Philippe de Groote, Sylvain Pogodalla, Carl Pollard:
  About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar. 211-231
  
• Sebastian Link:
  On Inferences of Full First-Order Hierarchical Decompositions. 233-258
  
• Juha Kontinen, Ville Nurmi:
  Team Logic and Second-Order Logic. 259-272
  
• Yoshihiro Maruyama:
  Dualities for Algebras of Fitting's Many-Valued Modal Logics. 273-294
  
• Juan Carlos Nieves, Mauricio Osorio, Claudia Zepeda:
  A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory. 295-319
  
• Ren-June Wang:
  Knowledge, Time, and the Problem of Logical Omniscience. 321-338
  

Last update Mon May 20 00:58:05 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page