201 search results - page 1 / 41 » Abductive reasoning with temporal information |
179
Voted
ICTL
1994
15 years 5 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...
77
Voted
CORR
2000
Springer
15 years 26 days ago
2000
Springer
103
Voted
CLIMA
2004
15 years 2 months ago
2004
In this paper, we propose a framework for information exchange among abductive agents whose local knowledge bases are enlarged with a set of abduced hypotheses. We integrate the as...
133
Voted
EXACT
2008
15 years 3 months ago
2008
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...
TIME
1994
IEEE
15 years 5 months ago
1994
IEEE
We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advanta...