Abstract
Normal forms play an important role in computer science, for example in the areas of logic and databases. This paper provides a study of normal forms for some prominent logics for default reasoning. In particular we show that in Constrained and in Justified Default Logic, semi-normal default theories can represent arbitrary default theories. The main result for Justified Default Logic requires the signature (logical language to be enhanced in order to obtain the desired outcome.
| Original language | English |
|---|---|
| Title of host publication | Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings |
| Editors | Abdul Sattar |
| Publisher | Springer Verlag |
| Pages | 255-264 |
| Number of pages | 10 |
| ISBN (Print) | 3540637974, 9783540637974 |
| DOIs | |
| Publication status | Published - 1997 |
| Externally published | Yes |
| Event | 10th Australian Joint Conference on Artificial Intelligence - Perth, Australia Duration: 30 Nov 1997 → 4 Dec 1997 Conference number: 10 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1342 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 10th Australian Joint Conference on Artificial Intelligence |
|---|---|
| Abbreviated title | AI 1997 |
| Country/Territory | Australia |
| City | Perth |
| Period | 30/11/97 → 4/12/97 |