%0 Conference Paper %1 conf/ijcai/EiterIST05 %A Eiter, Thomas %A Ianni, Giovambattista %A Schindlauer, Roman %A Tompits, Hans %B IJCAI %D 2005 %E Kaelbling, Leslie Pack %E Saffiotti, Alessandro %I Professional Book Center %K dblp %P 90-96 %T A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2005.html#EiterIST05 %@ 0938075934

@inproceedings{conf/ijcai/EiterIST05, added-at = {2019-08-20T00:00:00.000+0200}, author = {Eiter, Thomas and Ianni, Giovambattista and Schindlauer, Roman and Tompits, Hans}, biburl = {https://www.bibsonomy.org/bibtex/21864f4f3926bcd82172a4d8f88a12820/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2005}, editor = {Kaelbling, Leslie Pack and Saffiotti, Alessandro}, ee = {http://ijcai.org/Proceedings/05/Papers/1353.pdf}, interhash = {bfc187c7e41294b8d9ba2383d169de72}, intrahash = {1864f4f3926bcd82172a4d8f88a12820}, isbn = {0938075934}, keywords = {dblp}, pages = {90-96}, publisher = {Professional Book Center}, timestamp = {2019-08-21T11:45:25.000+0200}, title = {A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2005.html#EiterIST05}, year = 2005 }