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 at Riverside

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

Alkuperäiskieli	Englanti
Otsikko	Proceedings of the third Dutch-German Workshop on Nonmonotonic Reasoning, Max Planck Institute for Computer Science, Saarbrücken, February 1997
Julkaisupaikka	Germany
Sivut	37-42
Tila	Julkaistu - 1997
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa

Tutkimusalat

disjunctive logic programs
static semantics
well-founded semantics

Siteeraa tätä

@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. s. 37-42.

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

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 -