| |
Introduction of researcher |
 | | I also studied implementation of the reasoning using various techniques such as hierarchical constraint logic programming, extended logic programming and integer programming. |
 | | Moreover I applied the reasoning to formalization of soft constraints and natural language disambiguation. |
 | | Satoh, K., ``Disambiguation by Prioritized Circumscription'', Proceedings of the Sixteenth International Conference on Computational Linguistics, pp. |
| research.nii.ac.jp /~ksatoh/official/content_e.html (3185 words) |