Volume 28,
Numbers 1-2,
November 1996
Special Issue:
To the Memory of Prof. Helena Rasiowa
- José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski:
Belief Revision in Non-Monotonic Reasoning and Logic Programming.
1-22 BibTeX
- Krzysztof R. Apt, Rachel Ben-Eliyahu:
Meta-Variables in Logic Programming, or in Praise of Ambivalent Syntax.
23-36 BibTeX
- Howard A. Blair:
Designing Dependencies.
37-54 BibTeX
- Andrzej Blikle:
Why Denotational? Remarks on Applied Denotational Semantics.
55-85 BibTeX
- Jürgen Dix, Georg Gottlob, V. Wiktor Marek:
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations.
87-100 BibTeX
- Melvin Fitting:
A Modal Herbrand Theorem.
101-122 BibTeX
- Georg Gottlob, Miroslaw Truszczynski:
Approximating the Stable Model Semantics is Hard.
123-128 BibTeX
- Jieh Hsiang, Anita Wasilewska:
Automating Algebraic Proofs in Algebraic Logic.
129-140 BibTeX
- Grazyna Mirkowska, Andrzej Salwicki:
The Algebraic Specifications do not Have the Tennenbaum Property.
141-152 BibTeX
- Jan A. Plaza:
Logic Programming from the Perspective of Algebraic Semantics.
153-164 BibTeX
- Vaughan R. Pratt, Jerzy Tiuryn:
Satisfiability of Inequalities in a Poset.
165-182 BibTeX
- Boris A. Trakhtenbrot:
On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity.
183-195 BibTeX
- Pawel Urzyczyn:
Positive Recursive Type Assignment.
197-209 BibTeX
Volume 28,
Numbers 3-4,
December 1996
Special Issue:
To the Memory of Prof. Helena Rasiowa
- Mohua Banerjee, Mihir K. Chakraborty:
Rough Sets Through Algebraic Logic.
211-221 BibTeX
- Alexander Bochman:
On a Logical Basis of Normal Logic Program.
223-245 BibTeX
- Cat-Ho Nguyen:
A Method in Linguistic Reasoning on a Knowledge Base Representing by Sentences with Linguistic Belief Degree.
247-259 BibTeX
- Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas:
A Reduction Result for Circumscribed Semi-Horn Formulas.
261-271 BibTeX
- John Green, Neil Horne, Ewa Orlowska, Paul Siemens:
A Rough Set Model of Information Retrieval.
273-296 BibTeX
- Dima Grigoriev, Marek Karpinski, Andrew M. Odlyzko:
Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann.
297-301 BibTeX
- Anna Gomolinska:
On Semantics for the Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection.
303-313 BibTeX
- Gheorghe Paun, Lech Polkowski, Andrzej Skowron:
Parallel Communicating Grammar Systems with Negotiation.
315-330 BibTeX
- Slavian Radev:
Argumentation Systems.
331-346 BibTeX
- Wladyslaw Skarbek:
Dynamic Behaviour of Spatial Signal OR-Graphs.
347-352 BibTeX
- Zbigniew Suraj:
Discovery of Concurrent Data Models from Experimental Tables: A Rough Set Approach.
353-376 BibTeX
- Karl Schlechta:
A Two-Stage Approach to First Order Default Reasoning.
377-402 BibTeX
- Józef Winkowski:
Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets.
403-421 BibTeX
- Jakub Wroblewski:
Theoretical Foundations of Order-Based Genetic Algorithms.
423-430 BibTeX
Copyright © Sat May 16 23:59:23 2009
by Michael Ley (ley@uni-trier.de)