DMCA

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

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