Kahl – Knowledge Representation

Name: Kahl – Knowledge Representation
Author: Kahl

Libro adottato a Udine, a.a. 2026/2027 · 2 canali

«Kahl – Knowledge Representation» è adottato per Automated Reasoning dal prof. Agostino Dovier (Artificial Intelligence & Cybersecurity – sede di Udine – Udine); per Ragionamento Automatico dal prof. Agostino Dovier (Informatica – sede di Udine, Sede di UDINE – Udine).

Kahl – Knowledge RepresentationCerca su Amazon ›

Come lo indica il docente: M. Gelfond and Y. Kahl. Knowledge Representation, Reasoning, and the Design of Intelligent Agents. The Answer-Set Programming Approach. Cambridge University Press

Chi lo adotta

Automated Reasoning – Prof. Agostino Dovier (canale unico)Artificial Intelligence & Cybersecurity – sede di Udine · Laurea magistrale (LM-18) · 1º anno · annuale · 6 CFU
Ragionamento Automatico – Prof. Agostino Dovier (canale unico)Informatica – sede di Udine, Sede di UDINE · Laurea magistrale (LM-18) · 1º anno · annuale · 6 CFU

Programma e testi di ogni canale

Automated Reasoning – Prof. Agostino Dovier Canale unico

Corso di laurea: Artificial Intelligence & Cybersecurity – sede di Udine · Laurea magistrale (LM-18) · 1º anno · annuale · 6 CFU

Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 6 CFU · apri nel catalogo · Artificial Intelligence & Cybersecurity – sede di Udine · 1º anno ›

Il docente indica 1 testo

Kahl – Knowledge Representationquesto libroCerca 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

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.

Ragionamento Automatico – Prof. Agostino Dovier Canale unico

Corso di laurea: Informatica – sede di Udine, Sede di UDINE · Laurea magistrale (LM-18) · 1º anno · annuale · 6 CFU

Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 6 CFU · apri nel catalogo · Informatica – sede di Udine, Sede di UDINE · 1º anno ›