Report copyright - A Logic for Default Reasoning - Nottinghampsznza/G52HPA/articles/Reiter:80a.pdf · tweety is that it is a bird. Then we must establish the subgoal -aPENGUIN(tweety) A -aOSTRICH(tweety)
Please pass captcha verification before submit form