Journal: Fundamenta Informaticae

Volume 28, Issue 3-4

211 -- 221Mohua Banerjee, Mihir K. Chakraborty. Rough Sets Through Algebraic Logic
223 -- 245Alexander Bochman. On a Logical Basis of Normal Logic Program
247 -- 259Cat-Ho Nguyen. A Method in Linguistic Reasoning on a Knowledge Base Representing by Sentences with Linguistic Belief Degree
261 -- 271Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas. A Reduction Result for Circumscribed Semi-Horn Formulas
273 -- 296John Green, Neil Horne, Ewa Orlowska, Paul Siemens. A Rough Set Model of Information Retrieval
297 -- 301Dima Grigoriev, Marek Karpinski, Andrew M. Odlyzko. Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann
303 -- 313Anna Gomolinska. On Semantics for the Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection
315 -- 330Gheorghe Paun, Lech Polkowski, Andrzej Skowron. Parallel Communicating Grammar Systems with Negotiation
331 -- 346Slavian Radev. Argumentation Systems
347 -- 352Wladyslaw Skarbek. Dynamic Behaviour of Spatial Signal OR-Graphs
353 -- 376Zbigniew Suraj. Discovery of Concurrent Data Models from Experimental Tables: A Rough Set Approach
377 -- 402Karl Schlechta. A Two-Stage Approach to First Order Default Reasoning
403 -- 421Józef Winkowski. Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets
423 -- 430Jakub Wroblewski. Theoretical Foundations of Order-Based Genetic Algorithms

Volume 28, Issue 1-2

1 -- 22José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski. Belief Revision in Non-Monotonic Reasoning and Logic Programming
23 -- 36Krzysztof R. Apt, Rachel Ben-Eliyahu. Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax
37 -- 54Howard A. Blair. Designing Dependencies
55 -- 85Andrzej Blikle. Why Denotational? Remarks on Applied Denotational Semantics
87 -- 100Jürgen Dix, Georg Gottlob, V. Wiktor Marek. Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations
101 -- 122Melvin Fitting. A Modal Herbrand Theorem
123 -- 128Georg Gottlob, Miroslaw Truszczynski. Approximating the Stable Model Semantics is Hard
129 -- 140Jieh Hsiang, Anita Wasilewska. Automating Algebraic Proofs in Algebraic Logic
141 -- 152Grazyna Mirkowska, Andrzej Salwicki. The Algebraic Specifications do not Have the Tennenbaum Property
153 -- 164Jan A. Plaza. Logic Programming from the Perspective of Algebraic Semantics
165 -- 182Vaughan R. Pratt, Jerzy Tiuryn. Satisfiability of Inequalities in a Poset
183 -- 195Boris A. Trakhtenbrot. On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity
197 -- 209Pawel Urzyczyn. Positive Recursive Type Assignment