Przemysław Wałęga : Publications
-
[1]
DatalogMTL over Integer Timeline
Przemyslaw Walega‚ Bernardo Cuenca Grau‚ Mark Kaminski and Egor V. Kostylev.
In Proceedings of the 17th International Conference on the Principles of Knowledge Representation and Reasoning (KR−2020). 2020.
Details about DatalogMTL over Integer Timeline | BibTeX data for DatalogMTL over Integer Timeline
-
[2]
DatalogMTL with Negation Under Stable Models Semantics
Przemyslaw Andrzej Walega‚ David J. Tena Cucala‚ Egor V. Kostylev and Bernardo Cuenca Grau
In Meghyn Bienvenu‚ Gerhard Lakemeyer and Esra Erdem, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning‚ KR 2021‚ Online event‚ November 3−12‚ 2021. Pages 609–618. 2021.
Details about DatalogMTL with Negation Under Stable Models Semantics | BibTeX data for DatalogMTL with Negation Under Stable Models Semantics | DOI (10.24963/kr.2021/58) | Link to DatalogMTL with Negation Under Stable Models Semantics
-
[3]
DatalogMTL with Negation under Stable Model Semantics
Przemyslaw Walega‚ David Tena Cucala‚ Egor V. Kostylev and Bernardo Cuenca Grau
In Proceedings of KR 2021. 2021.
Details about DatalogMTL with Negation under Stable Model Semantics | BibTeX data for DatalogMTL with Negation under Stable Model Semantics
-
[4]
DatalogMTL: Computational Complexity and Expressive Power
Przemyslaw Walega‚ Bernardo Cuenca Grau‚ Mark Kaminski and Egor V. Kostylev.
In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019). 2019.
Details about DatalogMTL: Computational Complexity and Expressive Power | BibTeX data for DatalogMTL: Computational Complexity and Expressive Power
-
[5]
Finite Materialisability of Datalog Programs with Metric Temporal Operators
Przemysław Wałęga‚ Michal Zawidzki and Bernardo Cuenca Grau
In Journal of Artificial Intelligence Research (JAIR). 2023.
Details about Finite Materialisability of Datalog Programs with Metric Temporal Operators | BibTeX data for Finite Materialisability of Datalog Programs with Metric Temporal Operators
-
[6]
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
Dingmin Wang‚ Pan Hu‚ Przemyslaw Walega and Bernardo Cuenca Grau
In Proceedings of AAAI−2022. 2022.
Details about MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators | BibTeX data for MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
-
[7]
Reasoning over Streaming Data in Metric Temporal Datalog
Przemyslaw Andrzej Walega‚ Mark Kaminski and Bernardo Cuenca Grau
In Proceedings of the Thirty−Third AAAI Conference on Artificial Intelligence (AAAI−19). 2019.
Details about Reasoning over Streaming Data in Metric Temporal Datalog | BibTeX data for Reasoning over Streaming Data in Metric Temporal Datalog
-
[8]
Stratified Negation in Datalog With Metric Temporal Operators
David Tena Cucala‚ Przemyslaw Walega‚ Bernardo Cuenca Grau and Egor V. Kostylev
In Proceedings of AAAI−2021. 2021.
Details about Stratified Negation in Datalog With Metric Temporal Operators | BibTeX data for Stratified Negation in Datalog With Metric Temporal Operators
-
[9]
Tractable Fragments of Datalog with Metric Temporal Operators
Przemyslaw Walega‚ Bernardo Cuenca Grau‚ Mark Kaminski and Egor V. Kostylev.
In Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020). 2020.
Details about Tractable Fragments of Datalog with Metric Temporal Operators | BibTeX data for Tractable Fragments of Datalog with Metric Temporal Operators