What the łukasiewicz Axioms mean.

Daniele Mundici

Published in: J. Symb. Log. (2020)

Keyphrases

data streams
knowledge base
first order logic
axiomatic characterization
image segmentation
information retrieval
search engine
case study
pattern recognition
pairwise
inductive logic programming