%0 Journal Article %1 journals/tplp/TaupeWF20 %A Taupe, Richard %A Weinzierl, Antonius %A Friedrich, Gerhard %D 2020 %J Theory Pract. Log. Program. %K dblp %N 5 %P 799-814 %T Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints. %U http://dblp.uni-trier.de/db/journals/tplp/tplp20.html#TaupeWF20 %V 20

@article{journals/tplp/TaupeWF20, added-at = {2020-12-01T00:00:00.000+0100}, author = {Taupe, Richard and Weinzierl, Antonius and Friedrich, Gerhard}, biburl = {https://www.bibsonomy.org/bibtex/21df9688132af1f95586c66d76d907a4e/dblp}, ee = {https://doi.org/10.1017/S1471068420000368}, interhash = {053da83f2e2326198122224ccca2a01d}, intrahash = {1df9688132af1f95586c66d76d907a4e}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 5, pages = {799-814}, timestamp = {2024-04-09T05:34:40.000+0200}, title = {Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp20.html#TaupeWF20}, volume = 20, year = 2020 }