Publications

200 results for Knowledge and Reasoning

Learning to Guide a Saturation-Based Theorem Prover
- - Ibrahim Abdelaziz
  - Maxwell Crouse
  - et al.
- 2021
- IEEE TPAMI
Thinking Fast and Slow in AI: the Role of Metacognition
- - Marianna Bergamaschi Ganapini
  - Murray Campbell
  - et al.
- 2021
- NeurIPS 2021
STONE: Signal Temporal Logic Neural Network for Time Series Classification
- - Ruixuan Yan
  - Agung Julius
  - et al.
- 2021
- ICDM 2021
SQALER: Scaling Question Answering by Decoupling Multi-Hop and Logical Reasoning
- - Mattia Atzeni
  - Jasmina Bogojeska
  - et al.
- 2021
- NeurIPS 2021
Ensembling Graph Predictions for AMR Parsing
- - Thanh Lam Hoang
  - Gabriele Picco
  - et al.
- 2021
- NeurIPS 2021
Automated Supervised Feature Selection for Differentiated Patterns of Care
- - Catherine Wanjiru
  - William Ogallo
  - et al.
- 2021
- NeurIPS 2021
Grapher: Multi-Stage Knowledge Graph Construction using Pretrained Language Models
- - Igor Melnyk
  - Pierre Dognin
  - et al.
- 2021
- NeurIPS 2021
Post-discovery Analysis of Anomalous Subsets
- - Isaiah Onando Mulang’
  - William Ogallo
  - et al.
- 2021
- NeurIPS 2021
Neuro-Symbolic Reinforcement Learning with First-Order Logic
- - Daiki Kimura
  - Masaki Ono
  - et al.
- 2021
- EMNLP 2021
Topic Transferable Table Question Answering
- - Saneem Chemmengath
  - Vishwajeet Kumar
  - et al.
- 2021
- EMNLP 2021