ICTL
1994
14 years 3 months ago
1994
This paper presents a temporal belief logic called
ICTL
1994
14 years 3 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 3 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 3 months ago
1994
ICTL
1994
14 years 3 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...
ICLP
1994
Springer
14 years 3 months ago
1994
Springer
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...
ICLP
1994
Springer
14 years 3 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...
ICLP
1994
Springer
14 years 3 months ago
1994
Springer
ICLP
1994
Springer
14 years 3 months ago
1994
Springer
ICLP
1994
Springer
14 years 3 months ago
1994
Springer
Using a glass-box theory of finite domain constraints, FD, we show how the entailment of user-defined constraints can be expressed by antimonotone FD constraints. We also provide a...