- On a Logical Basis of Normal Logic Programs
- A. BOCHMAN
- A Method in Linguistic Reasoning on a Knowledge Base Representing by Sentences with Linguistic Belief Degreee
- NGUYEN CAT HO
- A Reduction Result for Circumscribed Semi-Horn Formulas
- P. DOHERTY, W. LUKASIEWICZ and A. SZALAS
- A Rough Set Model of Information Retrieval
- J. GREEEN, N. HORNE, E. ORLOWSKA and P. SIEMERS
- Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis.
- D. GRIGORIEV, M. KARPINSKI and A. M. ODLYZKO
- On Semantics for the Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection
- A. GOMOLINSKA
- Parallel Communicating Grammar Systems with Negotiation
- G. PAUN, L. POLKOWSKI and A. SKOWRON
- Argumentation Systems
- S. RADEV
- Dynamic Behaviour of Spatial Signal OR-Graphs
- W. SKARBEK
- Discovery of Concurrent Data Models from Experimental Tables: A Rough Set Approach
- Z. SURAJ
- A Two-Stage Approach to First Order Default Reasoning
- K. SZLECHTA
- Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets
- J. WINKOWSKI
- Theoretical Foundations of Order-Based Genetic Algorithms
- J. WROBLEWSKI
Number 1-2, November 1996