David Toman

5 papers · 2016–2022 · 2 conferences · across top CS/AI conferences

Achievements

🌉 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

Grant Weddell (4) Alexander Borgida (2) Jason St. Jacques (1) David Johnson (1) Farah Shamout (1) Saqr Binghalib (1) Mohammad Alsharid (1) Nigel Mehdi (1) Rasheed El-Bouri (1) Stephanie McIntyre (1)

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