|
|||||
|
|
Applying SLD-Resolution to a Class of Non-Horn Logic Programs |
|
| Authors: | ANTONIOU, GRIGORIS LANGETEPE, ELMAR |
| Affiliation: | University of Osnabrueck, FB 6, 49069 Osnabrueck Germany E-mail: ga.delanget{at}informatik.uni-osnabrueck.de |
| Abstract: | |
| Keywords: | logic programming default reasoning model elimination theorem proving |
| 本文献已被 Oxford 等数据库收录！ | |