%0 Journal Article %1 journals/jair/Comploi-TaupeFS23 %A Comploi-Taupe, Richard %A Friedrich, Gerhard %A Schekotihin, Konstantin %A Weinzierl, Antonius %D 2023 %J J. Artif. Intell. Res. %K dblp %P 59-114 %T Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach. %U http://dblp.uni-trier.de/db/journals/jair/jair76.html#Comploi-TaupeFS23 %V 76

@article{journals/jair/Comploi-TaupeFS23, added-at = {2023-01-31T00:00:00.000+0100}, author = {Comploi-Taupe, Richard and Friedrich, Gerhard and Schekotihin, Konstantin and Weinzierl, Antonius}, biburl = {https://www.bibsonomy.org/bibtex/244fb5da17ca59a9de8f5cc24621d086b/dblp}, ee = {https://doi.org/10.1613/jair.1.14091}, interhash = {0e21fe8cba8a88082b6935370f10ab4b}, intrahash = {44fb5da17ca59a9de8f5cc24621d086b}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {59-114}, timestamp = {2024-04-08T20:02:50.000+0200}, title = {Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair76.html#Comploi-TaupeFS23}, volume = 76, year = 2023 }