 |
 Neurosymbolic Graph Enrichment for Grounded World ModelsInformation Processing & Management (IPM), 2024 |
 Neural Model CheckingNeural Information Processing Systems (NeurIPS), 2024 |
 Understanding GNNs for Boolean Satisfiability through Approximation
AlgorithmsInternational Conference on Information and Knowledge Management (CIKM), 2024 Jan Hůla David Mojžíšek Mikoláš Janota |
 Demystifying Higher-Order Graph Neural NetworksIEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), 2024 |
 Interpretable Multimodal Out-of-context Detection with Soft Logic
RegularizationIEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), 2024 |
 stl2vec: Semantic and Interpretable Vector Representation of Temporal
LogicEuropean Conference on Artificial Intelligence (ECAI), 2024 |
 Controlling Continuous Relaxation for Combinatorial OptimizationNeural Information Processing Systems (NeurIPS), 2023 Yuma Ichikawa |
 Neurosymbolic Reinforcement Learning and Planning: A SurveyIEEE Transactions on Artificial Intelligence (IEEE TAI), 2023 |
 Coupling Large Language Models with Logic Programming for Robust and
General Reasoning from TextAnnual Meeting of the Association for Computational Linguistics (ACL), 2023 |
 Towards Invertible Semantic-Preserving Embeddings of Logical FormulaeInternational Workshop on Neural-Symbolic Learning and Reasoning (NeSy), 2023 |
 Neurosymbolic AI for Reasoning over Knowledge Graphs: A SurveyIEEE Transactions on Neural Networks and Learning Systems (TNNLS), 2023 |
 Parallel and Distributed Graph Neural Networks: An In-Depth Concurrency
AnalysisIEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), 2022 |
 Graph Neural Networks for Propositional Model CountingThe European Symposium on Artificial Neural Networks (ESANN), 2022 |
 Combinatorial optimization and reasoning with graph neural networksInternational Joint Conference on Artificial Intelligence (IJCAI), 2021 |
 Computing Graph Neural Networks: A Survey from Algorithms to
AcceleratorsACM Computing Surveys (ACM CSUR), 2020 |
 Deep Learning for Abstract Argumentation SemanticsInternational Joint Conference on Artificial Intelligence (IJCAI), 2020 |
 Beyond Graph Neural Networks with Lifted Relational Neural NetworksMachine-mediated learning (ML), 2020 |
