A standardisation proof for algebraic pattern calculi

Delia Kesner Carlos Lombardi Alejandro Ríos

Published in: HOR (2010)

Keyphrases

sequent calculi
learning technologies
pattern matching
databases
association rules
theorem proving
qualitative spatial
neural network
information retrieval
artificial intelligence
case study
bayesian networks
fuzzy logic
higher order
similar patterns