Computational linguistics research at the University of Pennsylvania

Formal semantics for time in databases

ACM Transactions on Database Systems (TODS)

The temporal logic of branching time

POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Correcting misconceptions: What to say when the user is mistaken

CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems

Generating natural language text in response to questions about database structure

Generating natural language text in response to questions about database structure

Factoring recursion and dependencies: an aspect of tree adjoining grammars (TAG) and a comparison of some formal properties of TAGs, GPSGs, PLGs, and LPGs

ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics

A modal temporal logic for reasoning about change

ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics

Providing a unified account of definite noun phrases in discourse

ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics