<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-12-22 08:14:41Non-classical logic Propositional calculus Knowledge representation Logical syntax Default logic Autoepistemic logic Circumscription Non-monotonic logic Well-formed formula Logic Mathematical logic Logic programming |
