Premise Set Caching for Enumerating Minimal Correction Subsets

Alessandro Previti; Carlos Mencía; Matti Juhani Järvisalo; Joao Marques-Silva

Premise Set Caching for Enumerating Minimal Correction Subsets

Alessandro Previti, Carlos Mencía, Matti Juhani Järvisalo, Joao Marques-Silva

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

Alkuperäiskieli	englanti
Otsikko	Thirty-Second AAAI Conference on Artificial Intelligence
Sivumäärä	8
Julkaisupaikka	Palo Alto, CA
Kustantaja	AAAI Press
Julkaisupäivä	2018
Sivut	6633-6640
ISBN (painettu)	978-1-57735-800-8
Tila	Julkaistu - 2018
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	32nd AAAI Conference on Artificial Intelligence - New Orleans, Yhdysvallat (USA) Kesto: 2 helmikuuta 2018 → 7 helmikuuta 2018 http://www.aaai.org/Conferences/AAAI/aaai18.php

Julkaisusarja

Nimi	Proceedings of the AAAI Conference on Artificial Intelligence
Kustantaja	Association for the Advancement of Artificial Intelligence
ISSN (painettu)	2159-5399
ISSN (elektroninen)	2374-3468

Tieteenalat

113 Tietojenkäsittely- ja informaatiotieteet

Pääsy asiakirjaan

17328-77005-1-PBLopullinen julkaistu versio, 609 KBLisenssi: Määrittelemätön

https://aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17328

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ä

@inproceedings{1b98424723c746e1bd59153018eed69c,

title = "Premise Set Caching for Enumerating Minimal Correction Subsets",

keywords = "113 Computer and information sciences",

author = "Alessandro Previti and Carlos Menc{\'i}a and J{\"a}rvisalo, {Matti Juhani} and Joao Marques-Silva",

year = "2018",

language = "English",

isbn = "978-1-57735-800-8",

series = "Proceedings of the AAAI Conference on Artificial Intelligence ",

publisher = "AAAI Press",

pages = "6633--6640",

booktitle = "Thirty-Second AAAI Conference on Artificial Intelligence",

address = "United States",

note = "32nd AAAI Conference on Artificial Intelligence, AAAI 2018 ; Conference date: 02-02-2018 Through 07-02-2018",

url = "http://www.aaai.org/Conferences/AAAI/aaai18.php",

}

Previti, A, Mencía, C, Järvisalo, MJ & Marques-Silva, J 2018, Premise Set Caching for Enumerating Minimal Correction Subsets. julkaisussa Thirty-Second AAAI Conference on Artificial Intelligence. Proceedings of the AAAI Conference on Artificial Intelligence , AAAI Press, Palo Alto, CA, Sivut 6633-6640, 32nd AAAI Conference on Artificial Intelligence, New Orleans, Yhdysvallat (USA), 02/02/2018. <https://aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17328>

Premise Set Caching for Enumerating Minimal Correction Subsets. / Previti, Alessandro; Mencía, Carlos; Järvisalo, Matti Juhani; Marques-Silva, Joao.

Thirty-Second AAAI Conference on Artificial Intelligence. Palo Alto, CA : AAAI Press, 2018. s. 6633-6640 (Proceedings of the AAAI Conference on Artificial Intelligence ).

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

TY - GEN

T1 - Premise Set Caching for Enumerating Minimal Correction Subsets

AU - Previti, Alessandro

AU - Mencía, Carlos

AU - Järvisalo, Matti Juhani

AU - Marques-Silva, Joao

PY - 2018

Y1 - 2018

KW - 113 Computer and information sciences

M3 - Conference contribution

SN - 978-1-57735-800-8

T3 - Proceedings of the AAAI Conference on Artificial Intelligence

SP - 6633

EP - 6640

BT - Thirty-Second AAAI Conference on Artificial Intelligence

PB - AAAI Press

CY - Palo Alto, CA

T2 - 32nd AAAI Conference on Artificial Intelligence

Y2 - 2 February 2018 through 7 February 2018

ER -

Premise Set Caching for Enumerating Minimal Correction Subsets

Julkaisusarja

Tieteenalat

Pääsy asiakirjaan

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

Siteeraa tätä