First Page | Document Content | |
---|---|---|
![]() Date: 2004-12-10 19:30:01Logic programming Science Reasoning Knowledge representation Default logic Non-monotonic logic Inference Circumscription Nixon diamond Logic Non-classical logic Mathematical logic | Add to Reading List |