Michał Zawidzki : Publications

Click here to download all publications in a single bibtex file

@article{10.1016/j.ic.2020.104643,
  title = "Subject-oriented spatial logic",
  author = "Przemysław A. Wałęga, Michał Zawidzki",
  year = "2021",
  journal = "Information and Computation",
  pages = "104643",
  volume = "280",
  doi = "10.1016/j.ic.2020.104643",
}

@inproceedings{10.1007/978-3-030-79876-5_3,
  title = "Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity",
  author = "Joanna Golińska-Pilarek and Michał Zawidzki and Taneli Huuskonen",
  year = "2021",
  address = "Cham",
  booktitle = "Automated Deduction – CADE 28. CADE 2021",
  editor = "André Platzer and Geoff Sutcliffe",
  pages = "41-57",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "12699",
  doi = "10.1007/978-3-030-79876-5_3",
}

@inproceedings{10.1007/978-3-030-86059-2_4,
  title = "Tableaux for Free Logics with Descriptions",
  author = "Andrzej Indrzejczak and Michał Zawidzki",
  year = "2021",
  address = "Cham",
  booktitle = "Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021",
  editor = "Anupam Das and Sara Negri",
  pages = "56-73",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "12842",
  doi = "10.1007/978-3-030-86059-2_4",
}

@inproceedings{10.24963/kr.2021/59,
  title = "Finitely Materialisable Datalog Programs with Metric Temporal Operators",
  author = "Przemysław A. Wałęga, Michał Zawidzki, Bernardo Cuenca Grau",
  year = "2021",
  booktitle = "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning — Full Papers — Main Track",
  editor = "Meghyn Bienvenu and Gerhard Lakemeyer and Esra Erdem",
  pages = "619–628",
  publisher = "IJCAI Organization",
  doi = "10.24963/kr.2021/59",
}