Picture for Florence Dupin de Saint-Cyr

Florence Dupin de Saint-Cyr

IRIT-ADRIA

What killed the cat? Towards a logical formalization of curiosity (and suspense, and surprise) in narratives

Add code
Oct 11, 2024
Figure 1 for What killed the cat? Towards a logical formalization of curiosity (and suspense, and surprise) in narratives
Figure 2 for What killed the cat? Towards a logical formalization of curiosity (and suspense, and surprise) in narratives
Viaarxiv icon

Reasoning about unpredicted change and explicit time

Add code
Jul 09, 2024
Viaarxiv icon

Reasoning About Action and Change

Add code
Jun 27, 2024
Viaarxiv icon

Change in Abstract Argumentation Frameworks: Adding an Argument

Add code
Jan 16, 2014
Figure 1 for Change in Abstract Argumentation Frameworks: Adding an Argument
Figure 2 for Change in Abstract Argumentation Frameworks: Adding an Argument
Figure 3 for Change in Abstract Argumentation Frameworks: Adding an Argument
Figure 4 for Change in Abstract Argumentation Frameworks: Adding an Argument
Viaarxiv icon

Penalty logic and its Link with Dempster-Shafer Theory

Add code
Feb 27, 2013
Viaarxiv icon