Computing Implications with Negation from a Formal Context
Rokia Missaoui, Lhouari Nourine, Yoan Renaud · Fundamenta Informaticae · 2012
The objective of this article is to define an approach towards generating implications with (or without) negation when only a formal context K = (G, M, I) is provided. To that end, we define a two-step procedure which first (i) computes implications