Libri UniversitariApri il catalogo

Libri di Automated Reasoning – prof. Stefania Costantini

Informatica – sede di L'Aquila · Università degli Studi dell'Aquila · esame facoltativo · I2CoST - INDO-ITALIAN MASTER DEGREE IN COMPUTER SCIENCE AND TECHNOLOGY · 6 CFU · canale unico

Libri del canale

Automated Reasoning 6 CFU

SCProf. Stefania Costantini Canale unico

Libro consigliato

Handbook of Constraint ProgrammingIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
By Michael Gelfond and Yulia KahlIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Synthesis Lectures on Artificial Intelligence and Machine…Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
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.

Apri nel catalogo: Informatica – sede di L'Aquila, 2º anno, tutte le materie e i canali ›

Testi d'esame di Automated Reasoning del prof. Stefania Costantini, canale unico, corso di laurea in Informatica – sede di L'Aquila (Laurea magistrale (LM-18)), Università degli Studi dell'Aquila, esame facoltativo · I2CoST - INDO-ITALIAN MASTER DEGREE IN COMPUTER SCIENCE AND TECHNOLOGY · 6 CFU, a.a. 2026/2027. Libri adottati: Handbook of Constraint Programming; By Michael Gelfond and Yulia Kahl; Synthesis Lectures on Artificial Intelligence and Machine….

Altre materie del prof. Costantini

Vedi anche: Prof. Stefania Costantini · Automated Reasoning a L'Aquila (tutti i canali)