Picture for Gabriele Kern-Isberner

Gabriele Kern-Isberner

On Establishing Robust Consistency in Answer Set Programs

Add code
Aug 17, 2022
Figure 1 for On Establishing Robust Consistency in Answer Set Programs
Figure 2 for On Establishing Robust Consistency in Answer Set Programs
Figure 3 for On Establishing Robust Consistency in Answer Set Programs
Figure 4 for On Establishing Robust Consistency in Answer Set Programs
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

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

Stratified Labelings for Abstract Argumentation

Add code
Aug 04, 2013
Figure 1 for Stratified Labelings for Abstract Argumentation
Figure 2 for Stratified Labelings for Abstract Argumentation
Figure 3 for Stratified Labelings for Abstract Argumentation
Figure 4 for Stratified Labelings for Abstract Argumentation
Viaarxiv icon

A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions

Add code
Aug 30, 2011
Figure 1 for A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions
Figure 2 for A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions
Viaarxiv icon

Conditional indifference and conditional preservation

Add code
Mar 06, 2000
Figure 1 for Conditional indifference and conditional preservation
Figure 2 for Conditional indifference and conditional preservation
Figure 3 for Conditional indifference and conditional preservation
Figure 4 for Conditional indifference and conditional preservation
Viaarxiv icon