Contents of Fundamenta Informaticae Volume 106


Number 1,  2011

Number 2-4,  2011


Contents of Volume 106, Number 1, 2011

Click on title for abstract


A Paraconsistent Linear-time Temporal Logic
Norihiro Kamide,  Heinrich Wansing

Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs
Guohua Liu and Jia-Huai You

Unsupervised and Supervised Learning Approaches Together for Microarray Analysis
Indrajit Saha, Ujjwal Maulik,  Sanghamitra Bandyopadhyay,  Dariusz Plewczynski

Structural Feature-Based Image Hashing and Similarity Metric for Tampering Detection
Zhenjun Tang,  Shuozhong Wang,  Xinpeng Zhang,  Weimin Wei

Application of the Method of Editing and Condensing in the Process of Global Decision-making
Alicja Wakulicz-Deja,  Małgorzata Przybyła-Kasperek


Contents of Volume 106, Number 2-4, 2011

Click on title for abstract


Logic, Language, Information and Computation.  Preface.

Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property
Gleifer V. Alves,  Anjolina G. de Oliveira,  Ruy de Queiroz

Observational Completeness on Abstract Interpretation
Gianluca Amato,  and Francesca Scozzari

First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
Francesco Belardinelli,  Alessio Lomuscio

Towards a Behavioral Algebraic Theory of Logical Valuations
Carlos Caleiro,  Ricardo Gonçalves

About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar
Philippe de Groote,  Sylvain Pogodalla,  Carl Pollard

On Inferences of Full First-Order Hierarchical Decompositions
Sebastian Link

Team Logic and Second-Order Logic
Juha Kontinen,  Ville Nurmi

Dualities for Algebras of Fitting's Many-Valued Modal Logics
Yoshihiro Maruyama

A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory
Juan Carlos Nieves,  Mauricio Osorio,  Claudia Zepeda

Knowledge, Time, and the Problem of Logical Omniscience
Ren-June Wang