|
|
R. Moore (1987): Possible--World Semantics for Autoepistemic Logic
| Title: |
Possible--World Semantics for Autoepistemic Logic |
| Author(s): |
R. Moore |
| Year: |
1987 |
| Booktitle: |
Readings in Nonmonotonic Reasoning |
| Editor(s): |
Ginsberg, Matthew L. |
| Chapter: |
3.2 |
| Pages: |
137-143 |
| Publisher: |
Morgan Kaufmann |
| Address: |
Los Altos, CA |
Concepts
|
|