6468812
9783540564485
This monograph provides a thorough analysis of two important formalisms for nonmonotonic reasoning: default logic and modal nonmonotonic logics. It is also shown how they are related to each other and how they provide the formal foundations for logic programming.Marek, V.W. is the author of 'Nonmonotonic Logic: Context-Dependent Reasoning', published 1993 under ISBN 9783540564485 and ISBN 3540564489.
[read more]