Sciweavers

AI
1998
Springer
13 years 11 months ago
Recovery of (Non)Monotonic Theories
We present a framework for recovery of nonmonotonic theories, i.e. of theories that are interpreted using a nonmonotonic semantics. Recovery of a nonmonotonic theory is needed if ...
Cees Witteveen, Wiebe van der Hoek