Feeds:
Posts
Comments

Archive for June, 1971

The logical structure underlying temporal references in natural language, The University of Texas at Austin, Computer Sciences Department.
542
Notre Dame Journal of Formal Logic
Volume XVII, Number 4, October 1976
NDJFAM
A LOGIC FOR UNKNOWN OUTCOMES
BERTRAM BRUCE
1 Introduction
In computer question answering and problem solving
programs many of the questions of modal and tense logics appear as
practical design problems. One [...]

Read Full Post »