Picture for Jonas Haldimann

Jonas Haldimann

Model Transformations for Ranking Functions and Total Preorders

Add code
Mar 26, 2022
Figure 1 for Model Transformations for Ranking Functions and Total Preorders
Viaarxiv icon

Inference with System W Satisfies Syntax Splitting

Add code
Feb 11, 2022
Figure 1 for Inference with System W Satisfies Syntax Splitting
Viaarxiv icon

Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation

Add code
Jun 02, 2020
Figure 1 for Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation
Viaarxiv icon