Georg Gottlob
10 papers · 2013–2025 · 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 ↓+6 more ↓ Show less ↑
🗺️ Taxonomy Completionist (15) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Gold 🐣 Hot Topic Early Bird
🌱
Topic Pioneer
🧭
Keyword Pioneer
🧬
Topic Evolution
📈
Trend Setter
💎
Century Club · Bronze
🚀
Conference Pioneer
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 data
(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
Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue
IJCAI 2015
Polynomial Rewritings for Linear Existential Rules
IJCAI 2015
Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics
IJCAI 2013