Handbook of Constraint Programming

Libro adottato a L'Aquila, a.a. 2026/2027 · 2 canali

«Handbook of Constraint Programming» è adottato per Automated Reasoning dal prof. Stefania Costantini (Informatica – sede di L'Aquila – L'Aquila); per Learning And Reasoning Machines dal prof. Pasquale Caianiello (Informatica – sede di L'Aquila – L'Aquila).

Handbook of Constraint ProgrammingCerca su Amazon ›

Come lo indica il docente: Handbook of Constraint Programming. By Francesca Rossi, Peter van Beek and Toby Walsh. Elsevier 2006, eBook ISBN: 9780080463803, Hardcover ISBN: 9780444527264

Titolo: Handbook of constraint programming
Autori: Peter van Beek, Toby Walsh edited by Francesca Rossi
Editore: Elsevier, 2006

Chi lo adotta

Automated Reasoning – Prof. Stefania Costantini (canale unico)Informatica – sede di L'Aquila · Laurea magistrale (LM-18) · esame facoltativo · I2CoST - INDO-ITALIAN MASTER DEGREE IN COMPUTER SCIENCE AND TECHNOLOGY · 6 CFU
Learning And Reasoning Machines – Prof. Pasquale Caianiello (canale unico)Informatica – sede di L'Aquila · Laurea magistrale (LM-18) · 2º anno · 1º semestre · AICoNDA - ARTIFICIAL INTELLIGENCE, COMPLEX NETWORKS, AND DATA ANALYTICS · 12 CFU

Programma e testi di ogni canale

Automated Reasoning – 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 Programmingquesto libroCerca 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.

Learning And Reasoning Machines – Prof. Pasquale Caianiello Canale unico

Corso di laurea: Informatica – sede di L'Aquila · Laurea magistrale (LM-18) · 2º anno · 1º semestre · AICoNDA - ARTIFICIAL INTELLIGENCE, COMPLEX NETWORKS, AND DATA ANALYTICS · 12 CFU

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