A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is
Proceedings of the Workshop KRAQ'06 on Knowledge and Reasoning for Language Processing - KRAQ '06
We consider a logicist approach to natural language understanding based on the translation of a quasi-logical form into a temporal logic, explicitly constructed for the representation of action and change, and the subsequent reasoning about this semantic structure in the context of a background knowledge theory using automated theorem proving techniques. The approach is substantiated through a proof-ofconcept question answering system implementation that uses a head-driven phrase structuredoi:10.3115/1641493.1641499 fatcat:5gak7hgo3vhmfhjfrscqoikndm