ICTL
1994
14 years 4 months ago
1994
This paper presents a temporal belief logic called
ICTL
1994
14 years 4 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
ICTL
1994
14 years 4 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
ICTL
1994
14 years 4 months ago
1994
ICTL
1994
14 years 4 months ago
1994
In this paper we present a survey of work relating to the Concurrent METATEM programming language. In addition to a description of the basic Concurrent METATEM system, which incorp...