Comparison and Efficient Computation of the STATIC and the Disjunctive Well-founded Semantics

Stefan Brass; Jürgen Dix; Ilkka Niemelä; Teodor C. Przymusinski

Comparison and Efficient Computation of the STATIC and the Disjunctive Well-founded Semantics

Stefan Brass
, Jürgen Dix
, Ilkka Niemelä
, Teodor C. Przymusinski

Leibniz University Hannover
University of Koblenz-Landau
University of California, Riverside

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

Original language	English
Title of host publication	Proceedings of the third Dutch-German Workshop on Nonmonotonic Reasoning, Max Planck Institute for Computer Science, Saarbrücken, February 1997
Place of Publication	Germany
Pages	37-42
Publication status	Published - 1997
MoE publication type	A4 Conference publication

Keywords

disjunctive logic programs
static semantics
well-founded semantics

Cite this

@inproceedings{d320d36090734761aa4862c63cd022f1,

title = "Comparison and Efficient Computation of the STATIC and the Disjunctive Well-founded Semantics",

keywords = "disjunctive logic programs, static semantics, well-founded semantics, disjunctive logic programs, static semantics, well-founded semantics, disjunctive logic programs, static semantics, well-founded semantics",

author = "Stefan Brass and J{\"u}rgen Dix and Ilkka Niemel{\"a} and Przymusinski, \{Teodor C.\}",

year = "1997",

language = "English",

pages = "37--42",

booktitle = "Proceedings of the third Dutch-German Workshop on Nonmonotonic Reasoning, Max Planck Institute for Computer Science, Saarbr{\"u}cken, February 1997",

}

Comparison and Efficient Computation of the STATIC and the Disjunctive Well-founded Semantics. / Brass, Stefan; Dix, Jürgen; Niemelä, Ilkka et al.
Proceedings of the third Dutch-German Workshop on Nonmonotonic Reasoning, Max Planck Institute for Computer Science, Saarbrücken, February 1997. Germany, 1997. p. 37-42.

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - Comparison and Efficient Computation of the STATIC and the Disjunctive Well-founded Semantics

AU - Brass, Stefan

AU - Dix, Jürgen

AU - Niemelä, Ilkka

AU - Przymusinski, Teodor C.

PY - 1997

Y1 - 1997

KW - disjunctive logic programs

KW - static semantics

KW - well-founded semantics

KW - disjunctive logic programs

KW - static semantics

KW - well-founded semantics

KW - disjunctive logic programs

KW - static semantics

KW - well-founded semantics

M3 - Conference article in proceedings

SP - 37

EP - 42

BT - Proceedings of the third Dutch-German Workshop on Nonmonotonic Reasoning, Max Planck Institute for Computer Science, Saarbrücken, February 1997

CY - Germany

ER -