%0 Conference Paper %1 conf/kr/0001JKLW18 %A Gonçalves, Ricardo %A Janhunen, Tomi %A Knorr, Matthias %A Leite, João %A Woltran, Stefan %B KR %D 2018 %E Thielscher, Michael %E Toni, Francesca %E Wolter, Frank %I AAAI Press %K dblp %P 643-644 %T Variable Elimination for DLP-Functions. %U http://dblp.uni-trier.de/db/conf/kr/kr2018.html#0001JKLW18 %@ 978-1-57735-803-9

@inproceedings{conf/kr/0001JKLW18, added-at = {2022-02-23T00:00:00.000+0100}, author = {Gonçalves, Ricardo and Janhunen, Tomi and Knorr, Matthias and Leite, João and Woltran, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/29b801a6d06821a8fb273415f3b1347ea/dblp}, booktitle = {KR}, crossref = {conf/kr/2018}, editor = {Thielscher, Michael and Toni, Francesca and Wolter, Frank}, ee = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18000}, interhash = {efb9d9332366e5f84d8cb68377bc7636}, intrahash = {9b801a6d06821a8fb273415f3b1347ea}, isbn = {978-1-57735-803-9}, keywords = {dblp}, pages = {643-644}, publisher = {AAAI Press}, timestamp = {2024-04-09T23:54:05.000+0200}, title = {Variable Elimination for DLP-Functions.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2018.html#0001JKLW18}, year = 2018 }