Similar Items: An Empirical Comparison of Cost Functions in Inductive Logic Programming
- First Order Logic on Pathwidth Revisited Again
- Honey, I Shrunk the Hypothesis Space (Through Logical Preprocessing)
- Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
- Measurement-Based Parasitic Inductance Network Identification for Multichip Power Modules Based on Inductance Matrix of Loop Wiring Paths
- Formal Logic Inference Guided Uncertainty Quantification for Personalized Federated Learning
- Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth