The top documents tagged [closed world assumption]
thesis proposal
22 views
Prolog
131 views
Prolog
92 views
OpenHPI 5.2 - DL Inference and Reasoning
296 views
PROLOG cheatsheet
914 views