%0 Conference Paper %1 conf/jelia/DohertyKS16 %A Doherty, Patrick %A Kvarnström, Jonas %A Szalas, Andrzej %B JELIA %D 2016 %E Michael, Loizos %E Kakas, Antonis C. %K dblp %P 536-542 %T Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/jelia/jelia2016.html#DohertyKS16 %V 10021 %@ 978-3-319-48757-1

@inproceedings{conf/jelia/DohertyKS16, added-at = {2021-04-09T00:00:00.000+0200}, author = {Doherty, Patrick and Kvarnström, Jonas and Szalas, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/272740f00085d0a983c189cbeeef6db42/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/2016}, editor = {Michael, Loizos and Kakas, Antonis C.}, ee = {https://doi.org/10.1007/978-3-319-48758-8_36}, interhash = {025502973226d68470363a4be84c0884}, intrahash = {72740f00085d0a983c189cbeeef6db42}, isbn = {978-3-319-48757-1}, keywords = {dblp}, pages = {536-542}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T21:43:37.000+0200}, title = {Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs - (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2016.html#DohertyKS16}, volume = 10021, year = 2016 }