David Toman
5 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 (3)
IJCAI (2)
Top co-authors
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)
Papers
First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics
AAAI 2022
An Experience Report of Executive-Level Artificial Intelligence Education in the United Arab Emirates
AAAI 2022
On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics
AAAI 2019
Concerning Referring Expressions in Query Answers
IJCAI 2017
Object-Relational Queries over CFDI
IJCAI 2016