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

  • 2006

    Local-search techniques for boolean combinations of pseudo-boolean constraints

    Liu, L. & Truszczyński, M., 2006, Proceedings of the 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06. p. 98-103 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

    3 Scopus citations
  • Nonmonotonic logics and their algebraic foundations

    Truszczyński, M., 2006, Computer Science Logic - 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Proceedings. p. 58-71 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4207 LNCS).

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

    1 Scopus citations
  • Predicate-calculus-based logics for modeling and solving search problems

    East, D. & Truszczyński, M., 2006, In: ACM Transactions on Computational Logic. 7, 1, p. 38-83 46 p.

    Research output: Contribution to journalArticlepeer-review

    19 Scopus citations
  • Strong and uniform equivalence of nonmonotonic theories - An algebraic approach

    Truszczyński, M., Dec 2006, In: Annals of Mathematics and Artificial Intelligence. 48, 3-4, p. 245-265 21 p.

    Research output: Contribution to journalArticlepeer-review

    24 Scopus citations
  • Strong and uniform equivalence of nonmonotonic theories-An algebraic approach

    Truszczyński, M., 2006, Proceedings, 10th International Conference on Principles of Knowledge Representation and Reasoning, KR 2006. p. 389-399 11 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).

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

    9 Scopus citations
  • Strong equivalence of nonmonotonic theories-an algebraic approach (abstract)

    Truszczyński, M., 2006.

    Research output: Contribution to conferencePaperpeer-review

  • Tools for modeling and solving search problems

    East, D., Iakhiaev, M., Mikitiuk, A. & Truszczyński, M., 2006, In: AI Communications. 19, 4, p. 301-312 12 p.

    Research output: Contribution to journalArticlepeer-review

    8 Scopus citations
  • 2005

    Approximating answer sets of unitary Lifschitz-Woo programs

    Marek, V. W., Pivkina, I. & Truszczyński, M., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 66-78 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3662 LNAI).

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

  • Pbmodels - Software to compute stable models by pseudoboolean solvers

    Liu, L. & Truszczyński, M., 2005, Logic Programming and Nonmonotonic Reasoning - 8th International Conference, LPNMR 2005, Proceedings. p. 410-415 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3662 LNAI).

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

    11 Scopus citations
  • Prioritized component systems

    Brewka, G., Niemelä, I. & Truszczyński, M., 2005, p. 596-601. 6 p.

    Research output: Contribution to conferencePaperpeer-review

    7 Scopus citations
  • Properties of programs with monotone and convex constraints

    Liu, L. & Truszczyński, M., 2005, p. 701-706. 6 p.

    Research output: Contribution to conferencePaperpeer-review

    19 Scopus citations
  • The computational complexity of dominance and consistency in CP-nets

    Goldsmith, J., Lang, J., Truszczyński, M. & Wilson, N., 2005, In: IJCAI International Joint Conference on Artificial Intelligence. p. 144-149 6 p.

    Research output: Contribution to journalConference articlepeer-review

    32 Scopus citations
  • 2004

    Automatic generation of English-language steps in puzzle solving

    Ponnuru, H., Finkel, R., Marek, V. & Truszczyński, M., 2004, Proceedings of the International Conference on Artificial Intelligence, IC-AI'04. Arabnia, H. R. (ed.). p. 437-442 6 p. (Proceedings of the International Conference on Artificial Intelligence, IC-AI'04; vol. 1).

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

    2 Scopus citations
  • Computing stable models: Worst-case performance estimates

    Lonc, Z. & Truszczyński, M., 2004, In: Theory and Practice of Logic Programming. 4, 1-2, p. 193-231 39 p.

    Research output: Contribution to journalArticlepeer-review

    5 Scopus citations
  • Constraint Lingo: Towards high-level constraint programming

    Finkel, R., Marek, V. W. & Truszczyński, M., Dec 2004, In: Software - Practice and Experience. 34, 15, p. 1481-1504 24 p.

    Research output: Contribution to journalArticlepeer-review

    11 Scopus citations
  • Logic programs with abstract constraint atoms

    Marek, V. W. & Truszczyński, M., 2004, p. 86-91. 6 p.

    Research output: Contribution to conferencePaperpeer-review

    36 Scopus citations
  • Logic programs with monotone cardinality atoms

    Marek, V. W., Niemelä, I. & Truszczyński, M., 2004, Logic Programming and Nonmonotonic Reasoning. Niemela, I. & Lifschitz, V. (eds.). p. 154-166 13 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 2923).

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

    13 Scopus citations
  • Satisfiability and computing van der Waerden numbers

    Dransfield, M. R., Marek, V. W. & Truszczyński, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Giunchiglia, E. & Tacchella, A. (eds.). p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2919).

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

    8 Scopus citations
  • Towards systematic benchmarking in answer set programming: The dagstuhl initiative

    Borchert, P., Anger, C., Schaub, T. & Truszczyński, M., 2004, Logic Programming and Nonmonotonic Reasoning. Niemela, I. & Lifschitz, V. (eds.). p. 3-7 5 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 2923).

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

    10 Scopus citations
  • Ultimate approximation and its application in nonmonotonic knowledge representation systems

    Denecker, M., Marek, V. W. & Truszczyński, M., Jul 1 2004, In: Information and Computation. 192, 1, p. 84-121 38 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    62 Scopus citations
  • WSAT (CC) - A fast local-search ASP solver

    Liu, L. & Truszczyński, M., 2004, Logic Programming and Nonmonotonic Reasoning. Niemela, I. & Lifschitz, V. (eds.). p. 351-355 5 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 2923).

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

  • 2003

    Answer set optimization

    Brewka, G., Niemela, I. & Truszczynski, M., 2003, In: IJCAI International Joint Conference on Artificial Intelligence. p. 867-872 6 p.

    Research output: Contribution to journalConference articlepeer-review

    125 Scopus citations
  • Computing minimal models, stable models, and answer sets

    Lonc, Z. & Truszczyński, M., 2003, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2916, p. 209-223 15 p.

    Research output: Contribution to journalArticlepeer-review

    2 Scopus citations
  • Fixed-parameter complexity of semantics for logic programs

    Lonc, Z. & Truszczyński, M., Jan 2003, In: ACM Transactions on Computational Logic. 4, 1, p. 91-119 29 p.

    Research output: Contribution to journalArticlepeer-review

    10 Scopus citations
  • Local-search techniques for propositional logic extended with cardinality constraints

    Liu, L. & Truszczyński, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rossi, F. (ed.). p. 495-509 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2833).

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

    14 Scopus citations
  • Uniform semantic treatment of default and autoepistemic logics

    Denecker, M., Marek, V. W. & Truszczyński, M. S., Jan 2003, In: Artificial Intelligence. 143, 1, p. 79-122 44 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    73 Scopus citations
  • 2002

    Annotated revision programs

    Marek, V., Pivkina, I. & Truszczyński, M., Jun 2002, In: Artificial Intelligence. 138, 1-2, p. 149-180 32 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    5 Scopus citations
  • Computing large and small stable models

    Truszczyński, M., Jan 2002, In: Theory and Practice of Logic Programming. 2, 1, p. 1-23 23 p.

    Research output: Contribution to journalArticlepeer-review

    5 Scopus citations
  • Computing stable models: Worst-case performance estimates

    Lonc, Z. & Truszczyński, M., 2002, Logic Programming - 18th International Conference, ICLP 2002, Proceedings. Stuckey, P. J. (ed.). p. 347-362 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2401 LNCS).

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

    2 Scopus citations
  • Constraint lingo: A program for solving logic puzzles and other tabular constraint problems

    Finkel, R., Marek, V. W. & Truszczyński, M., 2002, Logics in Artificial Intelligence - 8th European Conference, JELIA 2002, Proceedings. Flesca, S., Greco, S., Ianni, G. & Leone, N. (eds.). p. 513-516 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2424).

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

    3 Scopus citations
  • Constraint Lingo: A program for solving logic puzzles and other tabular constraint problems

    Finkel, R., Marek, V. W. & Truszczyński, M., 2002, Logics in Artificial Intelligence - 8th European Conference, JELIA 2002, Proceedings. Flesca, S., Greco, S., Ianni, G. & Leone, N. (eds.). p. 513-516 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2424 LNAI).

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

  • The aspps system

    East, D. & Truszczyński, M., 2002, Logics in Artificial Intelligence - 8th European Conference, JELIA 2002, Proceedings. Flesca, S., Greco, S., Ianni, G. & Leone, N. (eds.). p. 533-536 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2424 LNAI).

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

    1 Scopus citations
  • The aspps system

    East, D. & Truszczyński, M., 2002, Logics in Artificial Intelligence - 8th European Conference, JELIA 2002, Proceedings. Flesca, S., Greco, S., Ianni, G. & Leone, N. (eds.). p. 533-536 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2424).

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

    3 Scopus citations
  • 2001

    Aspps - An implementation of answer-set programming with propositional schemata

    East, D. & Truszczyński, M., 2001, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2173, p. 402-405 4 p.

    Research output: Contribution to journalArticlepeer-review

    7 Scopus citations
  • Default logic and specification of nonmonotonic reasoning

    Engelfriet, J., Wiktor Marek, V., Treur, J. & Truszczynski, M., Apr 1 2001, In: Journal of Experimental and Theoretical Artificial Intelligence. 13, 2, p. 99-112 14 p.

    Research output: Contribution to journalArticlepeer-review

    5 Scopus citations
  • Fixed-parameter complexity of semantics for logic programs

    Lonc, Z. & Truszczyński, M., 2001, Logic Programming - 17th International Conference, ICLP 2001, Proceedings. Codognet, P. (ed.). p. 197-211 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2237).

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

  • On the problem of computing the well-founded semantics

    Lonc, Z. & Truszczyński, M., Sep 2001, In: Theory and Practice of Logic Programming. 1, 5, p. 591-609 19 p.

    Research output: Contribution to journalArticlepeer-review

    5 Scopus citations
  • Preface

    Eiter, T., Faber, W. & Truszczyński, M., 2001, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2173 LNAI, p. v

    Research output: Contribution to journalEditorial

  • Propositional satisfiability in answer-set programming

    East, D. & Truszczyński, M., 2001, KI 2001: Advances in Artificial Intelligence - Joint German/Austrian Conference on AI, Proceedings. Baader, F., Brewka, G. & Eiter, T. (eds.). p. 138-153 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2174).

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

    20 Scopus citations
  • 2000

    On the problem of computing the well-founded semantics

    Lonc, Z. & Truszczyński, M., 2000, Computational Logic - CL 2000 - 1st International Conference, Proceedings. Dahl, V., Furbach, U., Kerber, M., Palamidessi, C., Stuckey, P. J., Pereira, L. M., Sagiv, Y., Lloyd, J. & Lau, K-K. (eds.). p. 673-687 15 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 1861).

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

    11 Scopus citations
  • 1999

    Annotated revision programs

    Marek, V., Pivkina, I. & Truszczyński, M., 1999, Logic Programming and Nonmonotonic Reasoning - 5th International Conference, LPNMR 1999, Proceedings. Leone, N., Pfeifer, G. & Gelfond, M. (eds.). p. 49-62 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1730).

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

    1 Scopus citations
  • Computing with default logic

    Cholewiński, P., Marek, V. W., Mikitiuk, A. & Truszczyński, M., Aug 1999, In: Artificial Intelligence. 112, 1, p. 105-146 42 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    40 Scopus citations
  • Contributions to the theory of rough sets

    Marek, V. W. & Truszczyński, M., Sep 1999, In: Fundamenta Informaticae. 39, 4, p. 389-409 21 p.

    Research output: Contribution to journalArticlepeer-review

    36 Scopus citations
  • Extremal problems in logic programming and stable model computation

    Cholewinski, P. & Truszczynski, M., Feb 1999, In: Journal of Logic Programming. 38, 2, p. 219-242 24 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    9 Scopus citations
  • On the accuracy and running time of GSAT

    East, D. & Truszczyński, M., 1999, Progress in Artificial Intelligence - 9th Portuguese Conference on Artificial Intelligence, EPIA 1999, Proceedings. Barahona, P. & Alferes, J. J. (eds.). p. 49-61 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1695).

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

    1 Scopus citations
  • Revision programming = Logic programming + integrity constraints

    Marek, V., Pivkina, I. & Truszczyński, M., 1999, Computer Science Logic - 12th International Workshop, CSL 1998 Annual Conference of the EACSL, Proceedings. Gottlob, G., Seyr, K. & Grandjean, E. (eds.). p. 73-89 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1584).

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

    9 Scopus citations
  • The rectilinear steiner tree problem: Algorithms and examples using permutations of the terminal set

    Leverenz, C. R. & Truszczynski, M., Apr 1 1999, Proceedings of the 37th Annual Southeast Regional Conference, ACM-SE 1999. a31. (Proceedings of the 37th Annual Southeast Regional Conference, ACM-SE 1999).

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

  • 1998

    Fixpoint 3-valued semantics for autoepistemic logic

    Denecker, M., Marek, V. & Truszczynski, M., 1998, p. 840-845. 6 p.

    Research output: Contribution to conferencePaperpeer-review

    4 Scopus citations
  • Preface

    Antoniou, G., Ghose, A. & Truszczynski, M., 1998, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1359, p. V-VI

    Research output: Contribution to journalEditorial

  • Revision programming

    Marek, V. W. & Truszczyński, M., 1998, In: Theoretical Computer Science. 190, 2, p. 241-277 37 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    60 Scopus citations
Your message has successfully been sent.
Your message was not sent due to an error.