Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs

Gerd Brewka; Ilkka Niemelä; Tommi Syrjänen

doi:10.1007/3-540-45757-7_37

Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs

Gerd Brewka, Ilkka Niemelä, Tommi Syrjänen

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

33 Citations (Scopus)

Original language	English
Title of host publication	8th European Conference on Logics in Artificial Intelligence, JELIA 2002; Cosenza, Italy, September 23–26, 2002. Proceedings
Editors	Sergio Flesca, Sergio Greco, Nicola Leone
Publisher	Springer
Pages	444-456
ISBN (Electronic)	978-3-540-45757-2
ISBN (Print)	978-3-540-44190-8
DOIs	https://doi.org/10.1007/3-540-45757-7_37
Publication status	Published - 2002
MoE publication type	A4 Conference publication

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	2424
ISSN (Print)	0302-9743

Keywords

disjunctions
logic programs
preferences
stable model semantics

Access to Document

10.1007/3-540-45757-7_37

Cite this

Brewka, G., Niemelä, I., & Syrjänen, T. (2002). Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. In S. Flesca, S. Greco, & N. Leone (Eds.), 8th European Conference on Logics in Artificial Intelligence, JELIA 2002; Cosenza, Italy, September 23–26, 2002. Proceedings (pp. 444-456). (Lecture Notes in Computer Science ; Vol. 2424). Springer. https://doi.org/10.1007/3-540-45757-7_37

Brewka, Gerd ; Niemelä, Ilkka ; Syrjänen, Tommi. / Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. 8th European Conference on Logics in Artificial Intelligence, JELIA 2002; Cosenza, Italy, September 23–26, 2002. Proceedings. editor / Sergio Flesca ; Sergio Greco ; Nicola Leone. Springer, 2002. pp. 444-456 (Lecture Notes in Computer Science ).

@inproceedings{05afb049dba449869ee6dd9b7c17b686,

title = "Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs",

keywords = "disjunctions, logic programs, preferences, stable model semantics, disjunctions, logic programs, preferences, stable model semantics, disjunctions, logic programs, preferences, stable model semantics",

author = "Gerd Brewka and Ilkka Niemel{\"a} and Tommi Syrj{\"a}nen",

year = "2002",

doi = "10.1007/3-540-45757-7_37",

language = "English",

isbn = "978-3-540-44190-8",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "444--456",

editor = "Sergio Flesca and Sergio Greco and Nicola Leone",

booktitle = "8th European Conference on Logics in Artificial Intelligence, JELIA 2002; Cosenza, Italy, September 23–26, 2002. Proceedings",

address = "Germany",

}

Brewka, G, Niemelä, I & Syrjänen, T 2002, Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. in S Flesca, S Greco & N Leone (eds), 8th European Conference on Logics in Artificial Intelligence, JELIA 2002; Cosenza, Italy, September 23–26, 2002. Proceedings. Lecture Notes in Computer Science , vol. 2424, Springer, pp. 444-456. https://doi.org/10.1007/3-540-45757-7_37

Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. / Brewka, Gerd; Niemelä, Ilkka; Syrjänen, Tommi.
8th European Conference on Logics in Artificial Intelligence, JELIA 2002; Cosenza, Italy, September 23–26, 2002. Proceedings. ed. / Sergio Flesca; Sergio Greco; Nicola Leone. Springer, 2002. p. 444-456 (Lecture Notes in Computer Science ; Vol. 2424).

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

TY - GEN

T1 - Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs

AU - Brewka, Gerd

AU - Niemelä, Ilkka

AU - Syrjänen, Tommi

PY - 2002

Y1 - 2002

KW - disjunctions

KW - logic programs

KW - preferences

KW - stable model semantics

KW - disjunctions

KW - logic programs

KW - preferences

KW - stable model semantics

KW - disjunctions

KW - logic programs

KW - preferences

KW - stable model semantics

U2 - 10.1007/3-540-45757-7_37

DO - 10.1007/3-540-45757-7_37

M3 - Conference article in proceedings

SN - 978-3-540-44190-8

T3 - Lecture Notes in Computer Science

SP - 444

EP - 456

BT - 8th European Conference on Logics in Artificial Intelligence, JELIA 2002; Cosenza, Italy, September 23–26, 2002. Proceedings

A2 - Flesca, Sergio

A2 - Greco, Sergio

A2 - Leone, Nicola

PB - Springer

ER -

Brewka G, Niemelä I, Syrjänen T. Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. In Flesca S, Greco S, Leone N, editors, 8th European Conference on Logics in Artificial Intelligence, JELIA 2002; Cosenza, Italy, September 23–26, 2002. Proceedings. Springer. 2002. p. 444-456. (Lecture Notes in Computer Science ). doi: 10.1007/3-540-45757-7_37