Guifei Jiang
5 papers
· 2016–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Academic Marathon
(9)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(10)
π§
Keyword Pioneer
π
Cross-Pollinator
(13)
Conferences
AAAI (3)
IJCAI (2)
Top co-authors
Keywords
existential rule
(2)
ontology language
(2)
tuple-generating dependencies
(2)
knowledge representation
(2)
automata theory
(1)
first-order rewritability
(1)
declarative knowledge
(1)
first-order rewritable
(1)
recursive isomorphism
(1)
symbolic ai
(1)
connectionist ai
(1)
logical theories
(1)
representation formalism
(1)
ontology mediated query answering
(1)
tractable query language
(1)
disjunctive embedded dependency
(1)
model theory
(1)
tuple-generating dependency
(1)
logical language
(1)
existential rule language
(1)