Guifei Jiang

5 papers · 2016–2025 · 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 ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (10)

Venues

AAAI (3) IJCAI (2)

Top co-authors

Heng Zhang (5) Yan Zhang (2) Laurent Perrussel (1) Donghui Quan (1) Dongmo Zhang (1) Jia-Huai You (1) Zhiyong Feng (1)

Research topics

Knowledge & Reasoning (4) Representation (4) Reasoning (3) Artificial Intelligence (2) Computer Science (2) Machine Learning (2) Core AI (2) Foundations (2) Optimization & Theory (2)

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 Model-theoretic Characterizations of Existential Rule Languages IJCAI 2020 Towards Universal Languages for Tractable Ontology Mediated Query Answering AAAI 2020 Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games IJCAI 2016