Jia-Huai You
5 papers · 2015–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (10) 🐝 Cross-Pollinator (9)
🌈
Renaissance Researcher
(5)
Conferences
IJCAI (3)
AAAI (2)
Top co-authors
Keywords
knowledge base
(2)
semantic analysis
(1)
automated reasoning
(1)
complexity analysis
(1)
description logic
(1)
logic programming
(1)
non-monotonic reasoning
(1)
fixpoint computation
(1)
nonmonotonic reasoning
(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)
disjunctive logic program
(1)
ontology mediated query answering
(1)
tractable query language
(1)
disjunctive embedded dependency
(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