An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- Achille Fokoue
- Ibrahim Abdelaziz
- et al.
- 2023
- IJCAI 2023
Conference paper
Publications
237 results for Knowledge and Reasoning
K∗ Search Over Orbit Space for Top-k Planning
- 2023
- IJCAI 2023
Conference paperProbabilistic Rule Induction from Event Sequences with Logical Summary Markov Models
- Debarun Bhattacharjya
- Oktie Hassanzadeh
- et al.
- 2023
- IJCAI 2023
Conference paperAction Space Reduction for Planning Domains
- Harsha Kokel
- Junkyu Lee
- et al.
- 2023
- IJCAI 2023
Conference paperGeneralized Planning in PDDL Domains with Pretrained Large Language Models
- Tom Silver
- Soham Dan
- et al.
- 2023
- IJCAI 2023
Workshop paperTowards More Likely Models for AI Planning
- Turguy Caglar
- Sirine Belhaj
- et al.
- 2023
- IJCAI 2023
Workshop paperGraphical modeling for dynamic safety hints generalisation for Safe Deep Reinforcement Learning Agents
- 2023
- IJCAI 2023
Workshop paperKnowledge extraction pipeline with foundation models for material discovery
- Viviane T. Silva
- Breno William Santos Rezende de Carvalho
- et al.
- 2023
- ACS Fall 2023
TalkThe Tenth International Workshop on Deep Learning on Graphs: Methods and Applications (DLG-KDD‘23)
- Lingfei Wu
- Jiliang Tang
- et al.
- 2023
- KDD 2023
WorkshopGraph Neural Networks: Foundation, Frontiers and Applications
- Lingfei Wu
- Peng Cui
- et al.
- 2023
- KDD 2023
Tutorial