The axioms for latticoids and their associative extensions.

Boleslaw Sobocinski

Published in: Notre Dame J. Formal Log. (1976)

Keyphrases

knowledge base
first order logic
decision trees
database
three dimensional
image sequences
data sets
information retrieval
genetic algorithm
artificial intelligence
expressive power
efficient implementation
default logic
argumentation semantics
axiomatic characterization