Georg Gottlob
10 papers · 2013–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
π Academic Marathon (12) π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (2) π Cross-Pollinator (5)
π
Cross-Pollinator
(5)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(15)
π§¬
Topic Evolution
π±
Topic Pioneer
π
Century Club
(10)
π
Conference Pioneer
π
Trend Setter
Conferences
IJCAI (8)
AAAI (2)
Top co-authors
Research topics
Keywords
constraint satisfaction problem
(2)
machine unlearning
(1)
computational complexity
(1)
complexity analysis
(1)
knowledge graph
(1)
generative model
(1)
parallel algorithm
(1)
privacy protection
(1)
sensitive information
(1)
big datum
(1)
conjunctive query
(1)
query answering
(1)
logic programming
(1)
inductive logic programming
(1)
existential rule
(1)
hypertree decomposition
(1)
decomposition method
(1)
fixed-parameter tractability
(1)
hypertree width
(1)
complexity theory
(1)
Papers
Selective Forgetting: Advancing Machine Unlearning Techniques and Evaluation in Language Models
AAAI 2025
MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain ObservationsΒ (Extended Abstract)
IJCAI 2023
On the Complexity of Inductively Learning Guarded Clauses
AAAI 2022
Fast and Parallel Decomposition of Constraint Satisfaction Problems
IJCAI 2020
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems
IJCAI 2020
Finite Model Reasoning in Hybrid Classes of Existential Rules
IJCAI 2018
Swift Logic for Big Data and Knowledge Graphs
IJCAI 2017
Polynomial Rewritings for Linear Existential Rules
IJCAI 2015
Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue
IJCAI 2015
Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics
IJCAI 2013