SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks

Tuomo Tapio Pietari Lehtonen; Andreas Johannes Alexand Niskanen; Matti Juhani Järvisalo

SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks

Tuomo Tapio Pietari Lehtonen, Andreas Johannes Alexand Niskanen, Matti Juhani Järvisalo

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

Alkuperäiskieli	englanti
Otsikko	Computational Models of Argument : Proceedings of COMMA 2018
Toimittajat	Sanjay Modgil, Katarzyna Budzynska, John Lawrence
Sivumäärä	12
Julkaisupaikka	Amsterdam
Kustantaja	IOS PRESS
Julkaisupäivä	2018
Sivut	193-204
ISBN (painettu)	978-1-61499-905-8
ISBN (elektroninen)	978-1-61499-906-5
Tila	Julkaistu - 2018
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	7th International Conference on Computational Models of Argument - Kesto: 10 syyskuuta 2018 → 14 syyskuuta 2018

Julkaisusarja

Nimi	Frontiers in Artificial Intelligence and Applications
Kustantaja	IOS Press
Vuosikerta	305
ISSN (painettu)	0922-6389
ISSN (elektroninen)	1879-8314

Tieteenalat

113 Tietojenkäsittely- ja informaatiotieteet

Pääsy asiakirjaan

FAIA305-0193Lopullinen julkaistu versio, 474 KBLisenssi: CC BY-NC

http://ebooks.iospress.nl/volumearticle/50191Lisenssi: CC BY-NC

2 Päättynyt

Harnessing Constraint Reasoning for Structure Discovery
Järvisalo, M.
Unknown funder
01/01/2015 → 31/12/2018
Projekti: Helsingin yliopiston kolmivuotinen tutkimushanke
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ä

Lehtonen, T. T. P., Niskanen, A. J. A., & Järvisalo, M. J. (2018). SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. teoksessa S. Modgil, K. Budzynska, & J. Lawrence (Toimittajat), Computational Models of Argument : Proceedings of COMMA 2018 (Sivut 193-204). (Frontiers in Artificial Intelligence and Applications; Vuosikerta 305). IOS PRESS. http://ebooks.iospress.nl/volumearticle/50191

Lehtonen, Tuomo Tapio Pietari ; Niskanen, Andreas Johannes Alexand ; Järvisalo, Matti Juhani. / SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. Computational Models of Argument : Proceedings of COMMA 2018. Toimittaja / Sanjay Modgil ; Katarzyna Budzynska ; John Lawrence. Amsterdam : IOS PRESS, 2018. Sivut 193-204 (Frontiers in Artificial Intelligence and Applications).

@inproceedings{67a94d3198bf4991a601f917f864687c,

title = "SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks",

keywords = "113 Computer and information sciences",

author = "Lehtonen, {Tuomo Tapio Pietari} and Niskanen, {Andreas Johannes Alexand} and J{\"a}rvisalo, {Matti Juhani}",

year = "2018",

language = "English",

isbn = "978-1-61499-905-8",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS PRESS",

pages = "193--204",

editor = "Sanjay Modgil and Katarzyna Budzynska and John Lawrence",

booktitle = "Computational Models of Argument",

address = "Netherlands",

note = "7th International Conference on Computational Models of Argument , COMMA 2018 ; Conference date: 10-09-2018 Through 14-09-2018",

}

Lehtonen, TTP , Niskanen, AJA & Järvisalo, MJ 2018, SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. julkaisussa S Modgil, K Budzynska & J Lawrence (toim), Computational Models of Argument : Proceedings of COMMA 2018. Frontiers in Artificial Intelligence and Applications, Vuosikerta 305, IOS PRESS, Amsterdam, Sivut 193-204, 7th International Conference on Computational Models of Argument , 10/09/2018. <http://ebooks.iospress.nl/volumearticle/50191>

SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. / Lehtonen, Tuomo Tapio Pietari ; Niskanen, Andreas Johannes Alexand ; Järvisalo, Matti Juhani.

Computational Models of Argument : Proceedings of COMMA 2018. toim. / Sanjay Modgil; Katarzyna Budzynska; John Lawrence. Amsterdam : IOS PRESS, 2018. s. 193-204 (Frontiers in Artificial Intelligence and Applications; Vuosikerta 305).

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

TY - GEN

T1 - SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks

AU - Lehtonen, Tuomo Tapio Pietari

AU - Niskanen, Andreas Johannes Alexand

AU - Järvisalo, Matti Juhani

PY - 2018

Y1 - 2018

KW - 113 Computer and information sciences

M3 - Conference contribution

SN - 978-1-61499-905-8

T3 - Frontiers in Artificial Intelligence and Applications

SP - 193

EP - 204

BT - Computational Models of Argument

A2 - Modgil, Sanjay

A2 - Budzynska, Katarzyna

A2 - Lawrence, John

PB - IOS PRESS

CY - Amsterdam

T2 - 7th International Conference on Computational Models of Argument

Y2 - 10 September 2018 through 14 September 2018

ER -

SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks

Julkaisusarja

Tieteenalat

Pääsy asiakirjaan

Harnessing Constraint Reasoning for Structure Discovery

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

Siteeraa tätä