default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Przemyslaw Andrzej Walega
@article{DBLP:journals/tplp/WalegaCGK24,
author = {Przemyslaw Andrzej Walega and
David J. Tena Cucala and
Bernardo Cuenca Grau and
Egor V. Kostylev},
title = {The Stable Model Semantics of Datalog with Metric Temporal Operators},
journal = {Theory Pract. Log. Program.},
volume = {24},
number = {1},
pages = {22--56},
year = {2024},
url = {https://doi.org/10.1017/s1471068423000315},
doi = {10.1017/S1471068423000315},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/WalegaCGK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LanzingerSWG24,
author = {Matthias Lanzinger and
Stefano Sferrazza and
Przemyslaw Andrzej Walega and
Georg Gottlob},
editor = {Nikolaj S. Bj{\o}rner and
Marijn Heule and
Andrei Voronkov},
title = {Fuzzy Datalog{\(\exists\)} over Arbitrary t-Norms},
booktitle = {{LPAR} 2024: Proceedings of 25th Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Port Louis, Mauritius, May
26-31, 2024},
series = {EPiC Series in Computing},
volume = {100},
pages = {426--444},
publisher = {EasyChair},
year = {2024},
url = {https://doi.org/10.29007/cngw},
doi = {10.29007/CNGW},
timestamp = {Tue, 25 Jun 2024 16:52:02 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LanzingerSWG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-02869,
author = {Dingmin Wang and
Przemyslaw Andrzej Walega and
Pan Hu and
Bernardo Cuenca Grau},
title = {Practical Reasoning in DatalogMTL},
journal = {CoRR},
volume = {abs/2401.02869},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.02869},
doi = {10.48550/ARXIV.2401.02869},
eprinttype = {arXiv},
eprint = {2401.02869},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-02869.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-02933,
author = {Matthias Lanzinger and
Stefano Sferrazza and
Przemyslaw Andrzej Walega and
Georg Gottlob},
title = {Fuzzy Datalog\({}^{\mbox{{\(\exists\)}}}\) over Arbitrary t-Norms},
journal = {CoRR},
volume = {abs/2403.02933},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.02933},
doi = {10.48550/ARXIV.2403.02933},
eprinttype = {arXiv},
eprint = {2403.02933},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-02933.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Walega23,
author = {Przemyslaw Andrzej Walega},
title = {Computational complexity of hybrid interval temporal logics},
journal = {Ann. Pure Appl. Log.},
volume = {174},
number = {1},
pages = {103165},
year = {2023},
url = {https://doi.org/10.1016/j.apal.2022.103165},
doi = {10.1016/J.APAL.2022.103165},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Walega23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/WalegaZG23,
author = {Przemyslaw Andrzej Walega and
Michal Zawidzki and
Bernardo Cuenca Grau},
title = {Finite Materialisability of Datalog Programs with Metric Temporal
Operators},
journal = {J. Artif. Intell. Res.},
volume = {76},
year = {2023},
url = {https://doi.org/10.1613/jair.1.14040},
doi = {10.1613/JAIR.1.14040},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/WalegaZG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/WalegaKWG23,
author = {Przemyslaw Andrzej Walega and
Mark Kaminski and
Dingmin Wang and
Bernardo Cuenca Grau},
title = {Stream reasoning with DatalogMTL},
journal = {J. Web Semant.},
volume = {76},
pages = {100776},
year = {2023},
url = {https://doi.org/10.1016/j.websem.2023.100776},
doi = {10.1016/J.WEBSEM.2023.100776},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ws/WalegaKWG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WalegaZWG23,
author = {Przemyslaw Andrzej Walega and
Michal Zawidzki and
Dingmin Wang and
Bernardo Cuenca Grau},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {6566--6574},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25807},
doi = {10.1609/AAAI.V37I5.25807},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/WalegaZWG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LanzingerNSW23,
author = {Matthias Lanzinger and
Markus Nissl and
Emanuel Sallinger and
Przemyslaw Andrzej Walega},
title = {Temporal Datalog with Existential Quantification},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {3277--3285},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/365},
doi = {10.24963/IJCAI.2023/365},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LanzingerNSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/WalegaZ23,
author = {Przemyslaw Andrzej Walega and
Michal Zawidzki},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Hybrid Modal Operators for Definite Descriptions},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {712--726},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_48},
doi = {10.1007/978-3-031-43619-2\_48},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/WalegaZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WalegaZH23,
author = {Przemyslaw Andrzej Walega and
Michal Zawidzki and
Christoph Haase},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Computing All Facts Entailed By An {LTL} Specification},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {679--689},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/66},
doi = {10.24963/KR.2023/66},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/WalegaZH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-07625,
author = {Przemyslaw Andrzej Walega and
David J. Tena Cucala and
Bernardo Cuenca Grau and
Egor V. Kostylev},
title = {The Stable Model Semantics of Datalog with Metric Temporal Operators},
journal = {CoRR},
volume = {abs/2306.07625},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.07625},
doi = {10.48550/ARXIV.2306.07625},
eprinttype = {arXiv},
eprint = {2306.07625},
timestamp = {Sat, 17 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-07625.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WangHWG22,
author = {Dingmin Wang and
Pan Hu and
Przemyslaw Andrzej Walega and
Bernardo Cuenca Grau},
title = {MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {5906--5913},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20535},
doi = {10.1609/AAAI.V36I5.20535},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WangHWG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/WalegaZG22,
author = {Przemyslaw Andrzej Walega and
Michal Zawidzki and
Bernardo Cuenca Grau},
editor = {Mario Alviano and
Andreas Pieris},
title = {Reasoning Techniques in DatalogMTL},
booktitle = {Proceedings of the 4th International Workshop on the Resurgence of
Datalog in Academia and Industry (Datalog-2.0 2022) co-located with
the 16th International Conference on Logic Programming and Nonmonotonic
Reasoning {(LPNMR} 2022), Genova-Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {127--138},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/paper8.pdf},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/WalegaZG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/LanzingerW22,
author = {Matthias Lanzinger and
Przemyslaw Andrzej Walega},
editor = {Mario Alviano and
Andreas Pieris},
title = {Datalog with Existential Quantifiers and Temporal Operators (Extended
Abstract)},
booktitle = {Proceedings of the 4th International Workshop on the Resurgence of
Datalog in Academia and Industry (Datalog-2.0 2022) co-located with
the 16th International Conference on Logic Programming and Nonmonotonic
Reasoning {(LPNMR} 2022), Genova-Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {139--144},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short5.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datalog/LanzingerW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/WangWG22,
author = {Dingmin Wang and
Przemyslaw Andrzej Walega and
Bernardo Cuenca Grau},
editor = {Guido Governatori and
Anni{-}Yasmin Turhan},
title = {Semina{\"{\i}}ve Materialisation in DatalogMTL},
booktitle = {Rules and Reasoning - 6th International Joint Conference on Rules
and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13752},
pages = {183--197},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21541-4\_12},
doi = {10.1007/978-3-031-21541-4\_12},
timestamp = {Tue, 20 Dec 2022 10:20:25 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/WangWG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-04596,
author = {Dingmin Wang and
Pan Hu and
Przemyslaw Andrzej Walega and
Bernardo Cuenca Grau},
title = {MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators},
journal = {CoRR},
volume = {abs/2201.04596},
year = {2022},
url = {https://arxiv.org/abs/2201.04596},
eprinttype = {arXiv},
eprint = {2201.04596},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-04596.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-07100,
author = {Dingmin Wang and
Przemyslaw Andrzej Walega and
Bernardo Cuenca Grau},
title = {Seminaive Materialisation in DatalogMTL},
journal = {CoRR},
volume = {abs/2208.07100},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.07100},
doi = {10.48550/ARXIV.2208.07100},
eprinttype = {arXiv},
eprint = {2208.07100},
timestamp = {Wed, 17 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-07100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/WalegaZ21,
author = {Przemyslaw Andrzej Walega and
Michal Zawidzki},
title = {Subject-oriented spatial logic},
journal = {Inf. Comput.},
volume = {280},
pages = {104643},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104643},
doi = {10.1016/J.IC.2020.104643},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/WalegaZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CucalaWGK21,
author = {David J. Tena Cucala and
Przemyslaw Andrzej Walega and
Bernardo Cuenca Grau and
Egor V. Kostylev},
title = {Stratified Negation in Datalog with Metric Temporal Operators},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {6488--6495},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i7.16804},
doi = {10.1609/AAAI.V35I7.16804},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CucalaWGK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WalegaCKG21,
author = {Przemyslaw Andrzej Walega and
David J. Tena Cucala and
Egor V. Kostylev and
Bernardo Cuenca Grau},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {DatalogMTL with Negation Under Stable Models Semantics},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {609--618},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/58},
doi = {10.24963/KR.2021/58},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/WalegaCKG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WalegaZG21,
author = {Przemyslaw Andrzej Walega and
Michal Zawidzki and
Bernardo Cuenca Grau},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Finitely Materialisable Datalog Programs with Metric Temporal Operators},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {619--628},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/59},
doi = {10.24963/KR.2021/59},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/WalegaZG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WalegaGKK20,
author = {Przemyslaw Andrzej Walega and
Bernardo Cuenca Grau and
Mark Kaminski and
Egor V. Kostylev},
editor = {Christian Bessiere},
title = {Tractable Fragments of Datalog with Metric Temporal Operators},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1919--1925},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/266},
doi = {10.24963/IJCAI.2020/266},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WalegaGKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WalegaGKK20,
author = {Przemyslaw Andrzej Walega and
Bernardo Cuenca Grau and
Mark Kaminski and
Egor V. Kostylev},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {DatalogMTL over the Integer Timeline},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {768--777},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/79},
doi = {10.24963/KR.2020/79},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/WalegaGKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/RyzhikovWZ20,
author = {Vladislav Ryzhikov and
Przemyslaw Andrzej Walega and
Michael Zakharyaschev},
editor = {Marco Manna and
Andreas Pieris},
title = {Temporal Ontology-Mediated Queries and First-Order Rewritability:
{A} Short Course},
booktitle = {Reasoning Web. Declarative Artificial Intelligence - 16th International
Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {12258},
pages = {109--148},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60067-9\_5},
doi = {10.1007/978-3-030-60067-9\_5},
timestamp = {Thu, 27 Jun 2024 13:01:45 +0200},
biburl = {https://dblp.org/rec/conf/rweb/RyzhikovWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/WalegaM19,
author = {Przemyslaw Andrzej Walega and
Emilio Mu{\~{n}}oz{-}Velasco},
title = {A Stable Qualitative Movement Control System Based on Propositional
Dynamic Logic},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {32},
number = {3-4},
pages = {221--239},
year = {2019},
url = {https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-32-number-3-4-2019/mvlsc-32-3-4-p-221-239/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/WalegaM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Walega19,
author = {Przemyslaw Andrzej Walega},
title = {Hybrid fragments of Halpern-Shoham logic and their expressive power},
journal = {Theor. Comput. Sci.},
volume = {797},
pages = {102--128},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.01.014},
doi = {10.1016/J.TCS.2019.01.014},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Walega19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WalegaKG19,
author = {Przemyslaw Andrzej Walega and
Mark Kaminski and
Bernardo Cuenca Grau},
title = {Reasoning over Streaming Data in Metric Temporal Datalog},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {3092--3099},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33013092},
doi = {10.1609/AAAI.V33I01.33013092},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WalegaKG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/RyzhikovWZ19,
author = {Vladislav Ryzhikov and
Przemyslaw Andrzej Walega and
Michael Zakharyaschev},
editor = {Sarit Kraus},
title = {Data Complexity and Rewritability of Ontology-Mediated Queries in
Metric Temporal Logic under the Event-Based Semantics},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1851--1857},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/256},
doi = {10.24963/IJCAI.2019/256},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/RyzhikovWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WalegaGKK19,
author = {Przemyslaw Andrzej Walega and
Bernardo Cuenca Grau and
Mark Kaminski and
Egor V. Kostylev},
editor = {Sarit Kraus},
title = {DatalogMTL: Computational Complexity and Expressive Power},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1886--1892},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/261},
doi = {10.24963/IJCAI.2019/261},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WalegaGKK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Walega19,
author = {Przemyslaw Andrzej Walega},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Computational Complexity of Core Fragments of Modal Logics T, K4,
and {S4}},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {744--759},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_48},
doi = {10.1007/978-3-030-19570-0\_48},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/Walega19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/WalegaZ19,
author = {Przemyslaw Andrzej Walega and
Michal Zawidzki},
editor = {Johann Gamper and
Sophie Pinchinat and
Guido Sciavicco},
title = {A Modal Logic for Subject-Oriented Spatial Reasoning},
booktitle = {26th International Symposium on Temporal Representation and Reasoning,
{TIME} 2019, October 16-19, 2019, M{\'{a}}laga, Spain},
series = {LIPIcs},
volume = {147},
pages = {4:1--4:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TIME.2019.4},
doi = {10.4230/LIPICS.TIME.2019.4},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/time/WalegaZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-12990,
author = {Vladislav Ryzhikov and
Przemyslaw Andrzej Walega and
Michael Zakharyaschev},
title = {Data Complexity and Rewritability of Ontology-Mediated Queries in
Metric Temporal Logic under the Event-Based Semantics (Full Version)},
journal = {CoRR},
volume = {abs/1905.12990},
year = {2019},
url = {http://arxiv.org/abs/1905.12990},
eprinttype = {arXiv},
eprint = {1905.12990},
timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-12990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SuchanBWS18,
author = {Jakob Suchan and
Mehul Bhatt and
Przemyslaw Andrzej Walega and
Carl Schultz},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Visual Explanation by High-Level Abduction: On Answer-Set Programming
Driven Reasoning About Moving Objects},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {1965--1972},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11569},
doi = {10.1609/AAAI.V32I1.11569},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SuchanBWS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KikotRWZ18,
author = {Stanislav Kikot and
Vladislav Ryzhikov and
Przemyslaw Andrzej Walega and
Michael Zakharyaschev},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {On the Data Complexity of Ontology-Mediated Queries with {MTL} Operators
over Timed Words},
booktitle = {Proceedings of the 31st International Workshop on Description Logics
co-located with 16th International Conference on Principles of Knowledge
Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
27th - to - 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2211},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2211/paper-21.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KikotRWZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Walega18,
author = {Przemyslaw Andrzej Walega},
editor = {Gilles Barthe and
Konstantin Korovin and
Stephan Schulz and
Martin Suda and
Geoff Sutcliffe and
Margus Veanes},
title = {On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham
Logic},
booktitle = {{LPAR-22} Workshop and Short Paper Proceedings, Awassa, Ethiopia,
16-21 November 2018},
series = {Kalpa Publications in Computing},
volume = {9},
pages = {91--106},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/fl6v},
doi = {10.29007/FL6V},
timestamp = {Wed, 25 Aug 2021 17:11:17 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Walega18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/SchultzBSW18,
author = {Carl Schultz and
Mehul Bhatt and
Jakob Suchan and
Przemyslaw Andrzej Walega},
editor = {Christoph Benzm{\"{u}}ller and
Francesco Ricca and
Xavier Parent and
Dumitru Roman},
title = {Answer Set Programming Modulo 'Space-Time'},
booktitle = {Rules and Reasoning - Second International Joint Conference, RuleML+RR
2018, Luxembourg, September 18-21, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11092},
pages = {318--326},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99906-7\_24},
doi = {10.1007/978-3-319-99906-7\_24},
timestamp = {Mon, 27 May 2024 22:16:34 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/SchultzBSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Walega18,
author = {Przemyslaw Andrzej Walega},
editor = {Natasha Alechina and
Kjetil N{\o}rv{\aa}g and
Wojciech Penczek},
title = {Computational Complexity of a Core Fragment of Halpern-Shoham Logic},
booktitle = {25th International Symposium on Temporal Representation and Reasoning,
{TIME} 2018, Warsaw, Poland, October 15-17, 2018},
series = {LIPIcs},
volume = {120},
pages = {23:1--23:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.TIME.2018.23},
doi = {10.4230/LIPICS.TIME.2018.23},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/time/Walega18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-06861,
author = {Carl Schultz and
Mehul Bhatt and
Jakob Suchan and
Przemyslaw Andrzej Walega},
title = {Answer Set Programming Modulo 'Space-Time'},
journal = {CoRR},
volume = {abs/1805.06861},
year = {2018},
url = {http://arxiv.org/abs/1805.06861},
eprinttype = {arXiv},
eprint = {1805.06861},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-06861.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/WalegaSB17,
author = {Przemyslaw Andrzej Walega and
Carl Schultz and
Mehul Bhatt},
title = {Non-monotonic spatial reasoning with answer set programming modulo
theories},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {2},
pages = {205--225},
year = {2017},
url = {https://doi.org/10.1017/S1471068416000193},
doi = {10.1017/S1471068416000193},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/WalegaSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Walega17,
author = {Przemyslaw Andrzej Walega},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Hybridizing Interval Temporal Logics: The First Step},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {4997--4998},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.11108},
doi = {10.1609/AAAI.V31I1.11108},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Walega17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Walega17a,
author = {Przemyslaw Andrzej Walega},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Human-Like Spatial Reasoning Formalisms},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {5054--5055},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10530},
doi = {10.1609/AAAI.V31I1.10530},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Walega17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Walega17,
author = {Przemyslaw Andrzej Walega},
editor = {Sujata Ghosh and
Sanjiva Prasad},
title = {Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham
Logic},
booktitle = {Logic and Its Applications - 7th Indian Conference, {ICLA} 2017, Kanpur,
India, January 5-7, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10119},
pages = {224--238},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54069-5\_17},
doi = {10.1007/978-3-662-54069-5\_17},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/Walega17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Walega17,
author = {Przemyslaw Andrzej Walega},
editor = {Carles Sierra},
title = {Searching for Well-Behaved Fragments of Halpern-Shoham Logic},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {5219--5220},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/769},
doi = {10.24963/IJCAI.2017/769},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Walega17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Walega17,
author = {Przemyslaw Andrzej Walega},
editor = {Sven Schewe and
Thomas Schneider and
Jef Wijsen},
title = {On Expressiveness of Halpern-Shoham Logic and its Horn Fragments},
booktitle = {24th International Symposium on Temporal Representation and Reasoning,
{TIME} 2017, October 16-18, 2017, Mons, Belgium},
series = {LIPIcs},
volume = {90},
pages = {22:1--22:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.TIME.2017.22},
doi = {10.4230/LIPICS.TIME.2017.22},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/time/Walega17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wiced/BhattSSW17,
author = {Mehul Bhatt and
Carl Schultz and
Jakob Suchan and
Przemyslaw Andrzej Walega},
editor = {William H. Bares and
Vineet Gandhi and
Quentin Galvane and
R{\'{e}}mi Ronfard},
title = {Declarative Spatial Reasoning for Intelligent Cinematography},
booktitle = {6th Workshop on Intelligent Cinematography and Editing, WICED@Eurographics
2017, Lyon, France, April 24, 2017},
pages = {1},
publisher = {Eurographics Association},
year = {2017},
url = {https://doi.org/10.2312/wiced.20171063},
doi = {10.2312/WICED.20171063},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wiced/BhattSSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-00840,
author = {Jakob Suchan and
Mehul Bhatt and
Przemyslaw Andrzej Walega and
Carl Schultz},
title = {Visual Explanation by High-Level Abduction: On Answer-Set Programming
Driven Reasoning about Moving Objects},
journal = {CoRR},
volume = {abs/1712.00840},
year = {2017},
url = {http://arxiv.org/abs/1712.00840},
eprinttype = {arXiv},
eprint = {1712.00840},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-00840.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tciaig/WalegaZL16,
author = {Przemyslaw Andrzej Walega and
Michal Zawidzki and
Tomasz Lechowski},
title = {Qualitative Physics in Angry Birds},
journal = {{IEEE} Trans. Comput. Intell. {AI} Games},
volume = {8},
number = {2},
pages = {152--165},
year = {2016},
url = {https://doi.org/10.1109/TCIAIG.2016.2561080},
doi = {10.1109/TCIAIG.2016.2561080},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tciaig/WalegaZL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Walega16,
author = {Przemyslaw Andrzej Walega},
editor = {Subbarao Kambhampati},
title = {Reasoning about Space and Change with Answer Set Programming Modulo
Theories},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {4038--4039},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/593},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Walega16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WalegaSB16,
author = {Przemyslaw Andrzej Walega and
Carl Schultz and
Mehul Bhatt},
title = {Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo
Theories},
journal = {CoRR},
volume = {abs/1606.07860},
year = {2016},
url = {http://arxiv.org/abs/1606.07860},
eprinttype = {arXiv},
eprint = {1606.07860},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WalegaSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/WalegaBS15,
author = {Przemyslaw Andrzej Walega and
Mehul Bhatt and
Carl Schultz},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {{ASPMT(QS):} Non-Monotonic Spatial Reasoning with Answer Set Programming
Modulo Theories},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {488--501},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_41},
doi = {10.1007/978-3-319-23264-5\_41},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/WalegaBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Walega15,
author = {Przemyslaw Andrzej Walega},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial
Reasoning},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {565--571},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_48},
doi = {10.1007/978-3-319-23264-5\_48},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Walega15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softcomp/WalegaM15,
author = {Przemyslaw Andrzej Walega and
Emilio Mu{\~{n}}oz{-}Velasco},
editor = {{\'{A}}lvaro Herrero and
Javier Sedano and
Bruno Baruque and
H{\'{e}}ctor Quinti{\'{a}}n and
Emilio Corchado},
title = {A Movement Control System Based on Qualitative Reasoning},
booktitle = {10th International Conference on Soft Computing Models in Industrial
and Environmental Applications, {SOCO} 2015, Burgos, Spain, June 2015},
series = {Advances in Intelligent Systems and Computing},
volume = {368},
pages = {179--189},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19719-7\_16},
doi = {10.1007/978-3-319-19719-7\_16},
timestamp = {Fri, 12 Aug 2022 13:44:55 +0200},
biburl = {https://dblp.org/rec/conf/softcomp/WalegaM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fedcsis/2015lqmr,
editor = {Tomasz Lechowski and
Przemyslaw Andrzej Walega and
Michal Zawidzki},
title = {Proceedings of the 2015 Workshop on Logics for Qualitative Modelling
and Reasoning (LQMR@FedCSIS 2015), L{\'{o}}dz, Poland, September
13-16, 2015},
series = {Annals of Computer Science and Information Systems},
volume = {7},
year = {2015},
url = {https://annals-csis.org/Volume\_7/},
doi = {10.15439/978-83-60810-78-1},
isbn = {978-83-60810-78-1},
timestamp = {Tue, 23 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fedcsis/2015lqmr.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WalegaBS15,
author = {Przemyslaw Andrzej Walega and
Mehul Bhatt and
Carl Schultz},
title = {{ASPMT(QS):} Non-Monotonic Spatial Reasoning with Answer Set Programming
Modulo Theories},
journal = {CoRR},
volume = {abs/1506.04929},
year = {2015},
url = {http://arxiv.org/abs/1506.04929},
eprinttype = {arXiv},
eprint = {1506.04929},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WalegaBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/Walega14,
author = {Przemyslaw Andrzej Walega},
editor = {Piotr Jedrzejowicz and
Lakhmi C. Jain and
Robert J. Howlett and
Ireneusz Czarnowski},
title = {Overfitting Problem in a Virtual Sensor Obtained with {W-M} Method},
booktitle = {18th International Conference in Knowledge Based and Intelligent Information
and Engineering Systems, {KES} 2014, Gdynia, Poland, 15-17 September
2014},
series = {Procedia Computer Science},
volume = {35},
pages = {54--62},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.procs.2014.08.084},
doi = {10.1016/J.PROCS.2014.08.084},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/kes/Walega14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Walega13,
author = {Przemyslaw Andrzej Walega},
title = {Reasoning for Moving Blocks Problem: Formal Representation and Implementation},
journal = {CoRR},
volume = {abs/1307.7405},
year = {2013},
url = {http://arxiv.org/abs/1307.7405},
eprinttype = {arXiv},
eprint = {1307.7405},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Walega13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-29 00:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
