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.
Foundations of Information and Knowledge Systems : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
| Foundations of Information and Knowledge Systems : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings |
| Autore | Meier Arne |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2024 |
| Descrizione fisica | 1 online resource (408 pages) |
| Altri autori (Persone) | OrtizMagdalena |
| Collana | Lecture Notes in Computer Science Series |
| ISBN | 3-031-56940-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996589543903316 |
Meier Arne
|
||
| Cham : , : Springer International Publishing AG, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Information and Knowledge Systems : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings / / edited by Arne Meier, Magdalena Ortiz
| Foundations of Information and Knowledge Systems : 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings / / edited by Arne Meier, Magdalena Ortiz |
| Autore | Meier Arne |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (408 pages) |
| Disciplina | 005.131 |
| Altri autori (Persone) | OrtizMagdalena |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Machine theory
Logic programming Expert systems (Computer science) Artificial intelligence Application software Programming languages (Electronic computers) Formal Languages and Automata Theory Logic in AI Knowledge Based Systems Artificial Intelligence Computer and Information Systems Applications Programming Language |
| ISBN | 3-031-56940-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Repairs -- Dependencies and Constraints -- Beliefs -- Knowledge Representation and Reasoning -- Nonmonotonicity -- Axiomatizations -- Logics and Semantics -- Argumentation -- Answer Set Programming. . |
| Record Nr. | UNINA-9910847071103321 |
|
Meier Arne
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logics in Artificial Intelligence [[electronic resource] ] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / / edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz
| Logics in Artificial Intelligence [[electronic resource] ] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / / edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz |
| Autore | Gaggl Sarah |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (834 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
MartinezMaria Vanina
OrtizMagdalena |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computers, Special purpose Computer science Machine theory Computer programming Artificial Intelligence Computer and Information Systems Applications Special Purpose and Application-Based Systems Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Programming Techniques |
| ISBN | 3-031-43619-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Special track: Logics for Explainable and Trustworthy AI -- Argumentation -- Answer Set Programming -- Description Logics and Ontological Reasoning -- Logics of Knowledge and Belief -- Non-monotonic Reasoning -- Planning -- Reasoning about Causes and Dependencies -- Reasoning about Quantities and Functions -- Temporal and Spatial Reasoning. |
| Record Nr. | UNISA-996550551803316 |
|
Gaggl Sarah
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / / edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz
| Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / / edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz |
| Autore | Gaggl Sarah |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (834 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
MartinezMaria Vanina
OrtizMagdalena |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Application software Computers, Special purpose Computer science Machine theory Computer programming Artificial Intelligence Computer and Information Systems Applications Special Purpose and Application-Based Systems Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Programming Techniques |
| ISBN | 3-031-43619-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Special track: Logics for Explainable and Trustworthy AI -- Argumentation -- Answer Set Programming -- Description Logics and Ontological Reasoning -- Logics of Knowledge and Belief -- Non-monotonic Reasoning -- Planning -- Reasoning about Causes and Dependencies -- Reasoning about Quantities and Functions -- Temporal and Spatial Reasoning. |
| Record Nr. | UNINA-9910747000103321 |
|
Gaggl Sarah
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web Reasoning and Rule Systems [[electronic resource] ] : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings / / edited by Magdalena Ortiz, Stefan Schlobach
| Web Reasoning and Rule Systems [[electronic resource] ] : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings / / edited by Magdalena Ortiz, Stefan Schlobach |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XII, 195 p. 19 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Database management Data mining Mathematical logic Computers Information Systems Applications (incl. Internet) Information Storage and Retrieval Database Management Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computation by Abstract Devices |
| ISBN | 3-319-45276-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ontologies for the semantic web -- Querying web data -- Semantic data management -- Common-sense reasoning on the web. |
| Record Nr. | UNISA-996465663803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Web Reasoning and Rule Systems : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings / / edited by Magdalena Ortiz, Stefan Schlobach
| Web Reasoning and Rule Systems : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings / / edited by Magdalena Ortiz, Stefan Schlobach |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XII, 195 p. 19 illus.) |
| Disciplina | 025.04 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Application software
Information storage and retrieval Database management Data mining Mathematical logic Computers Information Systems Applications (incl. Internet) Information Storage and Retrieval Database Management Data Mining and Knowledge Discovery Mathematical Logic and Formal Languages Computation by Abstract Devices |
| ISBN | 3-319-45276-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ontologies for the semantic web -- Querying web data -- Semantic data management -- Common-sense reasoning on the web. |
| Record Nr. | UNINA-9910482997903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||