Paulius Dilkas, Vaishak Belle. Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. In Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, editors, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. pages 198-207, 2023. [doi]
@inproceedings{DilkasB23,
title = {Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures},
author = {Paulius Dilkas and Vaishak Belle},
year = {2023},
doi = {10.24963/kr.2023/20},
url = {https://doi.org/10.24963/kr.2023/20},
researchr = {https://researchr.org/publication/DilkasB23},
cites = {0},
citedby = {0},
pages = {198-207},
booktitle = {Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023},
editor = {Pierre Marquis and Tran Cao Son and Gabriele Kern-Isberner},
isbn = {978-1-956792-02-7},
}