138
Voted
LPNMR
15 years 4 months ago
1995 Springer 
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...
93
Voted
LPNMR
15 years 4 months ago
1995 Springer 
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
LPNMR
15 years 4 months ago
1995 Springer  |
Automated Reasoning