A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property.

Published in: Stud Logica (2021)

Keyphrases

formal model
computational model
experimental data
mathematical model
probabilistic model
theoretical framework
statistical model
conceptual model
data sets
neural network
genetic algorithm
image segmentation
objective function
prior knowledge
management system
logic programming