DisLoP: A research project on Disjunctive Logic Programming

Tutkimustuotos: Lehtiartikkeli › Article › Scientific

Abstrakti

Alkuperäiskieli	Englanti
Julkaisu	ACM Transactions on Computational Logic
Vuosikerta	3
Numero	2
Tila	Julkaistu - jouluk. 1997
OKM-julkaisutyyppi	B1 Kirjoitus tieteellisessä aikakauslehdessä

@article{00338de4ec8e4fef85edd7b94efd1a8c,

title = "DisLoP: A research project on Disjunctive Logic Programming",

keywords = "Disjunctive Logic Programming, semantics, non-monotonic reasoning, WELL-FOUNDED SEMANTICS, TRANSFORMATION, DATABASES",

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

year = "1997",

month = dec,

language = "English",

volume = "3",

journal = "ACM Transactions on Computational Logic",

issn = "1529-3785",

publisher = "ACM",

number = "2",

}

TY - JOUR

T1 - DisLoP

T2 - A research project on Disjunctive Logic Programming

AU - Aravindan, C.

AU - Dix, Jürgen

AU - Niemelä, Ilkka

PY - 1997/12

Y1 - 1997/12

KW - Disjunctive Logic Programming

KW - semantics

KW - non-monotonic reasoning

KW - WELL-FOUNDED SEMANTICS

KW - TRANSFORMATION

KW - DATABASES

M3 - Article

SN - 1529-3785

VL - 3

JO - ACM Transactions on Computational Logic

JF - ACM Transactions on Computational Logic

IS - 2

ER -