Materiale Didattico

Libri di testo (Text Books)

• Symbolic Logic and Mechanical Theorem Proving, C. Chang, R. C. Lee
• Deduction Systems, R. Socher-Ambrosius, P. Johan
• Constraint Processing, R. Dechter

Letture Consigliate (Further Readings)

• Strutture Logica Linguaggi, L. Aiello, F. Pirri
• Sfidare l'indecidibile S. Ghilardi

Risorse On-line (On-line Resources)

• Slides
• Esami appelli precedenti (Past exams)
• Pagina web ufficiale del corso (Official web page)
• DCOPs page Link alla pagina web dedicata ai DCOP dell'universita' della Southern California
• Istanze di problema da usare per il graph coloring
• FAQ per utilizzo ADOPT (software risolutore di DCOPs) utile perche' discute il formato delle istanze di graph coloring