%0 Conference Paper %1 conf/padl/AriasCG22 %A Arias, Joaquín %A Carro, Manuel %A Gupta, Gopal %B PADL %D 2022 %E Cheney, James %E Perri, Simona %I Springer %K dblp %P 117-134 %T Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. %U http://dblp.uni-trier.de/db/conf/padl/padl2022.html#AriasCG22 %V 13165 %@ 978-3-030-94479-7

@inproceedings{conf/padl/AriasCG22, added-at = {2022-10-26T00:00:00.000+0200}, author = {Arias, Joaquín and Carro, Manuel and Gupta, Gopal}, biburl = {https://www.bibsonomy.org/bibtex/23c93a968263dd91549fc569491c04e02/dblp}, booktitle = {PADL}, crossref = {conf/padl/2022}, editor = {Cheney, James and Perri, Simona}, ee = {https://doi.org/10.1007/978-3-030-94479-7_8}, interhash = {9a4e77a970f7cbd54c76056eca80723e}, intrahash = {3c93a968263dd91549fc569491c04e02}, isbn = {978-3-030-94479-7}, keywords = {dblp}, pages = {117-134}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:37:53.000+0200}, title = {Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming.}, url = {http://dblp.uni-trier.de/db/conf/padl/padl2022.html#AriasCG22}, volume = 13165, year = 2022 }