Mirek Truszczynski

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 6

Top Topics

Polynomial Hierarchy

Top Venues

Publications

Liu Liu, Mirek Truszczynski, Yuliya Lierler
A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection. LPNMR (2022)
Giovanni Amendola, Bernardo Cuteri, Francesco Ricca, Mirek Truszczynski
Solving Problems in the Polynomial Hierarchy with ASP(Q). LPNMR (2022)
Giovanni Amendola, Francesco Ricca, Mirek Truszczynski
Beyond NP: Quantifying over Answer Sets. CoRR (2019)
Giovanni Amendola, Francesco Ricca, Mirek Truszczynski
A Generator of Hard 2QBF Formulas and ASP Programs. KR (2018)
Xudong Liu, Mirek Truszczynski
Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes. GCAI (2016)
Ying Zhu, Mirek Truszczynski
Learning Importance of Preferences. GCAI (2016)
Mirek Truszczynski
Strong Equivalence of Nonmonotonic Theories -- an Algebraic Approach. AI&M (2006)