No photo of Miroslaw Truszczynski

View Scopus Profile

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
Conference contribution

Search results

  • 2007

    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 proceeding › Conference contribution › peer-review

    11 Scopus citations
  • 2006

    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 proceeding › Conference contribution › peer-review

    1 Scopus citations

  • 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    1 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 proceeding › Conference contribution › peer-review

    9 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    11 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 proceeding › Conference contribution › peer-review

    2 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 proceeding › Conference contribution › peer-review

    13 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 proceeding › Conference contribution › peer-review

    10 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 proceeding › Conference contribution › peer-review

  • 2002

    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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 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 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations
  • 2001

    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 proceeding › Conference contribution › peer-review

  • 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    1 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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

  • 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 proceeding › Conference contribution › peer-review

  • 1997

    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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

  • 1995

    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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    1 Scopus citations
  • 1994

    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 proceeding › Conference contribution › peer-review

    20 Scopus citations
  • 1993

    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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

    5 Scopus citations
  • 1991

    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 proceeding › Conference contribution › peer-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 proceeding › Conference contribution › peer-review

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