Jean Christoph Jung
14 papers · 2015–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
🏃 Academic Marathon (10) 🐣 Hot Topic Early Bird 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (2) 🐝 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)
Papers
Revisiting Conjunctive Query Entailment for S
AAAI 2026
Temporal Conjunctive Query Answering via Rewriting
AAAI 2025
Extremal Separation Problems for Temporal Instance Queries
IJCAI 2024
SAT-Based PAC Learning of Description Logic Concepts
IJCAI 2023
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies
IJCAI 2022
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions
AAAI 2021
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies
IJCAI 2021
Least General Generalizations in Description Logic: Verification and Existence
AAAI 2020
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
IJCAI 2019
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?
IJCAI 2019
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies
IJCAI 2018
Query Conservative Extensions in Horn Description Logics with Inverse Roles
IJCAI 2017
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage
IJCAI 2017
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes
IJCAI 2015