Translating Default Logic into Standard Autoepistemic Logic
Georg Gottlob
Details
| Journal |
J. ACM |
| Number |
4 |
| Pages |
711−740 |
| Volume |
42 |
| Year |
1995 |
Links
Related pages
|
People |