2012
2012
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Computational Logic
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | Web Semantico |
|---|---|---|---|
| CFU | 8 | Università | Libera Università di BOLZANO |
| Ore di didattica frontale per CFU | 9 | Settore Scientifico Disciplinare | INF/01 |
8 cfu così ripartiti nelle aree:
- 2 CFU nell'area G - Basi di dati
- 6 CFU nell'area M - Rappresentazione della conoscenza
Sillabo dell'insegnamento
- G - Basi di dati
- *
LI - Linguaggi di Interrogazione di Basi di Dati
Relational Query Languages with Recursion -
BDA - Basi di Dati Avanzate
Relational Query Languages with Recursion - M - Rappresentazione della conoscenza
-
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Deduction, proof Theory -
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Deduction, proof Theory -
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Non-monotonic Reasoning - *
LPD - Logica e Programmazione Dichiarativa
Combining Recursion and Negation -
AASC - Apprendimento Automatico e Scoperta di Conoscenza
Automated Theorem Proving -
RA - Ragionamento Automatico
Automated Theorem Proving
(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali
