Sciweavers

Share
5 search results - page 1 / 1
» ictl 1994
Sort
View
ICTL
1994
12 years 1 days ago
A Decision Procedure for a Temporal Belief Logic
This paper presents a temporal belief logic called
Michael Wooldridge, Michael Fisher
ICTL
1994
12 years 1 days ago
A Survey of Concurrent METATEM - the Language and its Applications
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...
Michael Fisher
ICTL
1994
12 years 1 days ago
Completeness through Flatness in Two-Dimensional Temporal Logic
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...
Yde Venema
ICTL
1994
12 years 1 days ago
Abduction in Temporal Reasoning
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...
Cristina Ribeiro, António Porto
books