Reasoning web . Declarative artificial intelligence : 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial lectures / / Marco Manna, Andreas Pieris (editors) |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
Descrizione fisica | 1 online resource (IX, 255 p. 25 illus.) |
Disciplina | 025.04 |
Collana | Lecture notes in computer science |
Soggetto topico | Semantic Web |
ISBN | 3-030-60067-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction to Probabilistic Ontologies -- On the Complexity of Learning Description Logic Ontologies -- Explanation via Machine Arguing -- Stream Reasoning: From Theory to Practice -- First-Order Rewritability of Temporal Ontology-Mediated Queries -- An Introduction to Answer Set Programming and Some of Its Extensions -- Declarative Data Analysis using Limit Datalog Programs -- Knowledge Graphs: Research Directions. |
Record Nr. | UNINA-9910427703503321 |
Cham, Switzerland : , : Springer, , [2020] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Reasoning web . Declarative artificial intelligence : 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial lectures / / Marco Manna, Andreas Pieris (editors) |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
Descrizione fisica | 1 online resource (IX, 255 p. 25 illus.) |
Disciplina | 025.04 |
Collana | Lecture notes in computer science |
Soggetto topico | Semantic Web |
ISBN | 3-030-60067-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction to Probabilistic Ontologies -- On the Complexity of Learning Description Logic Ontologies -- Explanation via Machine Arguing -- Stream Reasoning: From Theory to Practice -- First-Order Rewritability of Temporal Ontology-Mediated Queries -- An Introduction to Answer Set Programming and Some of Its Extensions -- Declarative Data Analysis using Limit Datalog Programs -- Knowledge Graphs: Research Directions. |
Record Nr. | UNISA-996418301903316 |
Cham, Switzerland : , : Springer, , [2020] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|