Login / Signup
Parameterized simplification logic I: reasoning with implications and classes of closure operators.
Pablo Cordero
Manuel Enciso
Angel Mora
Vilém Vychodil
Published in:
Int. J. Gen. Syst. (2020)
Keyphrases
</>
closure operator
closed sets
knowledge representation
logic programming
first order logic
preprocessing
machine learning
artificial intelligence
knowledge base
probabilistic model
case based reasoning
production rules
set theory