Jean Christoph Jung
14 papers
· 2015–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🗺️
Taxonomy Completionist
(18)
🏃
Academic Marathon
(10)
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(15)
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏆
Keyword Champion
(4)
🧬
Topic Evolution
🌱
Topic Pioneer
🗃️
Keyword Collector
(53)
💎
Century Club
(13)
🔥
Unstoppable
(9)
📈
Trend Setter
❓
The Questioner
Conferences
IJCAI (10)
AAAI (4)
Top co-authors
Research topics
Keywords
description logic
(12)
concept learning
(4)
conjunctive query
(3)
knowledge base
(3)
temporal logic
(2)
complexity analysis
(2)
ontology reasoning
(2)
horn logic
(2)
knowledge representation
(2)
membership query
(2)
computational complexity
(2)
query entailment
(2)
query answering
(2)
query rewriting
(1)
database query
(1)
sat solver
(1)
pac learning
(1)
automata theory
(1)
complexity bound
(1)
polynomial time
(1)