%0 Conference Paper %1 conf/ijcai/EiterG23 %A Eiter, Thomas %A Geibinger, Tobias %B IJCAI %D 2023 %I ijcai.org %K dblp %P 3193-3202 %T Explaining Answer-Set Programs with Abstract Constraint Atoms. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2023.html#EiterG23

@inproceedings{conf/ijcai/EiterG23, added-at = {2023-08-28T00:00:00.000+0200}, author = {Eiter, Thomas and Geibinger, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/23ec03222f7b3a3c358198a4f251cf31c/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2023}, ee = {https://doi.org/10.24963/ijcai.2023/356}, interhash = {a81dd1879acbfba7e2626292ba1e2338}, intrahash = {3ec03222f7b3a3c358198a4f251cf31c}, keywords = {dblp}, pages = {3193-3202}, publisher = {ijcai.org}, timestamp = {2024-04-10T01:46:02.000+0200}, title = {Explaining Answer-Set Programs with Abstract Constraint Atoms.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2023.html#EiterG23}, year = 2023 }