default search action
Search dblp for Publications
export results for "Solving B Constraints with Goal-directed Answer Set Programming."
@inproceedings{DBLP:conf/iclp/Efremidis21, author = {Alexandros Efremidis}, editor = {Joaqu{\'{\i}}n Arias and Fabio Aurelio D'Asaro and Abeer Dyoub and Gopal Gupta and Markus Hecher and Emily LeBlanc and Rafael Pe{\~{n}}aloza and Elmer Salazar and Ari Saptawijaya and Felix Weitk{\"{a}}mper and Jessica Zangari}, title = {Solving {B} Constraints with Goal-directed Answer Set Programming}, booktitle = {Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming {(ICLP} 2021), Porto, Portugal (virtual), September 20th-21st, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2970}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2970/gdeinvited1.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:26 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Efremidis21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.