MædMax: A Maximal Ordered Completion Tool.

Sarah Winkler Georg Moser

Published in: IJCAR (2018)

Keyphrases

website
machine learning
databases
lower bound
user interface
user defined
partially ordered