Maximilian Pflüger
Selected Publications
-
A Characterisation Theorem for Two−Way Bisimulation−Invariant Monadic Least Fixpoint Logic Over Finite Structures
Maximilian Pflueger‚ Johannes Marti and Egor V. Kostylev
In Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. New York‚ NY‚ USA. 2024. Association for Computing Machinery.
Details about A Characterisation Theorem for Two−Way Bisimulation−Invariant Monadic Least Fixpoint Logic Over Finite Structures | BibTeX data for A Characterisation Theorem for Two−Way Bisimulation−Invariant Monadic Least Fixpoint Logic Over Finite Structures | DOI (10.1145/3661814.3662107) | Link to A Characterisation Theorem for Two−Way Bisimulation−Invariant Monadic Least Fixpoint Logic Over Finite Structures
-
Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic
Maximilian Pflüger‚ David Tena Cucala and Egor V. Kostylev
In 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024)‚ 20th−27th February 2024‚ Vancouver‚ Canada. 2024.
Details about Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic | BibTeX data for Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic
-
GNNQ: A Neuro−Symbolic Approach to Query Answering Over Incomplete Knowledge Graphs
Maximilian Pflüger‚ David Tena Cucala and Egor V. Kostylev
In 21st International Semantic Web Conference (ISWC 2022)‚ Virtual Event‚ October 23–27. 2022.
Details about GNNQ: A Neuro−Symbolic Approach to Query Answering Over Incomplete Knowledge Graphs | BibTeX data for GNNQ: A Neuro−Symbolic Approach to Query Answering Over Incomplete Knowledge Graphs