The following pages link to Vincent Risch (Q1344883):
Displaying 7 items.
- Tableau-based characterization and theorem proving for default logic (Q1344885) (← links)
- Preferential Logics are X-logics (Q2720399) (← links)
- CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (Q4557167) (← links)
- (Q4636042) (← links)
- (Q4784865) (← links)
- Analytic tableaux for default logics (Q4868235) (← links)
- (Q5020574) (← links)
