Proceedings

Georg Gottlob

Department of Computer Science , University of Oxford

20 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

IJCAI 2015

Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue
with Andreas Pieris
Details PDF
Polynomial Rewritings for Linear Existential Rules
with Marco Manna, Andreas Pieris
Details PDF

IJCAI 2013

Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics
with Samson Abramsky, Phokion G. Kolaitis
Details PDF

IJCAI 2011

Tackling the Partner Units Configuration Problem
with Markus Aschinger, Conrad Drescher, Peter Jeavons, Evgenij Thorstensen
doi:10.5591/978-1-57735-516-8/IJCAI11-091
Details PDF

IJCAI 2007

Complexity of Pure Equilibria in Bayesian Games
with Gianluigi Greco, Toni Mancini
Details PDF
Conditional Constraint Satisfaction: Logical Foundations and Complexity
with Gianluigi Greco, Toni Mancini
Details PDF

IJCAI 2005

Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic
with Riccardo Rosati
Details PDF
The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions
with Gianluigi Greco, Francesco Scarcello
Details PDF

IJCAI 2001

Complexity of Nested Circumscription and Abnormality Theories
with Marco Cadoli, Thomas Eiter
Details PDF

IJCAI 1999

A Comparison of Structural CSP Decomposition Methods
with Nicola Leone, Francesco Scarcello
Details PDF
On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases
with Robert Baumgartner
Details PDF

IJCAI 1995

Semantics and Complexity of Abduction from Default Theories
with Thomas Eiter, Nicola Leone
Details PDF

IJCAI 1993

Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information
with Thomas Eiter, Yuri Gurevich
Details PDF
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
with Thomas Eiter
Details PDF
The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards