Extracting higher-order logic formulas from English sentences
- 2023
- ICNLSP 2023
Publications
Date
Featured collections
Popular topics
179 results for Knowledge and Reasoning
ULKB Logic: A HOL-based framework for reasoning over knowledge graphs
- 2023
- SBMF 2023
Linking tabular columns to unseen ontologies
- Sarthak Dash
- Sugato Bagchi
- et al.
- 2023
- ISWC 2023
PARIS: Planning Algorithms for Reconfiguring Independent Sets
- Remo Christen
- Salomé Eriksson
- et al.
- 2023
- ECAI 2023
K∗ Search Over Orbit Space for Top-k Planning
- 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
Long-Form Information Retrieval for Enterprise Matchmaking
- Pengyuan Li
- Guang-Jie Ren
- et al.
- 2023
- SIGIR 2023
Generating SAS+ Planning Tasks of Specified Causal Structure
- Michael Katz
- Junkyu Lee
- et al.
- 2023
- SoCS 2023
K∗ and Partial Order Reduction for Top-quality Planning
- 2023
- SoCS 2023