- Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning (Intelligent Systems Reference Library)
- Reasoning with Rough Sets: Logical Approaches to Granularity-Based Framework
- Towards Paraconsistent Engineering
- Topics in Rough Set Theory : Current Applications to Granular Computing
- Epistemic Situation Calculus Based on Granular Computing: A New Approach to Common-Sense Reasoning







