Building a Temporal Logic for Natural Language Understanding with the HOL-system

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Original languageEnglish
Title of host publicationNatural Language Understanding and Logic Programming
EditorsC. Brown, G. Kock
PublisherNorth Holland, Dordrecht
Publication date1991
Pages92-110
Publication statusPublished - 1991
Externally publishedYes

ID: 167126882