Guifei Jiang
5 papers · 2016–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π 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)
Papers
A Theory of Formalisms for Representing Knowledge
AAAI 2025
Characterizing the Program Expressive Power of Existential Rule Languages
AAAI 2022
Towards Universal Languages for Tractable Ontology Mediated Query Answering
AAAI 2020
Model-theoretic Characterizations of Existential Rule Languages
IJCAI 2020
Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games
IJCAI 2016