×

Found 5 Documents (Results 1–5)

On the computation of Top-\(k\) extensions in abstract argumentation frameworks. (English) Zbl 1403.68269

Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 913-920 (2016).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

Enumerating prime implicants of propositional formulae in conjunctive normal form. (English) Zbl 1432.68327

Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 152-165 (2014).
MSC:  68R05 03B05 94C11
PDFBibTeX XMLCite
Full Text: DOI

Symmetries in itemset mining. (English) Zbl 1327.68194

De Raedt, Luc (ed.) et al., ECAI 2012. 20th European conference on artificial intelligence, Montpellier, France, August 27–31, 2012. Proceedings. Including proceedings of the 7th conference on prestigious applications of artificial intelligence (PAIS-2012) and the system demonstrations track. Amsterdam: IOS Press (ISBN 978-1-61499-097-0/pbk; 978-1-61499-098-7/ebook). Frontiers in Artificial Intelligence and Applications 242, 432-437 (2012).
MSC:  68T05
PDFBibTeX XMLCite
Full Text: Link

A SAT-based approach for discovering frequent, closed and maximal patterns in a sequence. (English) Zbl 1327.68213

De Raedt, Luc (ed.) et al., ECAI 2012. 20th European conference on artificial intelligence, Montpellier, France, August 27–31, 2012. Proceedings. Including proceedings of the 7th conference on prestigious applications of artificial intelligence (PAIS-2012) and the system demonstrations track. Amsterdam: IOS Press (ISBN 978-1-61499-097-0/pbk; 978-1-61499-098-7/ebook). Frontiers in Artificial Intelligence and Applications 242, 258-263 (2012).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Year of Publication

Main Field

Software