Tiago de Lima — accepted AI-conference papers

2025

A Computationally Grounded Framework for Cognitive Attitudes

Tiago de Lima, Emiliano Lorini, Elise Perrotin, François Schwarzentruber

AAAI 2025technical

We introduce a novel language for reasoning about agents' cognitive attitudes of both epistemic and motivational type. We interpret it by means of a computationally grounded semantics using belief bases. Our language includes five types of modal operators for implicit belief, complete attraction, c…

Cited by 0 Source ↗PDF ↗Scholar ↗

2024

Model Checking Causality

Tiago de Lima, Emiliano Lorini

IJCAI 2024poster

We present a novel modal language for causal reasoning and interpret it by means of a semantics in which causal information is represented using causal bases in propositional form. The language includes modal operators of conditional causal necessity where the condition is a causal change operation.…

Cited by 2 Source ↗PDF ↗Scholar ↗