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.
Filter
Chapter

Search results

  • 2012

    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
  • 2008

    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
  • 2004

    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
  • 2003

    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
  • 1983

    ON ADMISSIBLE FAMILIES OF SETS.

    Truszczynski, M., 1983, Notes and Reports in Computer Science and Applied Mathematics. p. 201-221 21 p.

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

  • OPTIMAL F-GRAPHS FOR BALANCED FAMILIES OF SETS.

    Iwanski, C. & Truszczynski, M., 1983, Notes and Reports in Computer Science and Applied Mathematics. p. 223-246 24 p.

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

  • OPTIMAL F-GRAPHS FOR THE FAMILY OF ALL K-SUBSETS OF AN N-SET.

    Lonc, Z., Traczyk, T. & Truszczynski, M., 1983, Notes and Reports in Computer Science and Applied Mathematics. p. 247-270 24 p.

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

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