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

Default Logic
Computer science
Normal Form
Default Reasoning
Logic
Computer Science
Signature
Arbitrary
Language

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
Antoniou, Grigoris. / Representation results for default logics. Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. editor / Abdul Sattar. Springer Verlag, 1997. pp. 255-264 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{4762a185244244d6a9e51decba564566,
title = "Representation results for default logics",
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.",
author = "Grigoris Antoniou",
year = "1997",
doi = "10.1007/3-540-63797-4_78",
language = "English",
isbn = "3540637974",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "255--264",
editor = "Abdul Sattar",
booktitle = "Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings",

}

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1342, Springer Verlag, pp. 255-264, 10th Australian Joint Conference on Artificial Intelligence, Perth, Australia, 30/11/97. https://doi.org/10.1007/3-540-63797-4_78

Representation results for default logics. / Antoniou, Grigoris.

Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. ed. / Abdul Sattar. Springer Verlag, 1997. p. 255-264 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1342).

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

TY - GEN

T1 - Representation results for default logics

AU - Antoniou, Grigoris

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84961386859&partnerID=8YFLogxK

U2 - 10.1007/3-540-63797-4_78

DO - 10.1007/3-540-63797-4_78

M3 - Conference contribution

SN - 3540637974

SN - 9783540637974

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 255

EP - 264

BT - Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings

A2 - Sattar, Abdul

PB - Springer Verlag

ER -

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