Gian Luca Pozzato

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 52

Top Topics

Sequent Calculi

Theorem Proving

Description Logics

Cognitive Architectures

Top Venues

Intelligenza Artificiale

Publications