1313 search results - page 3 / 263 » Prioritized Reasoning in Logic Programming |
CI
2004
13 years 5 months ago
2004
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...
ICLP
1991
Springer
13 years 8 months ago
1991
Springer
Interpretation of Logic Programs 1
FSS
2010
13 years 2 months ago
2010
In this paper we investigate the relationship between two prioritized knowledge bases by measuring both the conflict and the agreement between them. First of all, a quantity of co...
TIME
2005
IEEE
13 years 11 months ago
2005
IEEE
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...
AAAI
2006
13 years 6 months ago
2006
Several forms of reasoning in AI