Representation results for default logics

Grigoris Antoniou

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)


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
Number of pages10
ISBN (Print)3540637974, 9783540637974
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)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference10th Australian Joint Conference on Artificial Intelligence
Abbreviated titleAI 1997


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

Cite this