The following pages link to (Q4440568):
Displaying 6 items.
- A procedural criterion for final derivability in inconsistency-adaptive logics (Q1775872) (← links)
- (Q2721192) (← links)
- The generation of abductive explanations from inconsistent theories (Q2909835) (← links)
- Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method (Q3761666) (← links)
- A proof procedure for adaptive logics (Q5176657) (← links)
- Tutorial on Inconsistency-Adaptive Logics (Q5241516) (← links)