Adaptive Access to a Proof Planner.

Erica Melis Andreas Meier Martin Pollet

Published in: MKM (2004)

Keyphrases

access control
real time
heuristic search
random access
machine learning
information systems
information access