Answer sets and constructive logic, II: extended logic programs and related nonmonotonic formalisms
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
VPRSM Approach to WEB Searching
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
A Logic Programming Framework for Rough Sets
TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
A four-valued logic for rough set-like approximate reasoning
Transactions on rough sets VI
A framework for reasoning with rough sets
Transactions on Rough Sets IV
From Rough Sets to Rough Knowledge Bases
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Hi-index | 0.00 |
We propose a logic programming language which makes it possible to define and to reason about rough sets. In particular we show how to test for rough inclusion and rough equality. This extension to our previous work [7] is motivated by the need of these concepts in practical applications.