Efficient Implementation of the Well-founded and Stable Model Semantics

Tutkimustuotos: Työpaperi › Working paper › Professional

Alkuperäiskieli	Englanti
Julkaisupaikka	Koblenz, Germany
Sivumäärä	26
Tila	Julkaistu - 1996
OKM-julkaisutyyppi	D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

Tutkimusalat

@techreport{265b1266fac74859bee93225f5859f3a,

title = "Efficient Implementation of the Well-founded and Stable Model Semantics",

keywords = "non-monotonic reasoning, non-monotonic reasoning, non-monotonic reasoning",

author = "Ilkka Niemel{\"a} and Patrik Simons",

year = "1996",

language = "English",

series = "Fachbericht Informatik",

publisher = "Universit{\"a}t Koblenz-Landau",

number = "7-96",

type = "WorkingPaper",

institution = "Universit{\"a}t Koblenz-Landau",

}

TY - UNPB

T1 - Efficient Implementation of the Well-founded and Stable Model Semantics

AU - Niemelä, Ilkka

AU - Simons, Patrik

PY - 1996

Y1 - 1996

KW - non-monotonic reasoning

UR - http://www.uni-koblenz.de/fb4/

M3 - Working paper

T3 - Fachbericht Informatik

BT - Efficient Implementation of the Well-founded and Stable Model Semantics

CY - Koblenz, Germany

ER -