Publications

195 results for Knowledge and Reasoning

An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- - Achille Fokoue
  - Ibrahim Abdelaziz
  - et al.
- 2023
- IJCAI 2023
K∗ Search Over Orbit Space for Top-k Planning
- - Michael Katz
  - Junkyu Lee
- 2023
- IJCAI 2023
Generalized Planning in PDDL Domains with Pretrained Large Language Models
- - Tom Silver
  - Soham Dan
  - et al.
- 2023
- IJCAI 2023
Towards More Likely Models for AI Planning
- - Turguy Caglar
  - Sirine Belhaj
  - et al.
- 2023
- IJCAI 2023
Graphical modeling for dynamic safety hints generalisation for Safe Deep Reinforcement Learning Agents
- - Lamogha Chiazor
  - Ngoc Lan Hoang
  - et al.
- 2023
- IJCAI 2023
Knowledge extraction pipeline with foundation models for material discovery
- - Viviane T. Silva
  - Breno William Santos Rezende de Carvalho
  - et al.
- 2023
- ACS Fall 2023
The Tenth International Workshop on Deep Learning on Graphs: Methods and Applications (DLG-KDD‘23)
- - Lingfei Wu
  - Jiliang Tang
  - et al.
- 2023
- KDD 2023
Graph Neural Networks: Foundation, Frontiers and Applications
- - Lingfei Wu
  - Peng Cui
  - et al.
- 2023
- KDD 2023
Probabilistic Attention-to-Influence Neural Models for Event Sequences
- - Xiao Shou
  - Debarun Bhattacharjya
  - et al.
- 2023
- ICML 2023
Regression with Sensor Data Containing Incomplete Observations
- - Takayuki Katsuki
  - Takayuki Osogami
- 2023
- ICML 2023