Representation results for default logics

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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 languageEnglish
Title of host publicationAdvanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings
EditorsAbdul Sattar
PublisherSpringer Verlag
Pages255-264
Number of pages10
ISBN (Print)3540637974, 9783540637974
DOIs
Publication statusPublished - 1997
Externally publishedYes
Event10th Australian Joint Conference on Artificial Intelligence - Perth, Australia
Duration: 30 Nov 19974 Dec 1997
Conference number: 10

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1342
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th Australian Joint Conference on Artificial Intelligence
Abbreviated titleAI 1997
CountryAustralia
CityPerth
Period30/11/974/12/97

Fingerprint Dive into the research topics of 'Representation results for default logics'. Together they form a unique fingerprint.

  • Cite this

    Antoniou, G. (1997). Representation results for default logics. In A. Sattar (Ed.), Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings (pp. 255-264). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1342). Springer Verlag. https://doi.org/10.1007/3-540-63797-4_78