Przemysław A. Wałęga

3 papers in the IJCAI proceedings

IJCAI 2023

Temporal Datalog with Existential Quantification

with Matthias Lanzinger, Markus Nissl, Emanuel Sallinger

doi:10.24963/ijcai.2023/365

Details PDF

IJCAI 2020

Tractable Fragments of Datalog with Metric Temporal Operators

with Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

doi:10.24963/ijcai.2020/266

Details PDF

IJCAI 2019

DatalogMTL: Computational Complexity and Expressive Power

with Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev

doi:10.24963/ijcai.2019/261

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings