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

  • 1998

    Rough sets - What are they about?

    Marek, V. W. & Truszczyński, M., 1998, Rough Sets and Current Trends in Computing - 1st International Conference, RSCTC 1998, Proceedings. Polkowski, L. & Skowron, A. (eds.). p. 24 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1424).

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

  • Simulating patients with Parallel Health State Networks.

    Sumner, W., Truszczynski, M. & Marek, V. W., 1998, In: Proceedings / AMIA ... Annual Symposium. AMIA Symposium. p. 438-442 5 p.

    Research output: Contribution to journalArticlepeer-review

    4 Scopus citations
  • 1997

    A note on local colorings of graphs

    Ruciński, A. & Truszczyński, M., Feb 10 1997, In: Discrete Mathematics. 164, 1-3, p. 251-255 5 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    10 Scopus citations
  • Automated reasoning with nonmonotonic logics (INVITED TALK)

    Truszczyński, M., 1997, Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings. Dix, J., Furbach, U. & Nerode, A. (eds.). p. 112-114 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1265).

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

  • Intelligent computation of presentation documents

    Oldham, J. D., Marek, V. W. & Truszczyński, M., 1997, Foundations of Intelligent Systems - 10th International Symposium, ISMIS 1997, Proceedings. Ras, Z. W. & Skowron, A. (eds.). p. 560-569 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1325).

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

  • Representation theory for default logic

    Marek, V. W., Treur, J. & Truszczyński, M., 1997, In: Annals of Mathematics and Artificial Intelligence. 21, 2-4, p. 343-358 16 p.

    Research output: Contribution to journalArticlepeer-review

    18 Scopus citations
  • 1996

    A formal model of family medicine

    Sumner, W., Truszczynski, M. & Marek, V. W., 1996, In: The Journal of the American Board of Family Practice / American Board of Family Practice. 9, 1, p. 41-52 12 p.

    Research output: Contribution to journalArticlepeer-review

    7 Scopus citations
  • Approximating the stable model semantics is hard

    Gottlob, G. & Truszczyński, M., Nov 1996, In: Fundamenta Informaticae. 28, 1-2, p. 123-128 6 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Nonmonotonic reasoning is sometimes simpler!

    Schwarz, G. & Truszczynski, M., Apr 1996, In: Journal of Logic and Computation. 6, 2, p. 295-308 14 p.

    Research output: Contribution to journalArticlepeer-review

    6 Scopus citations
  • 1995

    Complexity of computing with extended propositional logic programs

    Wiktor Marek, V., Rajasekar, A. & Truszczyński, M., Sep 1995, In: Annals of Mathematics and Artificial Intelligence. 15, 3-4, p. 357-378 22 p.

    Research output: Contribution to journalArticlepeer-review

    2 Scopus citations
  • Preface

    Wiktor Marek, V., Nerode, A. & Truszczyński, M., 1995, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 928, p. V

    Research output: Contribution to journalEditorial

  • Revision programming, database updates and integrity constraints

    Wiktor Marek, V. & Truszczyński, M., 1995, Database Theory - ICDT 1995 - 5th International Conference, Proceedings. Vardi, M. Y. & Gottlob, G. (eds.). p. 368-382 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 893).

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

    25 Scopus citations
  • Skeptical rational extensions

    Mikitiuk, A. & Truszczyński, M., 1995, Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings. Marek, V. W., Truszczynski, M. & Nerode, A. (eds.). p. 259-272 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 928).

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

    1 Scopus citations
  • 1994

    Minimal knowledge problem: A new approach

    Schwarz, G. & Truszczyński, M., May 1994, In: Artificial Intelligence. 67, 1, p. 113-141 29 p.

    Research output: Contribution to journalArticlepeer-review

    29 Scopus citations
  • Revision specifications by means of programs

    Marek, V. W. & Truszczyński, M., 1994, Logics in Artificial Intelligence - European Workshop JELIA 1994, Proceedings. MacNish, C., Pearce, D. & Pereira, L. M. (eds.). p. 122-136 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 838 LNAI).

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

    20 Scopus citations
  • 1993

    Modal nonmonotonic logics: Ranges, characterization, computation

    Marek, V. W., Schwarz, G. F. & Truszczynski, M., Sep 1993, In: Journal of the ACM (JACM). 40, 4, p. 963-990 28 p.

    Research output: Contribution to journalArticlepeer-review

    29 Scopus citations
  • Modal Nonmonotonic Logics: Ranges, Characterization, Computation

    Marek, V. W., Schwarz, G. F. & Truszczyński, M., Jan 9 1993, In: Journal of the ACM (JACM). 40, 4, p. 961-988 28 p.

    Research output: Contribution to journalArticlepeer-review

    1 Scopus citations
  • Nonmonotonic reasoning is sometimes simpler

    Schwarz, G. & Truszczyński, M., 1993, Computational Logic and Proof Theory - 3rd Kurt Godel Colloquium, KGC 1993, Proceedings. Gottlob, G., Leitsch, A. & Mundici, D. (eds.). p. 313-324 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 713 LNCS).

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

    6 Scopus citations
  • Normal form results for default logic

    Marek, V. W. & Truszczyński, M., 1993, Nonmonotonic and Inductive Logic - 2nd International Workshop, Proceedings. Brewka, G., Jantke, K. P. & Schmitt, P. H. (eds.). p. 270-283 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 659 LNAI).

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

    2 Scopus citations
  • Subnormal modal logics for knowledge representation

    Schwarz, G. & Truszczynski, M., 1993, Proceedings of the National Conference on Artificial Intelligence. p. 438-443 6 p. (Proceedings of the National Conference on Artificial Intelligence).

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

    5 Scopus citations
  • 1992

    Generalized local colorings of graphs

    Truszczyński, M., Mar 1992, In: Journal of Combinatorial Theory, Series B. 54, 2, p. 178-188 11 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    12 Scopus citations
  • Indexing functions and time lower bounds for sorting on a mesh-connected computer

    Han, Y., Igarashi, Y. & Truszczynski, M., Apr 30 1992, In: Discrete Applied Mathematics. 36, 2, p. 141-152 12 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    5 Scopus citations
  • Rado's selection principle: applications to binary relations, graph and hypergraph colorings and partially ordered sets

    Truszczynski, M. & Tuza, Z., May 28 1992, In: Discrete Mathematics. 103, 3, p. 301-312 12 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    2 Scopus citations
  • The pure logic of necessitation

    Fitting, M. C., Marek, V. W. & Truszczyński, M., Jun 1992, In: Journal of Logic and Computation. 2, 3, p. 349-373 25 p.

    Research output: Contribution to journalArticlepeer-review

    18 Scopus citations
  • 1991

    Algorithm for embedding a class of non-even routing problems in even routing problems

    Parks, D. & Truszczynski, M., 1991, p. 152-158. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  • Asymptotic results on saturated graphs

    Truszczynski, M. & Tuza, Z., Feb 22 1991, In: Discrete Mathematics. 87, 3, p. 309-314 6 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    9 Scopus citations
  • Autoepistemic logic

    Marek, W. & Truszczynski, M., 1991, In: Journal of the ACM. 38, 3, p. 588-619 32 p.

    Research output: Contribution to journalArticlepeer-review

    259 Scopus citations
  • Autoepistemic Logic

    Marek, W. & Truszczyński, M., Jan 7 1991, In: Journal of the ACM (JACM). 38, 3, p. 587-618 32 p.

    Research output: Contribution to journalArticlepeer-review

    18 Scopus citations
  • Decompositions of graphs into forests with bounded maximum degree

    Truszczyński, M., Dec 26 1991, In: Discrete Mathematics. 98, 3, p. 207-222 16 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    3 Scopus citations
  • Decompositions of regular bipartite graphs

    Jacobson, M. S., Truszczyński, M. & Tuza, Z., May 3 1991, In: Discrete Mathematics. 89, 1, p. 17-27 11 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    21 Scopus citations
  • Primal graphs with small degrees

    Chinn, P. Z., Richter, R. B. & Truszczynski, M., Feb 22 1991, In: Discrete Mathematics. 87, 3, p. 237-248 12 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    1 Scopus citations
  • Ranges of strong modal nonmonotonic logics

    Marek, W., Schwarz, G. F. & Truszczyński, M., 1991, Nonmonotonic and Inductive Logic - 1st International Workshop, Proceedings. Jantke, K. P., Dix, J. & Schmitt, P. H. (eds.). p. 85-99 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 542 LNAI).

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

  • Routing non-convex grids without holes

    Parks, D. & Truszczynski, M., 1991, Proceedings - 1st Great Lakes Symposium on VLSI, GLSV 1991. p. 157-162 6 p. 143959. (Proceedings - 1st Great Lakes Symposium on VLSI, GLSV 1991).

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

    1 Scopus citations
  • 1990

    Modal logic for default reasoning

    Marek, W. & Truszczyński, M., Sep 1990, In: Annals of Mathematics and Artificial Intelligence. 1, 1-4, p. 275-302 28 p.

    Research output: Contribution to journalArticlepeer-review

    44 Scopus citations
  • 1989

    Sunlike Primal Graphs

    CHINN, P. Z., RICHTER, R. B. & TRUSZCZYNSKI, M., Dec 1989, In: Annals of the New York Academy of Sciences. 576, 1, p. 118-124 7 p.

    Research output: Contribution to journalArticlepeer-review

    4 Scopus citations
  • Vertex Primal Graphs

    TRUSZCZYNSKI, MIROSLAW., May 1989, In: Annals of the New York Academy of Sciences. 555, 1, p. 413-420 8 p.

    Research output: Contribution to journalArticlepeer-review

  • 1988

    The tree number of a graph with a given girth

    Truszczyński, M., Dec 1988, In: Periodica Mathematica Hungarica. 19, 4, p. 273-286 14 p.

    Research output: Contribution to journalArticlepeer-review

    4 Scopus citations
  • 1987

    Linear upper bounds for local Ramsey numbers

    Truszczynski, M. & Tuza, Z., Dec 1987, In: Graphs and Combinatorics. 3, 1, p. 67-73 7 p.

    Research output: Contribution to journalArticlepeer-review

    24 Scopus citations
  • 1985

    Decomposition of large uniform hypergraphs

    Lonc, Z. & Truszczyński, M., Dec 1985, In: Order. 1, 4, p. 345-350 6 p.

    Research output: Contribution to journalArticlepeer-review

    16 Scopus citations
  • Jump number problem: The role of matroids

    Truszczyński, M., Mar 1985, In: Order. 2, 1, p. 1-8 8 p.

    Research output: Contribution to journalArticlepeer-review

    5 Scopus citations
  • Note on the decomposition of λKm,n (λKm,n*) into paths

    Truszczyński, M., 1985, In: Discrete Mathematics. 55, 1, p. 89-96 8 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    25 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
  • 1980

    Once more on storage for consecutive retrieval

    Truszczyński, M., Feb 12 1980, In: Information Processing Letters. 10, 1, p. 21-24 4 p.

    Research output: Contribution to journalArticlepeer-review

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