Automated Reasoning – L'Aquila

Università degli Studi dell'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Stefania Costantini Canale unico

Corso di laurea: Informatica – sede di L'Aquila · Laurea magistrale (LM-18) · esame facoltativo · I2CoST - INDO-ITALIAN MASTER DEGREE IN COMPUTER SCIENCE AND TECHNOLOGY · 6 CFU

L'Aquila · Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica · 6 CFU · apri nel catalogo · Informatica – sede di L'Aquila · 2º anno · 1º semestre ›

Il docente indica 3 testi · da studiare tutti

Libro consigliato

Handbook of Constraint Programming Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

By Michael Gelfond and Yulia Kahl Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Synthesis Lectures on Artificial Intelligence and Machine…Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

E' possibile studiare senza spendere soldi, poiche' il materiale fornito gratuitamente e' piu' che sufficiente.
Appunti delle lezioni forniti dalla docente (gratis)

Argomenti del programma: - Machine Learning vs Automated Reasoning (2 ore); - Richiamo alle classi di complessità, riduzione dei problemi a Constraint satisfaction problems (CSP), SAT (4 ore); - Strategie di Ottimizzazione dei CSP solvers, constraint graphs (4 ore); - Cp-Nets (4 ore); - Constraint Logic Programming (4 ore); - Answer Set programming (ASP), applicazioni ed estensioni (16 ore); - Action Languages e PDDL Planning (6 ore); -…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Automated Reasoning negli altri atenei

Automated Reasoning – Udine