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.
Original 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 - St. Petersburg, Russian Federation Duration: 13 Jul 1993 → 20 Jul 1993 Conference number: 4 https://dblp.org/db/conf/lpar/lpar93 |
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 |
---|---|
Abbreviated title | LPAR 1993 |
Country/Territory | Russian Federation |
City | St. Petersburg |
Period | 13/07/93 → 20/07/93 |
Internet address |