scientific article
From MaRDI portal
Publication:3200595
zbMath0714.68094MaRDI QIDQ3200595
Hector J. Levesque, Bart Selman
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The complexity of propositional closed world reasoning and circumscription, Inheritance systems with exceptions, On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies, Model-preference default theories, Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets, On the equivalence of upward and downward inheritance reasoners, Resolving ambiguity in nonmonotonic inheritance hierarchies, A theory of nonmonotonic inheritance based on annotated logic, Locality in inheritance networks, Netl and subsequent path-based inheritance theories, Artificial nonmonotonic neural networks, Tractable reasoning via approximation
