5 search results - page 1 / 1 » ictl 1994 |
ICTL
1994
13 years 8 months ago
1994
ICTL
1994
13 years 8 months ago
1994
This paper presents a temporal belief logic called
ICTL
1994
13 years 8 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...
ICTL
1994
13 years 8 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
13 years 8 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...