Premise Set Caching for Enumerating Minimal Correction Subsets

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

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikationThirty-Second AAAI Conference on Artificial Intelligence
Antal sidor8
UtgivningsortPalo Alto, CA
FörlagAAAI Press
Utgivningsdatum2018
Sidor6633-6640
ISBN (tryckt)978-1-57735-800-8
StatusPublicerad - 2018
MoE-publikationstypA4 Artikel i en konferenspublikation
Evenemang32nd AAAI Conference on Artificial Intelligence - New Orleans, Förenta Staterna (USA)
Varaktighet: 2 feb 20187 feb 2018
http://www.aaai.org/Conferences/AAAI/aaai18.php

Publikationsserier

NamnProceedings of the AAAI Conference on Artificial Intelligence
FörlagAssociation for the Advancement of Artificial Intelligence
ISSN (tryckt)2159-5399
ISSN (elektroniskt)2374-3468

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Citera det här