Pages that link to "Item:Q3613171"
From MaRDI portal
The following pages link to Defeasible inheritance systems and reactive diagrams (Q3613171):
Displaying 8 items.
- Defeasible inheritance with doubt index and its axiomatic characterization (Q622128) (← links)
- Graphical inheritance notation for state-based classes (Q927454) (← links)
- On the equivalence of upward and downward inheritance reasoners (Q1924737) (← links)
- Human rationality challenges universal logic (Q1931349) (← links)
- Completeness theorems for reactive modal logics (Q1935589) (← links)
- Introducing reactive modal tableaux (Q1935590) (← links)
- Global view on reactivity: switch graphs and their logics (Q1935598) (← links)
- Modal logics of reactive frames (Q2269510) (← links)