Efficient Implementation of the Well-founded and Stable Model Semantics

Research output: Working paper › Professional

Original language	English
Place of Publication	Koblenz, Germany
Number of pages	26
Publication status	Published - 1996
MoE publication type	D4 Published development or research report or study

Keywords

@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 -