DisLoP: Towards a disjunctive logic programming system

C. Aravindan, Jürgen Dix, Ilkka Niemelä

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

3 Sitaatiot (Scopus)

Abstrakti

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.

AlkuperäiskieliEnglanti
OtsikkoLogic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings
ToimittajatJ Dix, U Furbach, A Nerode
Sivut341-352
Sivumäärä12
ISBN (elektroninen)978-3-540-69249-2
DOI - pysyväislinkit
TilaJulkaistu - 1997
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Logic Programming and Nonmonotonic Reasoning - Dagstuhl Castle, Wadern, Saksa
Kesto: 28 heinäkuuta 199731 heinäkuuta 1997
Konferenssinumero: 4

Julkaisusarja

NimiLecture Notes in Computer Science
Vuosikerta1265
ISSN (painettu)0302-9743
ISSN (elektroninen)1611-3349

Conference

ConferenceInternational Conference on Logic Programming and Nonmonotonic Reasoning
LyhennettäLPNMR
MaaSaksa
KaupunkiWadern
Ajanjakso28/07/199731/07/1997

Siteeraa tätä