{"_id":"HBH9Zqxm4zDtGvDzW","bibbaseid":"gebser-effectivemodelinginanswersetprogrammingmodulotheories-2022","author_short":["Gebser, M."],"bibdata":{"bibtype":"misc","type":"misc","address":"Haifa, Israel","title":"Effective Modeling in Answer Set Programming modulo Theories","language":"en","author":[{"propositions":[],"lastnames":["Gebser"],"firstnames":["Martin"],"suffixes":[]}],"year":"2022","bibtex":"@misc{gebser_effective_2022,\n\taddress = {Haifa, Israel},\n\ttitle = {Effective {Modeling} in {Answer} {Set} {Programming} modulo {Theories}},\n\tlanguage = {en},\n\tauthor = {Gebser, Martin},\n\tyear = {2022},\n}\n\n\n\n","author_short":["Gebser, M."],"key":"gebser_effective_2022","id":"gebser_effective_2022","bibbaseid":"gebser-effectivemodelinginanswersetprogrammingmodulotheories-2022","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"misc","biburl":"https://bibbase.org/zotero/matteocarde","dataSources":["BLJPWpPi3hneTGaPF"],"keywords":[],"search_terms":["effective","modeling","answer","set","programming","modulo","theories","gebser"],"title":"Effective Modeling in Answer Set Programming modulo Theories","year":2022}