Benthem – Logic in action

Name: Benthem – Logic in action
Author: Benthem

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

«Benthem – Logic in action» è adottato per Metodologie e Tecniche di Simulazione dal prof. Valentina Presutti (Governance e politiche dell'innovazione digitale – Bologna); per Knowledge Engeneering And Computation For The Humanities (Lm) I.C. dal prof. Valentina Presutti (Language, Society and Communication – Bologna).

Benthem – Logic in actionCerca su Amazon ›

Come lo indica il docente: Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, Jan Jaspars: Logic in action (2006) reperibile online: http://www.logicinaction.org/

Chi lo adotta

Metodologie e Tecniche di Simulazione – Prof. Valentina Presutti (canale unico)Governance e politiche dell'innovazione digitale · Laurea magistrale (LM-63) · 2º anno · 2º semestre · 8 CFU
Knowledge Engeneering And Computation For The Humanities (Lm) I.C. – Prof. Valentina Presutti (canale unico)Language, Society and Communication · Laurea magistrale (LM-38) · 1º anno · 2º semestre · 6 CFU

Programma e testi di ogni canale

Metodologie e Tecniche di Simulazione – Prof. Valentina Presutti Canale unico

Corso di laurea: Governance e politiche dell'innovazione digitale · Laurea magistrale (LM-63) · 2º anno · 2º semestre · 8 CFU

Bologna · Ingegneria e architettura · 8 CFU · apri nel catalogo · Governance e politiche dell'innovazione digitale · 2º anno · 2º semestre ›

Il docente indica 3 testi · da studiare tutti

Benthem – Logic in actionquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Dean Allemang and James Hendler Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Pascal Hitzler – Ontology Engineering with Ontology Design Patterns Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Note, slide e esercizi saranno resi reperibili su

Argomenti del programma: Questo corso ha l'obiettivo di dotare gli studenti di conoscenze approfondite sui knowledge graph e sui metodi e strumenti per interrogarli. Si affronteranno sia lo studio della modellazione di grafi di conoscenza basati su ontologie, sia l'uso pratico di alcuni strumenti software di supporto per la loro esplorazione e interrogazione.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Knowledge Engeneering And Computation For The Humanities (Lm) I.C. – Prof. Valentina Presutti Canale unico

Corso di laurea: Language, Society and Communication · Laurea magistrale (LM-38) · 1º anno · 2º semestre · 6 CFU

Bologna · Lingue e Letterature, Traduzione e Interpretazione · 6 CFU · apri nel catalogo · Language, Society and Communication · 1º anno · 2º semestre ›