Maurizio Proietti

  • Joined October 2024

Names

Maurizio Proietti (Preferred)

Emails

****@iasi.cnr.it (Confirmed)

Personal Links

Career & Education History

Researcher
IASI-CNR (iasi.cnr.it)
1988 – 2024
 

Advisors, Relations & Conflicts

No relations added

Expertise

Constraint logic programming
Present
 
Program synthesis, transformation and verification
Present
 
Argumentation
Present
 
Logic-based learning
Present
 
Knowledge representation and reasoning
1988 – 2024