Automated Reasoning – prof. Agostino Dovier

Artificial Intelligence & Cybersecurity – sede di Udine · Università degli Studi di Udine · 1º anno · annuale · 6 CFU · canale unico

Libri del canale

Automated Reasoning 6 CFU

ADProf. Agostino Dovier Canale unico

Il docente indica 1 testo

Kahl – Knowledge RepresentationIl 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

Dispense del docente on-line

Argomenti del programma: Contenuto in accordo con le direttive IEEE/ACM. In Italiano solo le parti non strettamente codificate. IS/Fundamental Issues: - Overview of AI problems, examples of successful recent AI applications IS/Basic Knowledge Representation and Reasoning: - Review of propositional and predicate logic - Resolution and theorem proving IS/Advanced Representation and Reasoning: - Knowledge representation issues - Non-monotonic…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Apri nel catalogo: Artificial Intelligence & Cybersecurity – sede di Udine, 1º anno, tutte le materie e i canali ›

Testi d'esame di Automated Reasoning del prof. Agostino Dovier, canale unico, corso di laurea in Artificial Intelligence & Cybersecurity – sede di Udine (Laurea magistrale (LM-18)), Università degli Studi di Udine, 1º anno · annuale · 6 CFU, a.a. 2026/2027. Libri adottati: Kahl – Knowledge Representation.

Altre materie del prof. Dovier

Fondamenti dell'Informatica · Informatica – sede di Udine, Sede di UDINE · 2º anno · annuale · 9 CFU
Ragionamento Automatico · Informatica – sede di Udine, Sede di UDINE · 1º anno · annuale · 6 CFU
Fondamenti dell'Informatica · Internet of Things, Big Data, Machine Learning – sede di Udine · 2º anno · annuale · 9 CFU

Vedi anche: Prof. Agostino Dovier · Automated Reasoning a Udine (tutti i canali)