Georg Gottlob

5 papers in the IJCAI proceedings

IJCAI 2023

MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract)

with Matthias Lanzinger, Stefano Sferrazza

doi:10.24963/ijcai.2023/718

Details PDF

IJCAI 2020

Fast and Parallel Decomposition of Constraint Satisfaction Problems

with Cem Okulmus, Reinhard Pichler

doi:10.24963/ijcai.2020/161

Details PDF

Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems

with Hubie Chen, Matthias Lanzinger, Reinhard Pichler

doi:10.24963/ijcai.2020/239

Details PDF

IJCAI 2018

Finite Model Reasoning in Hybrid Classes of Existential Rules

with Marco Manna, Andreas Pieris

doi:10.24963/ijcai.2018/253

Details PDF

IJCAI 2017

Swift Logic for Big Data and Knowledge Graphs

with Luigi Bellomarini, Andreas Pieris, Emanuel Sallinger

doi:10.24963/ijcai.2017/1

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings