Przemysław Wałęga : Publications

Click here to download all publications in a single bibtex file

@article{JAIR-Finite-Mat-2023,
  title = "Finite Materialisability of Datalog Programs with Metric Temporal Operators",
  author = "Przemysław Wałęga and Michal Zawidzki and Bernardo Cuenca Grau",
  year = "2023",
  journal = "Journal of Artificial Intelligence Research (JAIR)",
}

@inproceedings{aaai-2022-meteor,
  title = "MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators",
  author = "Dingmin Wang and Pan Hu and Przemyslaw Walega and Bernardo Cuenca Grau",
  year = "2022",
  booktitle = "Proceedings of AAAI-2022",
}

@inproceedings{AAAI-2021-stratified,
  title = "Stratified Negation in Datalog With Metric Temporal Operators",
  author = "David Tena Cucala and Przemyslaw Walega and Bernardo Cuenca Grau and Egor V. Kostylev",
  year = "2021",
  booktitle = "Proceedings of AAAI-2021",
}

@inproceedings{10.24963/kr.2021/58,
  title = "DatalogMTL with Negation Under Stable Models Semantics",
  author = "Przemyslaw Andrzej Walega and David J. Tena Cucala and Egor V. Kostylev and Bernardo Cuenca Grau",
  year = "2021",
  booktitle = "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2021, Online event, November 3-12, 2021",
  editor = "Meghyn Bienvenu and Gerhard Lakemeyer and Esra Erdem",
  pages = "609--618",
  url = "https://doi.org/10.24963/kr.2021/58",
  doi = "10.24963/kr.2021/58",
}

@inproceedings{KR-2021-stable-models,
  title = "DatalogMTL with Negation under Stable Model Semantics",
  author = "Przemyslaw Walega and David Tena Cucala and Egor V. Kostylev and Bernardo Cuenca Grau",
  year = "2021",
  booktitle = "Proceedings of KR 2021",
}

@inproceedings{ijcai-2020-mtl,
  title = "Tractable Fragments of Datalog with Metric Temporal Operators",
  author = "Przemyslaw Walega and Bernardo Cuenca Grau and Mark Kaminski and Egor V. Kostylev.",
  year = "2020",
  booktitle = "Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020)",
}

@inproceedings{KR-2020-MTL,
  title = "DatalogMTL over Integer Timeline",
  author = "Przemyslaw Walega and Bernardo Cuenca Grau and Mark Kaminski and Egor V. Kostylev.",
  year = "2020",
  booktitle = "Proceedings of the 17th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2020)",
}

@inproceedings{IJCAI-19-MTL,
  title = "DatalogMTL: Computational Complexity and Expressive Power",
  author = "Przemyslaw Walega and Bernardo Cuenca Grau and Mark Kaminski and  Egor V. Kostylev.",
  year = "2019",
  booktitle = "Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019)",
}

@conference{walegaAAAI19,
  title = "Reasoning over  Streaming  Data  in  Metric  Temporal  Datalog",
  author = "Przemyslaw Andrzej Walega and Mark  Kaminski and  Bernardo  Cuenca  Grau",
  year = "2019",
  booktitle = "Proceedings of the Thirty-Third {AAAI} Conference on Artificial Intelligence (AAAI-19)",
}