Now showing items 1-10 of 1
004.015113 (1) |
Circumscription (1) |
Common-sense reasoning (1) |
Completeness (1) |
Logic, Symbolic and mathematical (1) |
Minimal models (1) |
Models (1) |
Non-monotonic logic (1) |
Satisfiability (1) |
Scope (1) |
Now showing items 1-10 of 1