Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/kr/0001JKLW18
AU - Gonçalves, Ricardo
AU - Janhunen, Tomi
AU - Knorr, Matthias
AU - Leite, João
AU - Woltran, Stefan
TI - Variable Elimination for DLP-Functions.
BT - Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018.
SP - 643
EP - 644
PY - 2018//
UR - https://aaai.org/ocs/index.php/KR/KR18/paper/view/18000
ER -
