Picture for Christoph Beierle

Christoph Beierle

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

Iterated Belief Change, Computationally

Add code
Feb 17, 2022
Figure 1 for Iterated Belief Change, Computationally
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

A Conditional Perspective on the Logic of Iterated Belief Contraction

Add code
Feb 04, 2022
Viaarxiv icon

Conditional Inference and Activation of Knowledge Entities in ACT-R

Add code
Oct 28, 2021
Figure 1 for Conditional Inference and Activation of Knowledge Entities in ACT-R
Figure 2 for Conditional Inference and Activation of Knowledge Entities in ACT-R
Figure 3 for Conditional Inference and Activation of Knowledge Entities in ACT-R
Figure 4 for Conditional Inference and Activation of Knowledge Entities in ACT-R
Viaarxiv icon

On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope

Add code
Aug 17, 2021
Figure 1 for On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope
Figure 2 for On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope
Viaarxiv icon

Using Finite-State Machines to Automatically Scan Classical Greek Hexameter

Add code
Jan 22, 2021
Figure 1 for Using Finite-State Machines to Automatically Scan Classical Greek Hexameter
Figure 2 for Using Finite-State Machines to Automatically Scan Classical Greek Hexameter
Figure 3 for Using Finite-State Machines to Automatically Scan Classical Greek Hexameter
Figure 4 for Using Finite-State Machines to Automatically Scan Classical Greek Hexameter
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

Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds

Add code
May 26, 2020
Figure 1 for Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds
Figure 2 for Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds
Figure 3 for Nonmonotonic Inferences with Qualitative Conditionals based on Preferred Structures on Worlds
Viaarxiv icon

A Conditional Perspective for Iterated Belief Contraction

Add code
Nov 20, 2019
Figure 1 for A Conditional Perspective for Iterated Belief Contraction
Figure 2 for A Conditional Perspective for Iterated Belief Contraction
Viaarxiv icon