Pages that link to "Item:Q4380300"
From MaRDI portal
The following pages link to Towards a classification of defaults logics (Q4380300):
Displaying 12 items.
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- A directly cautious theory of defeasible consequence for default logic via the notion of general extension (Q1292307) (← links)
- Operational characterization of extensions in some logics for default reasoning (Q1364501) (← links)
- MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY (Q3094191) (← links)
- (Q4244306) (← links)
- (Q4292815) (← links)
- (Q4421944) (← links)
- (Q4442941) (← links)
- (Q4535116) (← links)
- A comparative survey of default logic variants (Q4632286) (← links)
- (Q5309346) (← links)
- Default Logics with Preference Order: Principles and Characterisations (Q5505570) (← links)