Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
This paper presents an approach to creating flexible general-logic representations from language for use in high-level reasoning tasks in cognitive modeling. These representations...
Coalition formation has become a key topic in multiagent research. In this paper, we propose a preliminary classification for the coalition formation problem based on three drivin...
This paper introduces the Patent Mining Task of the Seventh NTCIR Workshop and the test collections produced in this task. The task's goal was the classification of research ...
Most classification tasks that have been tackled for automation are ones involving complex chains of causal reasoning. However, our daily lives are filled with simple classificati...