CORTEX The COst of Reasoning: Theory and EXperiments

Progetto
CORTEX The COst of Reasoning: Theory and EXperiments

Dati Generali

Partecipanti

D'AGOSTINO MARCELLO   Responsabile scientifico  

Dipartimenti coinvolti

Tipo

PRIN2022 - PRIN bando 2022

Finanziatore

MINISTERO DELL'UNIVERSITA' E DELLA RICERCA
Organizzazione Esterna Ente Finanziatore

Periodo di attività

Ottobre 5, 2023 - Febbraio 28, 2026

Durata progetto

29 mesi

Pubblicazioni

Pubblicazioni (3)

A dialectical formalisation of preferred subtheories reasoning under resource bounds 
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
ELSEVIER
2025
Articolo
Open Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"
Depth-bounded Reasoning. Volume 1: Classical Propositional Logic 
STUDIES IN LOGIC
COLLEGE PUBLICATIONS
2024
Libro
Partially Open Access
Extending Dialectical Classical Logic Argumentation with Unrestricted Rebut and Occam Razor Defeats 
FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS
IOS PRESS
2024
Capitolo di libro
Open Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"