A light non-monotonic knowledge-base for service robots
A Logic for Default Reasoning