Non-monotonic Reasoning via Dynamic Consequence

von Areces, Carlos
Veröffentlicht in WoLLIC (28. : 2022 : Iaşi) Logic, language, information, and computation (2022)

Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 ; revised selected papers

Veröffentlicht 2023

Data Graphs with Incomplete Information (and a Way to Complete Them)

von Areces, Carlos
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics

von Areces, Carlos
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)

Default Modal Systems as Algebraic Updates

von Cassano, Valentin
Veröffentlicht in DaLí (3. : 2020 : Online) Dynamic logic (2020)

First Steps in Updating Knowing How

von Areces, Carlos
Veröffentlicht in DaLí (4. : 2022 : Online) Dynamic logic (2023)

El club del paro

Veröffentlicht 2022

How Easy it is to Know How: An Upper Bound for the Satisfiability Problem

von Areces, Carlos
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

Balada triste de trompeta

Veröffentlicht 2010

El inconveniente

Veröffentlicht 2021

Negociador

Veröffentlicht 2015

Alimañas

Veröffentlicht 2024

Mad circus : eine Ballade von Liebe und Tod

Veröffentlicht 2012

Anacleto : Agente secreto

Veröffentlicht 2016

Logic, language and computation

Veröffentlicht 2000