| Original language | English |
|---|---|
| Title of host publication | Summer School on Partial Semantics and Non-Monotonic Reasoning, May 25-29 at Linköping, Sweden |
| Subtitle of host publication | Lecture Notes |
| Publication status | Published - 1992 |
| MoE publication type | B3 Non-refereed article in conference proceedings |
Autoepistemic Logic as a Basis for Automating Nonmonotonic Reasoning
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific