Grant Weddell
4 papers · 2016–2022 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (2) 🏃 Academic Marathon (6) 🐝 Cross-Pollinator (14) 🧭 Keyword Pioneer
🐣
Hot Topic Early Bird
🚀
Conference Pioneer
Conferences
AAAI (2)
IJCAI (2)
Keywords
query answering
(3)
knowledge base
(2)
first-order logic
(2)
noun phrase
(1)
first-order rewritability
(1)
craig interpolation
(1)
beth definability
(1)
horn description logic
(1)
ontology-mediated querying
(1)
subsumption reasoning
(1)
parameter tractable
(1)
feature logic
(1)
parameter-tractable algorithm
(1)
knowledge base consistency
(1)
referring expression
(1)
first-order knowledge base
(1)
query rewriting
(1)
description logic
(1)