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

Search results

  • 2022

    A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection

    Liu, L., Truszczynski, M. & Lierler, Y., 2022, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.). p. 415-428 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13416 LNAI).

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

  • Solving Problems in the Polynomial Hierarchy with ASP(Q)

    Amendola, G., Cuteri, B., Ricca, F. & Truszczynski, M., 2022, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (eds.). p. 373-386 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13416 LNAI).

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

  • 2021

    Probabilistic Lexicographic Preference Trees

    Liu, X. & Truszczynski, M., 2021, Algorithmic Decision Theory - 7th International Conference, ADT 2021, Proceedings. Fotakis, D. & Ríos Insua, D. (eds.). p. 86-100 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13023 LNAI).

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

  • 2020

    A lexicographic strategy for approximating dominance in CP-nets

    Huelsman, M. & Truszczynski, M., 2020, Proceedings of the 33rd International Florida Artificial Intelligence Research Society Conference, FLAIRS 2020. Bell, E. & Bartak, R. (eds.). p. 69-72 4 p. (Proceedings of the 33rd International Florida Artificial Intelligence Research Society Conference, FLAIRS 2020).

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

    1 Scopus citations
  • 2019

    New complexity results on aggregating lexicographic preference trees using positional scoring rules

    Liu, X. & Truszczynski, M., 2019, Algorithmic Decision Theory - 6th International Conference, ADT 2019, Proceedings. Pekec, S. & Venable, K. B. (eds.). p. 97-111 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11834 LNAI).

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

  • 2018

    A generator of hard 2QBF formulas and ASP programs

    Amendola, G., Ricca, F. & Truszczynski, M., 2018, Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018. Thielscher, M., Toni, F. & Wolter, F. (eds.). p. 52-56 5 p. (Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018).

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

    5 Scopus citations
  • Maximin share allocations on cycles

    Lonc, Z. & Truszczynski, M., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). p. 410-416 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2018-July).

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

    Open Access
    9 Scopus citations
  • Preference learning and optimization for partial lexicographic preference forests over combinatorial domains

    Liu, X. & Truszczynski, M., 2018, Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Proceedings. Woltran, S. & Ferrarotti, F. (eds.). p. 284-302 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10833 LNCS).

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

    1 Scopus citations
  • Preference orders on families of sets - When can impossibility results be avoided?

    Maly, J., Truszczynski, M. & Woltran, S., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). p. 433-439 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2018-July).

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

    Open Access
    4 Scopus citations
  • 2017

    Generating hard random boolean formulas and disjunctive logic programs

    Amendola, G., Ricca, F. & Truszczynski, M., 2017, 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. Sierra, C. (ed.). p. 532-538 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 0).

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

    Open Access
    15 Scopus citations
  • 2015

    An abstract view on modularity in knowledge representation

    Lierler, Y. & Truszczynski, M., Jun 1 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. p. 1532-1538 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 2).

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

    9 Scopus citations
  • Learning partial lexicographic preference trees over combinatorial domains

    Liu, X. & Truszczynski, M., Jun 1 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. p. 1539-1545 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 2).

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

    20 Scopus citations
  • Logic programming and nonmonotonic reasoning: 13th international conference, LPNMR 2015 Lexington, KY, USA, september 27–30, 2015 proceedings

    Calimeri, F., Ianni, G. & Truszczynski, M., 2015, Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Proceedings. Calimeri, F., Ianni, G. & Truszczynski, M. (eds.). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9345).

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

    1 Scopus citations
  • Manipulation and bribery when aggregating ranked preferences

    Zhu, Y. & Truszczynski, M., 2015, Algorithmic Decision Theory - 4th International Conference, ADT 2015, Proceedings. Walsh, T. (ed.). p. 86-102 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9346).

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

  • Reasoning with preference trees over combinatorial domains

    Liu, X. & Truszczynski, M., 2015, Algorithmic Decision Theory - 4th International Conference, ADT 2015, Proceedings. Walsh, T. (ed.). p. 19-34 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9346).

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

    3 Scopus citations
  • Towards more efficient requirements formalization: A study

    Li, W., Hayes, J. H. & Truszczyński, M., 2015, Requirements Engineering: Foundation for Software Quality - 21st International Working Conference, REFSQ 2015, Proceedings. Fricker, S. A. & Schneider, K. (eds.). p. 181-197 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9013).

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

    2 Scopus citations
  • 2014

    Abstract modular inference systems and solvers

    Lierler, Y. & Truszczynski, M., 2014, Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, Proceedings. p. 49-64 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8324 LNCS).

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

    5 Scopus citations
  • Answer-Set Programming in Requirements Engineering

    Li, W., Brown, D., Hayes, J. H. & Truszczynski, M., 2014, Requirements Engineering: Foundation for Software Quality - 20th International Working Conference, REFSQ 2014, Proceedings. p. 168-183 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8396 LNCS).

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

    2 Scopus citations
  • Manipulation and bribery in preference reasoning under pareto principle

    Zhu, Y. & Truszczynski, M., 2014, Multidisciplinary Workshop on Advances in Preference Handling - Papers Presented at the 28th AAAI Conference on Artificial Intelligence, Technical Report. p. 90-95 6 p. (AAAI Workshop - Technical Report; vol. WS-14-10).

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

  • Preference trees: A language for representing and reasoning about qualitative preferences

    Liu, X. & Truszczynski, M., 2014, Multidisciplinary Workshop on Advances in Preference Handling - Papers Presented at the 28th AAAI Conference on Artificial Intelligence, Technical Report. p. 55-60 6 p. (AAAI Workshop - Technical Report; vol. WS-14-10).

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

    2 Scopus citations
  • 2013

    Abstract preference frameworks - A unifying perspective on separability and strong equivalence

    Faber, W., Truszczyński, M. & Woltran, S., 2013, Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013. p. 297-303 7 p. (Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013).

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

    7 Scopus citations
  • Aggregating conditionally lexicographic preferences using answer set programming solvers

    Liu, X. & Truszczynski, M., 2013, Algorithmic Decision Theory - Third International Conference, ADT 2013, Proceedings. p. 244-258 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8176 LNAI).

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

    12 Scopus citations
  • Implementing informal semantics of ASP

    Mikitiuk, A. & Truszczynski, M., 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. p. 433-438 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

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

  • Modular answer set solving

    Lierler, Y. & Truszczyński, M., 2013, Late-Breaking Developments in the Field of Artificial Intelligence - Papers Presented at the 27th AAAI Conference on Artificial Intelligence, Technical Report. p. 68-70 3 p. (AAAI Workshop - Technical Report; vol. WS-13-17).

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

    6 Scopus citations
  • On equivalent transformations of infinitary formulas under the stable model semantics (Preliminary report)

    Harrison, A., Lifschitz, V. & Truszczynski, M., 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. p. 387-394 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

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

    3 Scopus citations
  • On optimal solutions of answer set optimization problems

    Zhu, Y. & Truszczynski, M., 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. p. 556-568 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

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

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

    Caroprese, L., Trubitsyna, I., Truszczyński, M. & Zumpano, E., 2013, 21st Italian Symposium on Advanced Database Systems, SEBD 2013. p. 95-102 8 p. (21st Italian Symposium on Advanced Database Systems, SEBD 2013).

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

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

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

    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

  • 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

    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
  • 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
  • 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
  • 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
  • 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
  • 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
Your message has successfully been sent.
Your message was not sent due to an error.