![Logic programming / Modal logic / Philosophical logic / Reasoning / Default logic / Non-monotonic logic / Autoepistemic logic / First-order logic / Inference / Logic / Mathematical logic / Non-classical logic Logic programming / Modal logic / Philosophical logic / Reasoning / Default logic / Non-monotonic logic / Autoepistemic logic / First-order logic / Inference / Logic / Mathematical logic / Non-classical logic](https://www.pdfsearch.io/img/b2f0bac00ca0def3de2b7721d924bc45.jpg)
| Document Date: 2011-10-23 10:31:56 Open Document File Size: 492,56 KBShare Result on Facebook
City Haifa / / Company Th / IBM / NTHo / NMA / NEC / McDermott / / Country Israel / / Currency pence / USD / / Facility Israel Institute of Tecnology Haifa / / IndustryTerm similar operator / modal systems / / Organization Israel Department / Technion / Israel Institute of Tecnology Haifa / / Person Michael Tiomkin Michael Kaminski / / Product M-16 / M-9 / / ProgrammingLanguage Prolog / / Technology expert system / artificial intelligence / /
SocialTag |