a powerful default-handling system that yields an intuitive behavior in several domains of interest in AI, including inheritance hierarchies, reasoning about change, general logic programs, and abduct
a powerful default-handling system that yields an intuitive behavior in several domains of interest in AI, including inheritance hierarchies, reasoning about change, general logic programs, and abduct