Jia-Huai You

5 papers · 2015–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 · Half 🌉 Interdisciplinary Bridge · Silver

Venues

IJCAI (3) AAAI (2)

Top co-authors

Heng Zhang (2) Yan Zhang (2) Fangfang Liu (1) Jianmin Ji (1) Yisong Wang (1) Jesse Heyninck (1) Guifei Jiang (1) Spencer Killen (1) Zhiyong Feng (1)

Research topics

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

Keywords

knowledge base (2) non-monotonic reasoning (2) automated reasoning (1) complexity analysis (1) description logic (1) logic programming (1) fixpoint computation (1) first-order rewritability (1) first-order rewritable (1) fixpoint semantics (1) approximation fixpoint theory (1) stable revision (1) nondeterministic semantics (1) disjunctive logic programming (1) ontology-mediated query answering (1) disjunctive logic program (1) tractable query language (1) disjunctive embedded dependency (1) ontology language (1) knowledge representation (1)

Papers

An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships AAAI 2025 Towards Universal Languages for Tractable Ontology Mediated Query Answering AAAI 2020 Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract) IJCAI 2018 Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering IJCAI 2016 On Forgetting Postulates in Answer Set Programming IJCAI 2015