%0 Conference Paper %1 conf/kr/BosserCDS18 %A Bosser, Anne-Gwenn %A Cabalar, Pedro %A Diéguez, Martín %A Schaub, Torsten %B KR %D 2018 %E Thielscher, Michael %E Toni, Francesca %E Wolter, Frank %I AAAI Press %K %P 12-21 %T Introducing Temporal Stable Models for Linear Dynamic Logic. %U http://dblp.uni-trier.de/db/conf/kr/kr2018.html#BosserCDS18 %@ 978-1-57735-803-9

@inproceedings{conf/kr/BosserCDS18, added-at = {2023-12-13T05:00:31.000+0100}, author = {Bosser, Anne-Gwenn and Cabalar, Pedro and Diéguez, Martín and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/21c23d9c8b71eb6fa2453bb3a9b3fc84e/admin}, booktitle = {KR}, crossref = {conf/kr/2018}, editor = {Thielscher, Michael and Toni, Francesca and Wolter, Frank}, ee = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18047}, interhash = {9d4175bfd6500fea486b3656437fdd86}, intrahash = {1c23d9c8b71eb6fa2453bb3a9b3fc84e}, isbn = {978-1-57735-803-9}, keywords = {}, pages = {12-21}, publisher = {AAAI Press}, timestamp = {2023-12-13T05:00:31.000+0100}, title = {Introducing Temporal Stable Models for Linear Dynamic Logic.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2018.html#BosserCDS18}, year = 2018 }