Fast Prototyping of a Solver for Reduct-based ELP Semantics.

Stefania Costantini Andrea Formisano

Published in: CILC (2023)

Keyphrases

rough sets
rough set theory
formal semantics
decision rules
decision table
logic programming
neural network
pattern recognition
support vector
conceptual model
reasoning tasks
rough sets theory
quantified boolean formulas