Login / Signup
CAISL: Simplification Logic for Conditional Attribute Implications.
Estrella Rodríguez Lorenzo
Pablo Cordero
Manuel Enciso
Rokia Missaoui
Angel Mora Bonilla
Published in:
CLA (2016)
Keyphrases
</>
conditional logic
logic programming
preprocessing
modal logic
set theory
multiresolution
attribute values
nonmonotonic reasoning
default reasoning
logical framework
case study
computational properties
predicate logic
nonmonotonic inference
data sets
proof theory
multi valued
automated reasoning