23:31 [PADL'24] Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Archite... ACM SIGPLAN
36:36 [PADL'24] FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explai... ACM SIGPLAN
58:32 [PADL'24] Whats and Whys of Neural Network Verification (A Declarative Programming Perspec... ACM SIGPLAN
28:51 [PADL'24] Using Logic Programming and Kernel-Grouping for Improving Interpretability of Co... ACM SIGPLAN
29:14 [PADL'24] Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures ACM SIGPLAN
28:27 [PADL'24] Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using B... ACM SIGPLAN
50:48 [PADL'24] Automated Interactive Domain-Specific Conversational Agents that Understand Huma... ACM SIGPLAN