Fichte, Johannes K.; Hecher, Markus; Pfandler, Andreas 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 \textit{J. K. Fichte} et al., in: 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; Zbl 07299485) Full Text: DOI arXiv
Kronegger, Martin; Ordyniak, Sebastian; Pfandler, Andreas Backdoors to planning. (English) Zbl 1478.68323 Artif. Intell. 269, 49-75 (2019). MSC: 68T20 68Q27 68W40 PDFBibTeX XMLCite \textit{M. Kronegger} et al., Artif. Intell. 269, 49--75 (2019; Zbl 1478.68323) Full Text: DOI
Ganian, Robert; Kronegger, Martin; Pfandler, Andreas; Popa, Alexandru Parameterized complexity of asynchronous border minimization. (English) Zbl 1410.68165 Algorithmica 81, No. 1, 201-223 (2019). MSC: 68Q25 68Q17 92C40 PDFBibTeX XMLCite \textit{R. Ganian} et al., Algorithmica 81, No. 1, 201--223 (2019; Zbl 1410.68165) Full Text: DOI arXiv
Egly, Uwe; Kronegger, Martin; Lonsing, Florian; Pfandler, Andreas Conformant planning as a case study of incremental QBF solving. (English) Zbl 1409.68253 Ann. Math. Artif. Intell. 80, No. 1, 21-45 (2017). MSC: 68T15 68T20 68T27 PDFBibTeX XMLCite \textit{U. Egly} et al., Ann. Math. Artif. Intell. 80, No. 1, 21--45 (2017; Zbl 1409.68253) Full Text: DOI
Erdélyi, Gábor; Lackner, Martin; Pfandler, Andreas Computational aspects of nearly single-peaked electorates. (English) Zbl 1419.91248 J. Artif. Intell. Res. (JAIR) 58, 297-337 (2017). MSC: 91B12 68Q17 PDFBibTeX XMLCite \textit{G. Erdélyi} et al., J. Artif. Intell. Res. (JAIR) 58, 297--337 (2017; Zbl 1419.91248) Full Text: DOI arXiv
Haret, Adrian; Pfandler, Andreas; Woltran, Stefan 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 \textit{A. Haret} et al., Front. Artif. Intell. Appl. 285, 372--380 (2016; Zbl 1403.68266) Full Text: DOI
Kaufmann, Petra; Kronegger, Martin; Pfandler, Andreas; Seidl, Martina; Widl, Magdalena Intra- and interdiagram consistency checking of behavioral multiview models. (English) Zbl 1387.68051 Comput. Lang. Syst. Struct. 44, Part A, 72-88 (2015). MSC: 68N15 68N30 68Q45 PDFBibTeX XMLCite \textit{P. Kaufmann} et al., Comput. Lang. Syst. Struct. 44, Part A, 72--88 (2015; Zbl 1387.68051) Full Text: DOI
Charwat, Günther; Pfandler, Andreas 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 \textit{G. Charwat} and \textit{A. Pfandler}, Lect. Notes Comput. Sci. 9346, 253--269 (2015; Zbl 1405.91146) Full Text: DOI
Erdélyi, Gábor; Lackner, Martin; Pfandler, Andreas 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 \textit{G. Erdélyi} et al., Lect. Notes Comput. Sci. 9346, 71--85 (2015; Zbl 1405.91152) Full Text: DOI
Ganian, Robert; Kronegger, Martin; Pfandler, Andreas; Popa, Alexandru 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 \textit{R. Ganian} et al., Lect. Notes Comput. Sci. 9076, 428--440 (2015; Zbl 1459.68085) Full Text: DOI arXiv
Pfandler, Andreas; Pichler, Reinhard; Woltran, Stefan The complexity of handling minimal solutions in logic-based abduction. (English) Zbl 1331.68218 J. Log. Comput. 25, No. 3, 805-825 (2015). MSC: 68T27 68Q25 PDFBibTeX XMLCite \textit{A. Pfandler} et al., J. Log. Comput. 25, No. 3, 805--825 (2015; Zbl 1331.68218) Full Text: DOI
Lackner, Martin; Pfandler, Andreas 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 \textit{M. Lackner} and \textit{A. Pfandler}, Front. Artif. Intell. Appl. 242, 492--497 (2012; Zbl 1327.68276) Full Text: Link