ApproxASP - a Scalable Approximate Answer Set Counter. Kabir, M., Everardo, F. O., Shukla, A. K., Hecher, M., Fichte, J. K., & Meel, K. S. In 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 5755–5764, 2022. AAAI Press. Paper bibtex @inproceedings{DBLP:conf/aaai/KabirESHFM22,
author = {Mohimenul Kabir and
Flavio O. Everardo and
Ankit K. Shukla and
Markus Hecher and
Johannes Klaus Fichte and
Kuldeep S. Meel},
title = {ApproxASP - a Scalable Approximate Answer Set Counter},
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 = {5755--5764},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/AAAI/article/view/20518},
timestamp = {Mon, 11 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KabirESHFM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"duKFjwpN5d78B4qEJ","bibbaseid":"kabir-everardo-shukla-hecher-fichte-meel-approxaspascalableapproximateanswersetcounter-2022","author_short":["Kabir, M.","Everardo, F. O.","Shukla, A. K.","Hecher, M.","Fichte, J. K.","Meel, K. S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Mohimenul"],"propositions":[],"lastnames":["Kabir"],"suffixes":[]},{"firstnames":["Flavio","O."],"propositions":[],"lastnames":["Everardo"],"suffixes":[]},{"firstnames":["Ankit","K."],"propositions":[],"lastnames":["Shukla"],"suffixes":[]},{"firstnames":["Markus"],"propositions":[],"lastnames":["Hecher"],"suffixes":[]},{"firstnames":["Johannes","Klaus"],"propositions":[],"lastnames":["Fichte"],"suffixes":[]},{"firstnames":["Kuldeep","S."],"propositions":[],"lastnames":["Meel"],"suffixes":[]}],"title":"ApproxASP - a Scalable Approximate Answer Set Counter","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":"5755–5764","publisher":"AAAI Press","year":"2022","url":"https://ojs.aaai.org/index.php/AAAI/article/view/20518","timestamp":"Mon, 11 Jul 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/aaai/KabirESHFM22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/KabirESHFM22,\n author = {Mohimenul Kabir and\n Flavio O. Everardo and\n Ankit K. Shukla and\n Markus Hecher and\n Johannes Klaus Fichte and\n Kuldeep S. Meel},\n title = {ApproxASP - a Scalable Approximate Answer Set Counter},\n booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}\n 2022, Thirty-Fourth Conference on Innovative Applications of Artificial\n Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances\n in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22\n - March 1, 2022},\n pages = {5755--5764},\n publisher = {{AAAI} Press},\n year = {2022},\n url = {https://ojs.aaai.org/index.php/AAAI/article/view/20518},\n timestamp = {Mon, 11 Jul 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/aaai/KabirESHFM22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Kabir, M.","Everardo, F. O.","Shukla, A. K.","Hecher, M.","Fichte, J. K.","Meel, K. S."],"key":"DBLP:conf/aaai/KabirESHFM22","id":"DBLP:conf/aaai/KabirESHFM22","bibbaseid":"kabir-everardo-shukla-hecher-fichte-meel-approxaspascalableapproximateanswersetcounter-2022","role":"author","urls":{"Paper":"https://ojs.aaai.org/index.php/AAAI/article/view/20518"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/46/7137.bib","dataSources":["FK7bcj5LGYm4AcpSS"],"keywords":[],"search_terms":["approxasp","scalable","approximate","answer","set","counter","kabir","everardo","shukla","hecher","fichte","meel"],"title":"ApproxASP - a Scalable Approximate Answer Set Counter","year":2022}