%0 Conference Paper %1 conf/lpnmr/EiterS22 %A Eiter, Thomas %A Schneider, Patrik %B LPNMR %D 2022 %E Gottlob, Georg %E Inclezan, Daniela %E Maratea, Marco %I Springer %K dblp %P 159-176 %T A Qualitative Temporal Extension of Here-and-There Logic. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2022.html#EiterS22 %V 13416 %@ 978-3-031-15707-3

@inproceedings{conf/lpnmr/EiterS22, added-at = {2022-09-02T00:00:00.000+0200}, author = {Eiter, Thomas and Schneider, Patrik}, biburl = {https://www.bibsonomy.org/bibtex/2ec5a4bfec8b0a80fe819874a46dbd67a/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2022}, editor = {Gottlob, Georg and Inclezan, Daniela and Maratea, Marco}, ee = {https://doi.org/10.1007/978-3-031-15707-3_13}, interhash = {5e9553de210900ea9b3e042c7f1a794c}, intrahash = {ec5a4bfec8b0a80fe819874a46dbd67a}, isbn = {978-3-031-15707-3}, keywords = {dblp}, pages = {159-176}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T16:58:14.000+0200}, title = {A Qualitative Temporal Extension of Here-and-There Logic.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2022.html#EiterS22}, volume = 13416, year = 2022 }