Back to Results
First PageMeta Content
Logic programming / Science / Reasoning / Knowledge representation / Default logic / Non-monotonic logic / Inference / Circumscription / Nixon diamond / Logic / Non-classical logic / Mathematical logic


Compiling Specificity into Approaches to Nonmonotonic Reasoning James P. Delgrande School of Computing Science Simon Fraser University Burnaby, B.C.
Add to Reading List

Document Date: 2004-12-10 19:30:01

Open Document

File Size: 310,91 KB

Share Result on Facebook

Country

Canada / /

/

IndustryTerm

machinery / probabilistic reasoning systems / basic systems / basic machinery / inheritance network / expressed using inheritance networks / inheritance networks / /

Organization

Nonmonotonic Reasoning James P. Delgrande School of Computing Science Simon Fraser University Burnaby / /

Person

Fe An / Nixon / /

Position

WB / ¬WB / P t⊃¬WB / /

SocialTag