Jia-Huai You
5 papers
· 2015–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
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)