Jean Christoph Jung
14 papers · 2015–2026 · 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 ↓+8 more ↓ Show less ↑
🗺️ Taxonomy Completionist (18) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird
🏆
Keyword Champion
(2)
🧭
Keyword Pioneer
🧬
Topic Evolution
📈
Trend Setter
🔥
Unstoppable · Silver
❓
The Questioner
💎
Century Club · Bronze
🗃️
Keyword Collector
(53)
Venues
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
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies
IJCAI 2021
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions
AAAI 2021
Least General Generalizations in Description Logic: Verification and Existence
AAAI 2020
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?
IJCAI 2019
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
IJCAI 2019
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies
IJCAI 2018
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage
IJCAI 2017
Query Conservative Extensions in Horn Description Logics with Inverse Roles
IJCAI 2017
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes
IJCAI 2015