PARIS: Planning Algorithms for Reconfiguring Independent Sets
- Remo Christen
- Salomé Eriksson
- et al.
- 2023
- ECAI 2023
Publications
Date
Featured collections
Popular topics
296 results for Neuro-symbolic AI
Approximate Inference in Logical Credal Networks
- Radu Marinescu
- Haifeng Qian
- et al.
- 2023
- IJCAI 2023
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023
Probabilistic Rule Induction from Event Sequences with Logical Summary Markov Models
- Debarun Bhattacharjya
- Oktie Hassanzadeh
- et al.
- 2023
- IJCAI 2023
Generating SAS+ Planning Tasks of Specified Causal Structure
- Michael Katz
- Junkyu Lee
- et al.
- 2023
- SoCS 2023
Biomechanics-guided Facial Action Unit Detection through Force Modeling
- Zijun Cui
- Chenyi Kuang
- et al.
- 2023
- CVPR 2023
Quantum Graph Transformers
- Georgios Kollias
- Vasileios Kalantzis
- et al.
- 2023
- ICASSP 2023
Toward Theoretical Guidance for Two Common Questions in Practical Cross-Validation based Hyperparameter Selection
- Parikshit Ram
- Alexander Gray
- et al.
- 2023
- SDM 2023
Two-Sample Tests for Inhomogeneous Random Graphs in Lr norm: Optimality and Asymptotics
- Sayak Chatterjee
- Dibyendu Saha
- et al.
- 2023
- AISTATS 2023
Distributionally Robust Optimization for Input Model Uncertainty in Simulation-Based Decision Making
- Soumyadip Ghosh
- Mark S. Squillante
- 2022
- WSC 2022