×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [closed world assumptionif]
Home >
closed world assumptionif
Cs344 Lect15 Robotic Knowledge Inferencing Prolog 11feb08
215 views
1 CS2136: Paradigms of Computation Class 03: Logic Programming Prolog Copyright 2001, 2002, 2003 Michael J. Ciaraldi and David Finkel.
217 views