×

Found 12 Documents (Results 1–12)

Lower bounds for QBFs of bounded treewidth. (English) Zbl 07299485

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 410-424 (2020).
MSC:  68Q25 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Beyond IC postulates: classification criteria for merging operators. (English) Zbl 1403.68266

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, 372-380 (2016).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: DOI

Democratix: a declarative approach to winner determination. (English) Zbl 1405.91146

Walsh, Toby (ed.), Algorithmic decision theory. 4th international conference, ADT 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23113-6/pbk; 978-3-319-23114-3/ebook). Lecture Notes in Computer Science 9346. Lecture Notes in Artificial Intelligence, 253-269 (2015).
MSC:  91B12 90C90 91-04
PDFBibTeX XMLCite
Full Text: DOI

Manipulation of \(k\)-approval in nearly single-peaked electorates. (English) Zbl 1405.91152

Walsh, Toby (ed.), Algorithmic decision theory. 4th international conference, ADT 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23113-6/pbk; 978-3-319-23114-3/ebook). Lecture Notes in Computer Science 9346. Lecture Notes in Artificial Intelligence, 71-85 (2015).
MSC:  91B12 68Q17
PDFBibTeX XMLCite
Full Text: DOI

Parameterized complexity of asynchronous border minimization. (English) Zbl 1459.68085

Jain, Rahul (ed.) et al., Theory and applications of models of computation. 12th annual conference, TAMC 2015, Singapore, May 18–20, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9076, 428-440 (2015).
MSC:  68Q27 68Q17 92-08
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fixed-parameter algorithms for closed world reasoning. (English) Zbl 1327.68276

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, 492-497 (2012).
MSC:  68T30 68T27
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software