International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR)
Aug 13, 2024
International Symposium on Practical Aspects of Declarative Languages (PADL) at POPL
Jan 15, 2024
AAAI Conference on Artificial Intelligence
Feb 11, 2023