A process model for default logic and its realization in logic programming

Grigoris Antoniou, Elmar Langetepe

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


One of the main themes of making logics applicable in computer science and artificial intelligence is to provide mechanisms for dealing with them operationally. In this paper we introduce processes as a procedural interpretation of the usual fixed-point definition of extensions. Processes allow to compute the extensions of simple default theories by hand. Then we give a prototypical Prolog implementation of our model in Prolog. We do not claim that the program is very efficient, but it is able to compute the extensions of the usual examples found in literature. Finally, we give a more efficient implementation by translating default theories (with some restrictions) to logic programs and making direct use of Prolog’s reasoning capacities.

Original languageEnglish
Title of host publicationProgress in Artificial Intelligence - 6th Portuguese Conference on AI, EPIA 1993, Proceedings
EditorsMiguel Filgueiras, Luis Damas
PublisherSpringer Verlag
Number of pages13
ISBN (Print)9783540572879
Publication statusPublished - Oct 1993
Externally publishedYes
Event6th Portuguese Conference on Artificial Intelligence - Porto, Portugal
Duration: 6 Oct 19938 Oct 1993
Conference number: 6

Publication series

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


Conference6th Portuguese Conference on Artificial Intelligence
Abbreviated titleEPIA 1993


Dive into the research topics of 'A process model for default logic and its realization in logic programming'. Together they form a unique fingerprint.

Cite this