Conditional and preferential logics : proof methods and theorem proving

von Pozzato, Gian Luca
Veröffentlicht 2010

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)

von Dalmonte, Tiziano
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 2 (2020)

A Goal-Oriented Framework for Knowledge Invention and Creative Problem Solving in Cognitive Architectures

von Chiodino, Eleonora
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 4 (2020)

Business process compliance verification : an annotation based approach with commitments

Veröffentlicht in Information systems (2012)

A Knowledge-Based System for the Dynamic Generation and Classification of Novel Contents in Multimedia Broadcasting

von Chiodino, Eleonora
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 1 (2020)