Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logics in Artificial Intelligence [[electronic resource] ] : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings / / edited by Francesco Calimeri, Nicola Leone, Marco Manna
| Logics in Artificial Intelligence [[electronic resource] ] : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings / / edited by Francesco Calimeri, Nicola Leone, Marco Manna |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 822 p. 1646 illus., 29 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer logic Mathematical logic Application software Programming languages (Electronic computers) Computer programming Artificial Intelligence Logics and Meanings of Programs Mathematical Logic and Formal Languages Computer Appl. in Administrative Data Processing Programming Languages, Compilers, Interpreters Programming Techniques |
| ISBN | 3-030-19570-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Belief revision and argumentation -- Causal, defeasible and inductive reasoning -- Conditional, probabilistic and propositional logic -- Description logics -- Logic programming -- Modal and default logic -- Temporal logic. |
| Record Nr. | UNISA-996466215503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings / / edited by Francesco Calimeri, Nicola Leone, Marco Manna
| Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings / / edited by Francesco Calimeri, Nicola Leone, Marco Manna |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XV, 822 p. 1646 illus., 29 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer logic Mathematical logic Application software Programming languages (Electronic computers) Computer programming Artificial Intelligence Logics and Meanings of Programs Mathematical Logic and Formal Languages Computer Appl. in Administrative Data Processing Programming Languages, Compilers, Interpreters Programming Techniques |
| ISBN | 3-030-19570-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Belief revision and argumentation -- Causal, defeasible and inductive reasoning -- Conditional, probabilistic and propositional logic -- Description logics -- Logic programming -- Modal and default logic -- Temporal logic. |
| Record Nr. | UNINA-9910337846503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| 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)
| 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] | ||
| Materiale a stampa | ||
| 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)
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||