### Abstract

We present an operational process model for default logic that allows calculation of the extensions of a theory, and give a prototypical Prolog implementation. Then we present an improved approach for realizing the process model in logic programming making direct use of Prolog’s deductive power. In particular, we give a translation of finite default theories T into logic programs P(T) such that P(T) computes exactly the extensions of T.

Language | English |
---|---|

Title of host publication | Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings |

Editors | Andrei Voronkov |

Publisher | Springer Verlag |

Pages | 19-27 |

Number of pages | 9 |

ISBN (Print) | 9783540569442 |

DOIs | |

Publication status | Published - 1993 |

Externally published | Yes |

Event | 4th International Conference on Logic Programming and Automated Reasoning, LPAR 1993 - St. Petersburg, Russian Federation Duration: 13 Jul 1993 → 20 Jul 1993 |

### Publication series

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

Volume | 698 LNAI |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Conference

Conference | 4th International Conference on Logic Programming and Automated Reasoning, LPAR 1993 |
---|---|

Country | Russian Federation |

City | St. Petersburg |

Period | 13/07/93 → 20/07/93 |

### Fingerprint

### Cite this

*Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings*(pp. 19-27). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 698 LNAI). Springer Verlag. https://doi.org/10.1007/3-540-56944-8_38

}

*Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings.*Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 698 LNAI, Springer Verlag, pp. 19-27, 4th International Conference on Logic Programming and Automated Reasoning, LPAR 1993, St. Petersburg, Russian Federation, 13/07/93. https://doi.org/10.1007/3-540-56944-8_38

**Computing extensions of default logic - Preliminary report.** / Antoniou, Grigoris; Langetepe, Elmar; Sperschneider, Volker.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Computing extensions of default logic - Preliminary report

AU - Antoniou, Grigoris

AU - Langetepe, Elmar

AU - Sperschneider, Volker

PY - 1993

Y1 - 1993

N2 - We present an operational process model for default logic that allows calculation of the extensions of a theory, and give a prototypical Prolog implementation. Then we present an improved approach for realizing the process model in logic programming making direct use of Prolog’s deductive power. In particular, we give a translation of finite default theories T into logic programs P(T) such that P(T) computes exactly the extensions of T.

AB - We present an operational process model for default logic that allows calculation of the extensions of a theory, and give a prototypical Prolog implementation. Then we present an improved approach for realizing the process model in logic programming making direct use of Prolog’s deductive power. In particular, we give a translation of finite default theories T into logic programs P(T) such that P(T) computes exactly the extensions of T.

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

U2 - 10.1007/3-540-56944-8_38

DO - 10.1007/3-540-56944-8_38

M3 - Conference contribution

SN - 9783540569442

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

SP - 19

EP - 27

BT - Logic Programming and Automated Reasoning - 4th International Conference, LPAR 1993, Proceedings

A2 - Voronkov, Andrei

PB - Springer Verlag

ER -