A uniform integration of higher-order reasoning and external evaluations in answer-set programming (2005)

Cached

Download Links

by Thomas Eiter , Giovambattista Ianni , Roman Schindlauer , Hans Tompits
Venue:In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05
Citations:61 - 26 self