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

  • 2012

    A tarskian informal semantics for answer set programming

    Denecker, M., Lierler, Y., Truszczynski, M. & Vennekens, J., 2012, Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012. p. 277-289 13 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 17).

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

    23 Scopus citations
  • Connecting first-order ASP and the logic FO(ID) through reducts

    Truszczynski, M., 2012, Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz. Esra, E., Joohyung, L., Yuliya, L. & David, P. (eds.). p. 543-559 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7265).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    24 Scopus citations
  • Constructions of asymptotically shortest k-radius sequences

    Jaromczyk, J. W., Lonc, Z. & Truszczyński, M., Apr 2012, In: Journal of Combinatorial Theory. Series A. 119, 3, p. 731-746 16 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    11 Scopus citations
  • Strong equivalence of qualitative optimization problems

    Faber, W., Truszczyński, M. & Woltran, S., 2012, 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012. p. 188-198 11 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).

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

    2 Scopus citations
  • Temporal Action Language (TAL): A controlled language for consistency checking of natural language temporal requirements (preliminary results)

    Li, W., Hayes, J. H. & Truszczyński, M., 2012, NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings. p. 162-167 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7226 LNCS).

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

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

    Caroprese, L., Trubitsyna, I., Truszczyński, M. & Zumpano, E., 2012, Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings. p. 134-146 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7519 LNAI).

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

    19 Scopus citations
  • Weighted-sequence problem: ASP vs CASP and declarative vs problem-oriented solving

    Lierler, Y., Smith, S., Truszczynski, M. & Westlund, A., 2012, Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Proceedings. p. 63-77 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7149 LNCS).

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

    9 Scopus citations
  • 2011

    Active integrity constraints and revision programming

    Caroprese, L. & Truszczyński, M., Nov 2011, In: Theory and Practice of Logic Programming. 11, 6, p. 905-952 48 p.

    Research output: Contribution to journalArticlepeer-review

    23 Scopus citations
  • Answer set programming at a glance

    Brewka, G., Eiter, T. & Truszczyński, M., Dec 2011, In: Communications of the ACM. 54, 12, p. 93-103 11 p.

    Research output: Contribution to journalReview articlepeer-review

    664 Scopus citations
  • On graph equivalences preserved under extensions

    Lonc, Z. & Truszczyński, M., Jun 28 2011, In: Discrete Mathematics. 311, 12, p. 966-977 12 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    5 Scopus citations
  • Revisiting epistemic specifications

    Truszczyński, M., 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. p. 315-333 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6565 LNAI).

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

    40 Scopus citations
  • Transition systems for model generators-A unifying approach

    Lierler, Y. & Truszczynski, M., Jul 2011, In: Theory and Practice of Logic Programming. 11, 4-5, p. 629-646 18 p.

    Research output: Contribution to journalArticlepeer-review

    27 Scopus citations
  • Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs

    Truszczyński, M., Nov 2011, In: Theory and Practice of Logic Programming. 11, 6, p. 881-904 24 p.

    Research output: Contribution to journalArticlepeer-review

    17 Scopus citations
  • Weighted-sequence problem: ASP vs CASP and declarative vs problem oriented solving

    Lierler, Y., Smith, S., Truszczynski, M. & Westlund, A., 2011.

    Research output: Contribution to conferencePaperpeer-review

  • 2010

    Logic programs with abstract constraint atoms: The role of computations

    Liu, L., Pontelli, E., Son, T. C. & Truszczyński, M., Mar 2010, In: Artificial Intelligence. 174, 3-4, p. 295-315 21 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    44 Scopus citations
  • Preface

    Lin, F., Sattler, U. & Truszczynski, M., 2010, In: Proceedings of the International Conference on Knowledge Representation and Reasoning. p. xv-xvi

    Research output: Contribution to journalEditorial

  • Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

    Truszczyński, M., 2010, In: Artificial Intelligence. 174, 16-17, p. 1285-1306 22 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    35 Scopus citations
  • Representing preferences among sets

    Brewka, G., Truszczyński, M. & Woltran, S., 2010, AAAI-10 / IAAI-10 - Proceedings of the 24th AAAI Conference on Artificial Intelligence and the 22nd Innovative Applications of Artificial Intelligence Conference. p. 273-278 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    16 Scopus citations
  • Simple but hard mixed horn formulas

    Namasivayam, G. & Truszczyński, M., 2010, Theory and Applications of Satisfiability Testing - 13th International Conference, SAT 2010, Proceedings. p. 382-387 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6175 LNCS).

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

    2 Scopus citations
  • 2009

    Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

    Truszczyński, M., 2009, Logic Programming - 25th International Conference, ICLP 2009, Proceedings. p. 175-189 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5649 LNCS).

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

  • Relativized hyperequivalence of logic programs for modular programming

    Truszczyski, M. & Woltran, S., Nov 2009, In: Theory and Practice of Logic Programming. 9, 6, p. 781-819 39 p.

    Research output: Contribution to journalArticlepeer-review

    8 Scopus citations
  • Simple random logic programs

    Namasivayam, G. & Truszczyński, M., 2009, Logic Programming and Nonmonotonic Reasoning - 10th International Conference, LPNMR 2009, Proceedings. p. 223-235 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5753 LNAI).

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

    8 Scopus citations
  • The second answer set programming competition

    Denecker, M., Vennekens, J., Bond, S., Gebser, M. & Truszczyński, M., 2009, Logic Programming and Nonmonotonic Reasoning - 10th International Conference, LPNMR 2009, Proceedings. p. 637-654 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5753 LNAI).

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

    85 Scopus citations
  • Trichotomy results on the complexity of reasoning with disjunctive logic programs

    Truszczyński, M., 2009, Logic Programming and Nonmonotonic Reasoning - 10th International Conference, LPNMR 2009, Proceedings. p. 303-315 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5753 LNAI).

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

    1 Scopus citations
  • 2008

    Annals of Mathematics and Artificial Intelligence: Preface

    Kaminski, M. & Truszczyński, M., Aug 2008, In: Annals of Mathematics and Artificial Intelligence. 53, 1-4, p. 1-3 3 p.

    Research output: Contribution to journalEditorial

    Open Access
  • Approximation schemes in logic and artificial intelligence

    Marek, V. W. & Truszczyński, M., 2008, Transactions on Rough Sets IX. p. 135-144 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5390 LNCS).

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

    2 Scopus citations
  • Chapter 6 Nonmonotonic Reasoning

    Brewka, G., Niemelä, I. & Truszczyński, M., 2008, Handbook of Knowledge Representation. Harmelen, F., Lifschitz, V. & Porter, B. (eds.). p. 239-284 46 p. (Foundations of Artificial Intelligence; vol. 3).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    11 Scopus citations
  • Declarative semantics for active integrity constraints

    Caroprese, L. & Truszczyński, M., 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 269-283 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

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

    9 Scopus citations
  • Declarative semantics for revision programming and connections to active integrity constraints

    Caroprese, L. & Truszczyński, M., 2008, Logics in Artificial Intelligence - 11th European Conference, JELIA 2008, Proceedings. p. 100-112 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5293 LNAI).

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

    5 Scopus citations
  • Hyperequivalence of logic programs with respect to supported models

    Truszczyński, M. & Woltran, S., 2008, AAAI-08/IAAI-08 Proceedings - 23rd AAAI Conference on Artificial Intelligence and the 20th Innovative Applications of Artificial Intelligence Conference. p. 560-565 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    6 Scopus citations
  • Hyperequivalence of logic programs with respect to supported models

    Truszczyński, M. & Woltran, S., Aug 2008, In: Annals of Mathematics and Artificial Intelligence. 53, 1-4, p. 331-365 35 p.

    Research output: Contribution to journalArticlepeer-review

    4 Scopus citations
  • Hyperequivalence of programs and operators

    Truszczyński, M. & Woltran, S., 2008, p. 8P.

    Research output: Contribution to conferencePaperpeer-review

  • Logic programs with monotone abstract constraint atoms

    Marek, V. W., Niemelä, I. & Truszczyński, M., Mar 2008, In: Theory and Practice of Logic Programming. 8, 2, p. 167-199 33 p.

    Research output: Contribution to journalArticlepeer-review

    29 Scopus citations
  • My six encounters with Victor Marek-a personal account

    Truszczyński, M., Aug 2008, In: Annals of Mathematics and Artificial Intelligence. 53, 1-4, p. 17-20 4 p.

    Research output: Contribution to journalArticlepeer-review

  • On the number of minimal transversals in 3-uniform hypergraphs

    Lonc, Z. & Truszczyński, M., Aug 28 2008, In: Discrete Mathematics. 308, 16, p. 3668-3687 20 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    3 Scopus citations
  • Preferences and nonmonotonic reasoning

    Brewka, G., Niemelä, I. & Truszczyński, M., 2008, In: AI Magazine. 29, 4, p. 69-78 10 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    44 Scopus citations
  • Relativized hyperequivalence of logic programs for modular programming

    Truszczyński, M. & Woltran, S., 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 576-590 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

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

    3 Scopus citations
  • The computational complexity of dominance and consistency in CP-Nets

    Goldsmith, J., Lang, J., Truszczyński, M. & Wilson, N., 2008, In: Journal of Artificial Intelligence Research. 33, p. 403-432 30 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    98 Scopus citations
  • 2007

    An smodels system with limited lookahead computation

    Namasivayam, G. & Truszczyński, M., 2007, Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings. p. 278-283 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4483 LNAI).

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

    2 Scopus citations
  • Comments on modeling languages for answer-set programming

    Truszczyński, M., 2007, In: CEUR Workshop Proceedings. 281, p. 3-11 9 p.

    Research output: Contribution to journalConference articlepeer-review

    1 Scopus citations
  • Logic programming for knowledge representation

    Truszczyński, M., 2007, Logic Programming - 23rd International Conference, ICLP 2007, Proceedings. p. 76-88 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4670 LNCS).

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

    32 Scopus citations
  • Logic programs with abstract constraint atoms: The role of computations

    Liu, L., Pontelli, E., Son, T. C. & Truszczyńki, M., 2007, Logic Programming - 23rd International Conference, ICLP 2007, Proceedings. p. 286-301 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4670 LNCS).

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

    16 Scopus citations
  • Rough sets and approximation schemes

    Marek, V. W. & Truszczynski, M., 2007, Rough Sets and Intelligent Systems Paradigms - International Conference, RSEISP 2007, Proceedings. p. 22-28 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4585 LNAI).

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

    3 Scopus citations
  • Satisfiability testing of boolean combinations of pseudo-boolean constraints using local-search techniques

    Liu, L. & Truszczyński, M., Sep 2007, In: Constraints. 12, 3, p. 345-369 25 p.

    Research output: Contribution to journalArticlepeer-review

    5 Scopus citations
  • The first answer set programming system competition

    Gebser, M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T. & Truszczyński, M., 2007, Logic Programming and Nonmonotonic Reasoning - 9th International Conference, LPNMR 2007, Proceedings. p. 3-17 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4483 LNAI).

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

    71 Scopus citations
  • The modal logic S4F, the default logic, and the logic here-and-there

    Truszczyński, M., 2007, AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference. p. 508-513 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    10 Scopus citations
  • Towards debugging of answer-set programs in the language PS pb

    Moseley, A. M. E. & Truszczynski, M., 2007, Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007. p. 635-640 6 p. (Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007; vol. 2).

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

    11 Scopus citations
  • 2006

    Computing minimal models, stable models and answer sets

    Lonc, Z. & Truszczyński, M., Jul 2006, In: Theory and Practice of Logic Programming. 6, 4, p. 395-449 55 p.

    Research output: Contribution to journalArticlepeer-review

    8 Scopus citations
  • Generating cellular puzzles with logic programs

    Finkel, R., Marek, W. & Truszczynski, M., 2006, Proceedings of the 2006 International Conference on Artificial Intelligence, ICAI'06. p. 403-407 5 p. (Proceedings of the 2006 International Conference on Artificial Intelligence, ICAI'06; vol. 2).

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

    1 Scopus citations
  • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

    Etalle, S. & Truszczyński, M., 2006, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4079 LNCS, p. v-vi

    Research output: Contribution to journalEditorial

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