Maximilian Pflüger : Publications

Click here to download all publications in a single bibtex file

@inproceedings{10.1145/3661814.3662107,
  title = "A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures",
  author = "Pflueger, Maximilian and Marti, Johannes and Kostylev, Egor V.",
  year = "2024",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science",
  isbn = "9798400706608",
  keywords = "monadic least fixpoint logic, bisimulation, mu-calculus",
  location = "Tallinn, Estonia",
  publisher = "Association for Computing Machinery",
  series = "LICS '24",
  url = "https://doi.org/10.1145/3661814.3662107",
  doi = "10.1145/3661814.3662107",
}

@inproceedings{16225,
  title = "Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic",
  author = "Maximilian Pflüger and David Tena Cucala and Egor V. Kostylev",
  year = "2024",
  booktitle = "38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), 20th-27th February 2024, Vancouver, Canada",
}

@inproceedings{16226,
  title = "GNNQ: A Neuro-Symbolic Approach to Query Answering Over Incomplete Knowledge Graphs",
  author = "Maximilian Pflüger and David Tena Cucala and Egor V. Kostylev",
  year = "2022",
  booktitle = "21st International Semantic Web Conference (ISWC 2022), Virtual Event, October 23–27",
}