David Toman
5 papers · 2016–2022 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
๐ Conference Polyglot ยท Bronze ๐ Academic Marathon ยท Sprint ๐ Interdisciplinary Bridge ยท Silver ๐ฃ Hot Topic Early Bird ๐ Conference Pioneer
๐
Renaissance Researcher
(5)
Top co-authors
Research topics
Keywords
query answering
(3)
knowledge base
(2)
first-order logic
(2)
noun phrase
(1)
artificial intelligence
(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)
first-order knowledge base
(1)
adult learners
(1)
business processes
(1)
course curriculum
(1)
executive-level education
(1)
Papers
An Experience Report of Executive-Level Artificial Intelligence Education in the United Arab Emirates
AAAI 2022
First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics
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