A logic for default reasoning

Citation edge evidence

Each row is directed from the citing work to the cited work. Source status remains readable without the interactive graph.

• Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference→A logic for default reasoningLegacy edge — source detail unavailable
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, log…→A logic for default reasoningLegacy edge — source detail unavailable
• Local Computations with Probabilities on Graphical Structures and Their Application to Ex…→A logic for default reasoningLegacy edge — source detail unavailable
• A theory of diagnosis from first principles→A logic for default reasoningLegacy edge — source detail unavailable
• Classical negation in logic programs and disjunctive databases→A logic for default reasoningLegacy edge — source detail unavailable
• Qualitative process theory→A logic for default reasoningLegacy edge — source detail unavailable
• Circumscription—A form of non-monotonic reasoning→A logic for default reasoningLegacy edge — source detail unavailable
• A computational approach to fuzzy quantifiers in natural languages→A logic for default reasoningLegacy edge — source detail unavailable
• An assumption-based TMS→A logic for default reasoningLegacy edge — source detail unavailable
• PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains→A logic for default reasoningLegacy edge — source detail unavailable
• Nonmonotonic reasoning, preferential models and cumulative logics→A logic for default reasoningLegacy edge — source detail unavailable
• An overview of the KL-ONE Knowledge Representation System→A logic for default reasoningLegacy edge — source detail unavailable
• A logic for default reasoning→A FRAMEWORK FOR REPRESENTING KNOWLEDGELegacy edge — source detail unavailable
• A logic for default reasoning→A Machine-Oriented Logic Based on the Resolution PrincipleLegacy edge — source detail unavailable
• A logic for default reasoning→Negation as FailureLegacy edge — source detail unavailable
• A computational approach to fuzzy quantifiers in natural languages→Circumscription—A form of non-monotonic reasoningLegacy edge — source detail unavailable
• Qualitative process theory→A FRAMEWORK FOR REPRESENTING KNOWLEDGELegacy edge — source detail unavailable
• Nonmonotonic reasoning, preferential models and cumulative logics→Negation as FailureLegacy edge — source detail unavailable
• Nonmonotonic reasoning, preferential models and cumulative logics→Probabilistic Reasoning in Intelligent Systems: Networks of Plausible InferenceLegacy edge — source detail unavailable
• Nonmonotonic reasoning, preferential models and cumulative logics→Circumscription—A form of non-monotonic reasoningLegacy edge — source detail unavailable
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, log…→Negation as FailureLegacy edge — source detail unavailable
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, log…→Circumscription—A form of non-monotonic reasoningLegacy edge — source detail unavailable
• PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains→Circumscription—A form of non-monotonic reasoningLegacy edge — source detail unavailable
• Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference→Local Computations with Probabilities on Graphical Structures and Their Application to Ex…Legacy edge — source detail unavailable
• Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference→A theory of diagnosis from first principlesLegacy edge — source detail unavailable
• Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference→An assumption-based TMSLegacy edge — source detail unavailable
• Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference→Circumscription—A form of non-monotonic reasoningLegacy edge — source detail unavailable