Defeasible inheritance systems and reactive diagrams
Dov Gabbay, Karl Schlechta (LIF)

TL;DR
This paper analyzes defeasible inheritance diagrams and explores their relation to reactive diagrams, providing insights into their structure and behavior for improved understanding and application.
Contribution
It offers a novel analysis of defeasible inheritance diagrams through the lens of reactive diagrams, enhancing conceptual clarity.
Findings
Clarified the relationship between inheritance and reactive diagrams
Proposed a new perspective for analyzing defeasible inheritance
Improved understanding of diagrammatic reasoning in defeasible logic
Abstract
We give an analysis of defeasible inheritance diagrams, also from the perspective of reactive diagrams.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Geometric and Algebraic Topology · Homotopy and Cohomology in Algebraic Topology
