Decidability and Confluence of \beta\eta\hboxtop_\le Reduction in F_\le

Pierre-Louis Curien Giorgio Ghelli

Published in: Inf. Comput. (1994)

Keyphrases

artificial intelligence
machine learning
expert systems
description logics
real time
data sets
clustering algorithm
face recognition