No photo of Miroslaw Truszczynski

Miroslaw Truszczynski, Ph.D.

Calculated based on number of publications stored in Pure and citations from Scopus
1980 …2022

Research activity per year

If you made any changes in Pure these will be visible here soon.

Search results

  • 2022

    A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection

    Liu, L., Truszczynski, M. & Lierler, Y., 2022, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.). p. 415-428 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13416 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Relating Preference Languages By Their Expressive Power

    Huelsman, M. & Truszczynski, M., 2022, In: Proceedings of the International Florida Artificial Intelligence Research Society Conference, FLAIRS. 35

    Research output: Contribution to journalConference articlepeer-review

    Open Access
  • Solving Problems in PH with ASP(Q): Preliminary Results

    Amendola, G., Cuteri, B., Ricca, F. & Truszczynski, M., Aug 4 2022, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 364, p. 25-26 2 p.

    Research output: Contribution to journalConference articlepeer-review

    Open Access
  • Solving Problems in the Polynomial Hierarchy with ASP(Q)

    Amendola, G., Cuteri, B., Ricca, F. & Truszczynski, M., 2022, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.). p. 373-386 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13416 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2021

    Probabilistic Lexicographic Preference Trees

    Liu, X. & Truszczynski, M., 2021, Algorithmic Decision Theory - 7th International Conference, ADT 2021, Proceedings. Fotakis, D. & Ríos Insua, D. (eds.). p. 86-100 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13023 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • The Role of Model Selection in Preference Learning

    Huelsman, M. & Truszczyński, M., 2021, In: Proceedings of the International Florida Artificial Intelligence Research Society Conference, FLAIRS. 34

    Research output: Contribution to journalConference articlepeer-review

    Open Access
  • 2020

    A lexicographic strategy for approximating dominance in CP-nets

    Huelsman, M. & Truszczynski, M., 2020, Proceedings of the 33rd International Florida Artificial Intelligence Research Society Conference, FLAIRS 2020. Bell, E. & Bartak, R. (eds.). p. 69-72 4 p. (Proceedings of the 33rd International Florida Artificial Intelligence Research Society Conference, FLAIRS 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • Automated aggregator - Rewriting with the counting aggregate

    Dingeß, M. & Truszczynski, M., Sep 19 2020, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 325, p. 96-109 14 p.

    Research output: Contribution to journalConference articlepeer-review

    Open Access
    1 Scopus citations
  • Maximin share allocations on cycles

    Lonc, Z. & Truszczynski, M., Oct 2020, In: Journal of Artificial Intelligence Research. 69, p. 613-655 43 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    9 Scopus citations
  • New models for generating hard random boolean formulas and disjunctive logic programs

    Amendola, G., Ricca, F. & Truszczynski, M., Feb 2020, In: Artificial Intelligence. 279, 103185.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    3 Scopus citations
  • 2019

    A logical framework for view updating in indefinite databases

    Caroprese, L., Trubitsyna, I., Truszczynski, M. & Zumpano, E., Dec 2019, In: Logic Journal of the IGPL. 27, 6, p. 777-811 35 p.

    Research output: Contribution to journalArticlepeer-review

    2 Scopus citations
  • Beyond NP: Quantifying over Answer Sets

    Amendola, G., Ricca, F. & Truszczynski, M., Sep 1 2019, In: Theory and Practice of Logic Programming. 19, 5-6, p. 705-721 17 p.

    Research output: Contribution to journalArticlepeer-review

    9 Scopus citations
  • Encoding selection for solving Hamiltonian cycle problems with ASP

    Liu, L. & Truszczynski, M., Sep 19 2019, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 306, p. 302-308 7 p.

    Research output: Contribution to journalConference articlepeer-review

    Open Access
    2 Scopus citations
  • New complexity results on aggregating lexicographic preference trees using positional scoring rules

    Liu, X. & Truszczynski, M., 2019, Algorithmic Decision Theory - 6th International Conference, ADT 2019, Proceedings. Pekec, S. & Venable, K. B. (eds.). p. 97-111 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11834 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Preference orders on families of sets when can impossibility results be avoided?

    Maly, J., Truszczyński, M. L. & Woltran, S., Dec 2019, In: Journal of Artificial Intelligence Research. 66, p. 1147-1197 51 p.

    Research output: Contribution to journalReview articlepeer-review

    Open Access
    3 Scopus citations
  • Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains

    Liu, X. & Truszczynski, M., Oct 1 2019, In: Annals of Mathematics and Artificial Intelligence. 87, 1-2, p. 137-155 19 p.

    Research output: Contribution to journalArticlepeer-review

    4 Scopus citations
  • 2018

    A generator of hard 2QBF formulas and ASP programs

    Amendola, G., Ricca, F. & Truszczynski, M., 2018, Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018. Thielscher, M., Toni, F. & Wolter, F. (eds.). p. 52-56 5 p. (Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • Maximin share allocations on cycles

    Lonc, Z. & Truszczynski, M., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). p. 410-416 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    8 Scopus citations
  • Preference learning and optimization for partial lexicographic preference forests over combinatorial domains

    Liu, X. & Truszczynski, M., 2018, Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Proceedings. Woltran, S. & Ferrarotti, F. (eds.). p. 284-302 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10833 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • Preference orders on families of sets - When can impossibility results be avoided?

    Maly, J., Truszczynski, M. & Woltran, S., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). p. 433-439 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    4 Scopus citations
  • Random models of very hard 2QBF and disjunctive programs: An overview

    Amendola, G., Ricca, F. & Truszczynski, M., 2018, In: CEUR Workshop Proceedings. 2243, p. 174-178 5 p.

    Research output: Contribution to journalConference articlepeer-review

    7 Scopus citations
  • 2017

    Generating hard random boolean formulas and disjunctive logic programs

    Amendola, G., Ricca, F. & Truszczynski, M., 2017, 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. Sierra, C. (ed.). p. 532-538 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 0).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    15 Scopus citations
  • 2016

    Answer set programming: An introduction to the special issue

    Brewka, G., Eiter, T. & Truszczyński, M., Sep 1 2016, In: AI Magazine. 37, 3, p. 5-6 2 p.

    Research output: Contribution to journalReview articlepeer-review

    Open Access
    30 Scopus citations
  • First-order logic with inductive definitions for model-based problem solving

    Bruynooghe, M., Denecker, M. & Truszczyński, M., Sep 1 2016, In: AI Magazine. 37, 3, p. 69-80 12 p.

    Research output: Contribution to journalArticlepeer-review

    5 Scopus citations
  • On abstract modular inference systems and solvers

    Lierler, Y. & Truszczynski, M., Jul 2016, In: Artificial Intelligence. 236, p. 65-89 25 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    11 Scopus citations
  • Packing analogue of k-radius sequences

    Lonc, Z. & Truszczyński, M., Oct 1 2016, In: European Journal of Combinatorics. 57, p. 57-70 14 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    3 Scopus citations
  • 2015

    A glimpse on Gerhard Brewka’s contributions to artificial intelligence

    Eiter, T., Strass, H., Truszczyński, M. & Woltran, S., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9060, p. 1-16 16 p.

    Research output: Contribution to journalArticlepeer-review

    1 Scopus citations
  • An abstract view on modularity in knowledge representation

    Lierler, Y. & Truszczynski, M., Jun 1 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. p. 1532-1538 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    9 Scopus citations
  • Dual-normal logic programs-The forgotten class

    Fichte, J. K., Truszczyński, M. & Woltran, S., Sep 3 2015, In: Theory and Practice of Logic Programming. 15, 4-5, p. 495-510 16 p.

    Research output: Contribution to journalArticlepeer-review

    6 Scopus citations
  • Learning partial lexicographic preference trees over combinatorial domains

    Liu, X. & Truszczynski, M., Jun 1 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. p. 1539-1545 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    20 Scopus citations
  • Logic programming and nonmonotonic reasoning: 13th international conference, LPNMR 2015 Lexington, KY, USA, september 27–30, 2015 proceedings

    Calimeri, F., Ianni, G. & Truszczynski, M., 2015, Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Proceedings. Calimeri, F., Ianni, G. & Truszczynski, M. (eds.). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9345).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • Manipulation and bribery when aggregating ranked preferences

    Zhu, Y. & Truszczynski, M., 2015, Algorithmic Decision Theory - 4th International Conference, ADT 2015, Proceedings. Walsh, T. (ed.). p. 86-102 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9346).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • On equivalence of infinitary formulas under the stable model semantics

    Harrison, A., Lifschitz, V. & Truszczynski, M., Jan 26 2015, In: Theory and Practice of Logic Programming. 15, 1, p. 18-34 17 p.

    Research output: Contribution to journalArticlepeer-review

    13 Scopus citations
  • Preface

    Calimeri, F., Ianni, G. & Truszczynski, M., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9345, p. V-VI

    Research output: Contribution to journalEditorial

  • Reasoning with preference trees over combinatorial domains

    Liu, X. & Truszczynski, M., 2015, Algorithmic Decision Theory - 4th International Conference, ADT 2015, Proceedings. Walsh, T. (ed.). p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9346).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • Towards more efficient requirements formalization: A study

    Li, W., Hayes, J. H. & Truszczyński, M., 2015, Requirements Engineering: Foundation for Software Quality - 21st International Working Conference, REFSQ 2015, Proceedings. Fricker, S. A. & Schneider, K. (eds.). p. 181-197 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9013).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • 2014

    Abstract modular inference systems and solvers

    Lierler, Y. & Truszczynski, M., 2014, Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, Proceedings. p. 49-64 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8324 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • A measure of arbitrariness in abductive explanations

    Caroprese, L., Trubitsyna, I., Truszczyński, M. & Zumpano, E., Jul 1 2014, In: Theory and Practice of Logic Programming. 14, 4-5, p. 665-679 15 p.

    Research output: Contribution to journalArticlepeer-review

    8 Scopus citations
  • Answer-Set Programming in Requirements Engineering

    Li, W., Brown, D., Hayes, J. H. & Truszczynski, M., 2014, Requirements Engineering: Foundation for Software Quality - 20th International Working Conference, REFSQ 2014, Proceedings. p. 168-183 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8396 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • Manipulation and bribery in preference reasoning under pareto principle

    Zhu, Y. & Truszczynski, M., 2014, Multidisciplinary Workshop on Advances in Preference Handling - Papers Presented at the 28th AAAI Conference on Artificial Intelligence, Technical Report. p. 90-95 6 p. (AAAI Workshop - Technical Report; vol. WS-14-10).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Preference trees: A language for representing and reasoning about qualitative preferences

    Liu, X. & Truszczynski, M., 2014, Multidisciplinary Workshop on Advances in Preference Handling - Papers Presented at the 28th AAAI Conference on Artificial Intelligence, Technical Report. p. 55-60 6 p. (AAAI Workshop - Technical Report; vol. WS-14-10).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • 2013

    Abstract modular systems and solvers

    Lierler, Y. & Truszczynski, M., 2013, p. 143-158. 16 p.

    Research output: Contribution to conferencePaperpeer-review

  • Abstract preference frameworks - A unifying perspective on separability and strong equivalence

    Faber, W., Truszczyński, M. & Woltran, S., 2013, Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013. p. 297-303 7 p. (Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations
  • Aggregating conditionally lexicographic preferences using answer set programming solvers

    Liu, X. & Truszczynski, M., 2013, Algorithmic Decision Theory - Third International Conference, ADT 2013, Proceedings. p. 244-258 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8176 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    12 Scopus citations
  • Implementing informal semantics of ASP

    Mikitiuk, A. & Truszczynski, M., 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. p. 433-438 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Modular answer set solving

    Lierler, Y. & Truszczyński, M., 2013, Late-Breaking Developments in the Field of Artificial Intelligence - Papers Presented at the 27th AAAI Conference on Artificial Intelligence, Technical Report. p. 68-70 3 p. (AAAI Workshop - Technical Report; vol. WS-13-17).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • On equivalent transformations of infinitary formulas under the stable model semantics (Preliminary report)

    Harrison, A., Lifschitz, V. & Truszczynski, M., 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. p. 387-394 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • On optimal solutions of answer set optimization problems

    Zhu, Y. & Truszczynski, M., 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. p. 556-568 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • Strong equivalence of qualitative optimization problems

    Faber, W., Truszczynski, M. & Woltran, S., 2013, In: Journal of Artificial Intelligence Research. 47, p. 351-391 41 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    3 Scopus citations
  • The view-update problem for indefinite databases

    Caroprese, L., Trubitsyna, I., Truszczyński, M. & Zumpano, E., 2013, 21st Italian Symposium on Advanced Database Systems, SEBD 2013. p. 95-102 8 p. (21st Italian Symposium on Advanced Database Systems, SEBD 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Your message has successfully been sent.
Your message was not sent due to an error.