|
|
V. Wiktor Marek and Miroslaw Truszczynski (1991): Normal form Results for Default Logic
| Title: |
Normal form Results for Default Logic |
| Author(s): |
V. Wiktor Marek and Miroslaw Truszczynski |
| Year: |
1991 |
| Booktitle: |
Nonmonotonic and Inductive Logic. Second Intern. Workshop, Reinhardsbrunn Castle. |
| Editor(s): |
G. Brewka and K. P. Jantke and P. H. Schmitt |
| Month: |
December |
| Number: |
659 |
| Pages: |
270-283 |
| Publisher: |
Springer |
| Address: |
Berlin [u.a.] |
Concepts
|
|
