Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator.

Chrysafis Hartonas

Published in: CoRR (2023)

Keyphrases

image processing
database
logic programs
neural network
learning algorithm
association rules
integrity constraints
nonmonotonic reasoning