Inheritance comes of age: applying nonmonotonic techniques to problems in industry

Ashley, 1991 Brewka, 1989, Preferred subtheories: an extended logical framework for default reasoning, 1043 Clocksin, 1987 Darwiche, 1994, On the logic of iterated belief revision, 5 Davis, 1990 Delgrande, 1994, A general approach to specificity in default reasoning, 146 Dowling, 1984, Linear time algorithms for testing the satisfiability of propositional Horn formulae, Journal of Logic Programming, 3, 267, 10.1016/0743-1066(84)90014-1 Etherington, 1988 Gardenfors, 1988 Geffner, 1990 Gelfond, 1990, Formalization of inheritance reasoning in autoepistemic logic, Fundamenta Informaticae, 13, 403, 10.3233/FI-1990-13403 1987 Gottlob, 1992, Complexity results for nonmonotonic logics, Journal of Logic and Computation, 2, 397, 10.1093/logcom/2.3.397 Grosof, 1997, Building commercial agents: an IBM research perspective Grosof, 1997, Proritized conflict handling for logic programs, IBM Research Report RC20836 Grosof, 1991, Generalizing prioritization, 289 Hanks, 1987, Nonmonotonic logic and temporal projection, Artificial Intelligence, 33, 379, 10.1016/0004-3702(87)90043-9 Horty, 1994, Some direct theories of nonmonotonic inheritance, 111 Horty, 1988, Mixing strict and defeasible inheritance, 427 Horty, 1990, A skeptical theory of inheritance in nonmonotonic semantic networks, Artificial Intelligence, 42, 311, 10.1016/0004-3702(90)90057-7 Kautz, 1989, Hard problems for simple default logics, 189 Kneale, 1962 Kraus, 1990, Nonmonotonic reasoning, preferential models, and cumulative logics, Artificial Intelligence, 44, 167, 10.1016/0004-3702(90)90101-5 Mays, 1991, K-REP system overview, SIGART Bulletin, 2, 10.1145/122296.122310 McCarthy, 1980, Circumscription—a form of nonmonotonic reasoning, Artificial Intelligence, 13, 27, 10.1016/0004-3702(80)90011-9 McCarthy, 1986, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence, 28, 86, 10.1016/0004-3702(86)90032-9 McDermott, 1980, Nonmonotonic logic I, Artificial Intelligence, 13, 41, 10.1016/0004-3702(80)90012-0 Morgenstern, 1996, Inheriting well-formed formulae in a formula-augmented semantic network, 268 Morgenstern, 1996, New problems for inheritance theories Morgenstern, 1996, The problem with solutions to the frame problem, 99 Morgenstern, 1997, An expert system using nonmonotonic techniques for benefits inquiry in the insurance industry Moore, 1985, Semantical considerations on nonmonotonic logic, Artificial Intelligence, 25, 75, 10.1016/0004-3702(85)90042-6 1997 Reiter, 1980, A logic for default reasoning, Artificial Intelligence, 13, 81, 10.1016/0004-3702(80)90014-4 Reiter, 1981, On interacting defaults, 270 Schaub, 1997, An implementation platform for query-answering in default logics: the XRay system, its implementation and evaluation Schmolze, 1983, Classification in the KL-ONE Representation System Selman, 1993, The complexity of path-based defeasible inheritance, Artificial Intelligence, 62, 303, 10.1016/0004-3702(93)90081-L Shanahan, 1997 Shoham, 1988 Stein, 1992, Resolving ambiguity in nonmonotonic inheritance hierarchies, Artificial Intelligence, 55, 259, 10.1016/0004-3702(92)90057-5 Touretzky, 1986 Zadeh, 1992, Fuzzy sets