DisLoP: Towards a disjunctive logic programming system

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

doi:10.1007/3-540-63255-7_25

DisLoP: Towards a disjunctive logic programming system

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

Ei julkaistu Aalto-yliopiston affiliaatiolla

University of Koblenz-Landau

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

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äiskieli	Englanti
Otsikko	Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings
Toimittajat	J Dix, U Furbach, A Nerode
Kustantaja	Springer
Sivut	341-352
Sivumäärä	12
ISBN (elektroninen)	978-3-540-69249-2
ISBN (painettu)	3-540-63255-7, 978-3-540-63255-9
DOI - pysyväislinkit	https://doi.org/10.1007/3-540-63255-7_25
Tila	Julkaistu - 1997
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	International Conference on Logic Programming and Nonmonotonic Reasoning - Dagstuhl Castle, Wadern, Saksa Kesto: 28 heinäk. 1997 → 31 heinäk. 1997 Konferenssinumero: 4

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Vuosikerta	1265
ISSN (painettu)	0302-9743
ISSN (elektroninen)	1611-3349

Conference

Conference	International Conference on Logic Programming and Nonmonotonic Reasoning
Lyhennettä	LPNMR
Maa/Alue	Saksa
Kaupunki	Wadern
Ajanjakso	28/07/1997 → 31/07/1997

Pääsy asiakirjaan

10.1007/3-540-63255-7_25

OpenUrl-saatavuus

Koko teksti

Siteeraa tätä

Aravindan, C., Dix, J., & Niemelä, I. (1997). DisLoP: Towards a disjunctive logic programming system. teoksessa J. Dix, U. Furbach, & A. Nerode (Toimittajat), Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings (Sivut 341-352). (Lecture Notes in Computer Science ; Vuosikerta 1265). Springer. https://doi.org/10.1007/3-540-63255-7_25

@inproceedings{c9ef9755e2e04c38911705bebd685e4b,

title = "DisLoP: Towards a disjunctive logic programming system",

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.",

author = "C. Aravindan and J{\"u}rgen Dix and Ilkka Niemel{\"a}",

year = "1997",

doi = "10.1007/3-540-63255-7_25",

language = "English",

isbn = "3-540-63255-7",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "341--352",

editor = "J Dix and U Furbach and A Nerode",

booktitle = "Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings",

address = "Germany",

note = "International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR ; Conference date: 28-07-1997 Through 31-07-1997",

}

Aravindan, C, Dix, J & Niemelä, I 1997, DisLoP: Towards a disjunctive logic programming system. julkaisussa J Dix, U Furbach & A Nerode (toim), Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings. Lecture Notes in Computer Science , Vuosikerta 1265, Springer, Sivut 341-352, International Conference on Logic Programming and Nonmonotonic Reasoning , Wadern, Saksa, 28/07/1997. https://doi.org/10.1007/3-540-63255-7_25

DisLoP: Towards a disjunctive logic programming system. / Aravindan, C.; Dix, Jürgen; Niemelä, Ilkka.
Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings. toim. / J Dix; U Furbach; A Nerode. Springer, 1997. s. 341-352 (Lecture Notes in Computer Science ; Vuosikerta 1265).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

TY - GEN

T1 - DisLoP

T2 - International Conference on Logic Programming and Nonmonotonic Reasoning

AU - Aravindan, C.

AU - Dix, Jürgen

AU - Niemelä, Ilkka

N1 - Conference code: 4

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

U2 - 10.1007/3-540-63255-7_25

DO - 10.1007/3-540-63255-7_25

M3 - Conference contribution

SN - 3-540-63255-7

SN - 978-3-540-63255-9

T3 - Lecture Notes in Computer Science

SP - 341

EP - 352

BT - Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings

A2 - Dix, J

A2 - Furbach, U

A2 - Nerode, A

PB - Springer

Y2 - 28 July 1997 through 31 July 1997

ER -

DisLoP: Towards a disjunctive logic programming system

Abstrakti

Julkaisusarja

Conference

Pääsy asiakirjaan

OpenUrl-saatavuus

Sormenjälki

Siteeraa tätä