Abstract
This paper gives a brief high-level description of the implementation of a disjunctive logic programming system referred to as DisLoP. This system is a result of research activities of the Disjunctive Logic Programming-project (funded by Deutsche Forschungs-Gemeinschaft), undertaken by the University of Koblenz since July 1995.
| Original language | English |
|---|---|
| Title of host publication | Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings |
| Editors | J Dix, U Furbach, A Nerode |
| Publisher | Springer |
| Pages | 341-352 |
| Number of pages | 12 |
| ISBN (Electronic) | 978-3-540-69249-2 |
| ISBN (Print) | 3-540-63255-7, 978-3-540-63255-9 |
| DOIs | |
| Publication status | Published - 1997 |
| MoE publication type | A4 Article in a conference publication |
| Event | International Conference on Logic Programming and Nonmonotonic Reasoning - Dagstuhl Castle, Wadern, Germany Duration: 28 Jul 1997 → 31 Jul 1997 Conference number: 4 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Volume | 1265 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | International Conference on Logic Programming and Nonmonotonic Reasoning |
|---|---|
| Abbreviated title | LPNMR |
| Country/Territory | Germany |
| City | Wadern |
| Period | 28/07/1997 → 31/07/1997 |