A Hybrid Approach to Optimization in Answer Set Programming

Paul Henrik Alexander Saikko; Carmine Dodaro; Mario Alviano; Matti Juhani Järvisalo

A Hybrid Approach to Optimization in Answer Set Programming

Paul Henrik Alexander Saikko, Carmine Dodaro, Mario Alviano, Matti Juhani Järvisalo

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	englanti
Otsikko	Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
Toimittajat	Michael Thielscher, Francesca Toni, Frank Wolter
Sivumäärä	10
Kustantaja	AAAI Press
Julkaisupäivä	2018
Sivut	32-41
ISBN (painettu)	978-1-57735-803-9
Tila	Julkaistu - 2018
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	16th International Conference on Principles of Knowledge Representation and Reasoning - Kesto: 30 lokakuuta 2018 → 2 marraskuuta 2018

Tieteenalat

113 Tietojenkäsittely- ja informaatiotieteet

Pääsy asiakirjaan

18021-78621-1-PB-1Lopullinen julkaistu versio, 603 KBLisenssi: Määrittelemätön

https://aaai.org/ocs/index.php/KR/KR18/paper/view/18021

1 Päättynyt

Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta
Järvisalo, M.
Unknown funder
01/09/2014 → 31/08/2019
Projekti: Tutkimusprojekti

Siteeraa tätä

Saikko, P. H. A., Dodaro, C., Alviano, M., & Järvisalo, M. J. (2018). A Hybrid Approach to Optimization in Answer Set Programming. teoksessa M. Thielscher, F. Toni, & F. Wolter (Toimittajat), Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (Sivut 32-41). AAAI Press. https://aaai.org/ocs/index.php/KR/KR18/paper/view/18021

@inproceedings{3386fd9a605c4ed686b76597ace7fc0e,

title = "A Hybrid Approach to Optimization in Answer Set Programming",

keywords = "113 Computer and information sciences",

author = "Saikko, {Paul Henrik Alexander} and Carmine Dodaro and Mario Alviano and J{\"a}rvisalo, {Matti Juhani}",

year = "2018",

language = "English",

isbn = "978-1-57735-803-9",

pages = "32--41",

editor = "Michael Thielscher and Francesca Toni and Frank Wolter",

booktitle = "Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)",

publisher = "AAAI Press",

address = "United States",

note = "16th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018 ; Conference date: 30-10-2018 Through 02-11-2018",

}

Saikko, PHA, Dodaro, C, Alviano, M & Järvisalo, MJ 2018, A Hybrid Approach to Optimization in Answer Set Programming. julkaisussa M Thielscher, F Toni & F Wolter (toim), Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018). AAAI Press, Sivut 32-41, 16th International Conference on Principles of Knowledge Representation and Reasoning, 30/10/2018. <https://aaai.org/ocs/index.php/KR/KR18/paper/view/18021>

A Hybrid Approach to Optimization in Answer Set Programming. / Saikko, Paul Henrik Alexander; Dodaro, Carmine; Alviano, Mario; Järvisalo, Matti Juhani.

Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018). toim. / Michael Thielscher; Francesca Toni; Frank Wolter. AAAI Press, 2018. s. 32-41.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - A Hybrid Approach to Optimization in Answer Set Programming

AU - Saikko, Paul Henrik Alexander

AU - Dodaro, Carmine

AU - Alviano, Mario

AU - Järvisalo, Matti Juhani

PY - 2018

Y1 - 2018

KW - 113 Computer and information sciences

M3 - Conference contribution

SN - 978-1-57735-803-9

SP - 32

EP - 41

BT - Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)

A2 - Thielscher, Michael

A2 - Toni, Francesca

A2 - Wolter, Frank

PB - AAAI Press

T2 - 16th International Conference on Principles of Knowledge Representation and Reasoning

Y2 - 30 October 2018 through 2 November 2018

ER -

A Hybrid Approach to Optimization in Answer Set Programming

Tieteenalat

Pääsy asiakirjaan

Polynomisen hierarkian päätösproseduurit, Boolean optimointi, ja mallien laskenta

Siteeraa tätä