Pages that link to "Item:Q3374095"
From MaRDI portal
The following pages link to Expressing Default Logic Variants in Default Logic (Q3374095):
Displaying 16 items.
- Evaluating the effect of semi-normality on the expressiveness of defaults (Q814438) (← links)
- Results on translating defaults to circumscription (Q1117211) (← links)
- Alternative approaches to default logic (Q1342221) (← links)
- Default logic about assertions (Q1344433) (← links)
- Defaults as restrictions on classical Hilbert-style proofs (Q1895976) (← links)
- On the intertranslatability of non-monotonic logics (Q1978031) (← links)
- Redundancy in logic. III: Non-monotonic reasoning (Q2389660) (← links)
- Bijective faithful translations among default logics (Q2937692) (← links)
- Reasoning credulously and skeptically within a single extension (Q4453904) (← links)
- (Q4535116) (← links)
- A comparative survey of default logic variants (Q4632286) (← links)
- Uncontroversial Default Logic (Q4659508) (← links)
- (Q5020574) (← links)
- Representability in Default Logic (Q5697720) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5900649) (← links)
- Constraints for input/output logics (Q5935791) (← links)