On the cardinality of some families of discrete connectives.

Marc Munar Sebastià Massanet Daniel Ruiz-Aguilera

Published in: Inf. Sci. (2023)

Keyphrases

discrete geometry
inference rules
translation invariant
discrete version
data sets
machine learning
information retrieval
image processing
expert systems
mobile robot
artificial neural networks
logic programs
first order logic
finite number
computational geometry
cardinality constraints