Part of the Symbolic Computation book series (SYMBOLIC)
Apart from Proposition 6.2.6 and Proposition 6.2.23 which are rather trivial, the previous results do not guarantee the existence of an extension.
KeywordsInduction Assumption Finite Sequence Unique Extension Stable Class Default Theory
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 1989