Paulius Dilkas
Orcid: 0000-0001-9185-7840
According to our database1,
Paulius Dilkas
authored at least 6 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2020
2021
2022
2023
2024
0
1
2
3
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Mapping the Neuro-Symbolic AI Landscape by Architectures: A Handbook on Augmenting Deep Learning Through Symbolic Reasoning.
CoRR, 2024
2023
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Generating Random Instances of Weighted Model Counting - An Empirical Analysis with Varying Primal Treewidth.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023
2021
Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021
2020
Proceedings of the Principles and Practice of Constraint Programming, 2020