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.
On the Move to Meaningful Internet Systems. OTM 2018 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I / / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman
| On the Move to Meaningful Internet Systems. OTM 2018 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I / / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXX, 683 p. 204 illus.) |
| Disciplina | 004.678 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Data mining Artificial intelligence Computer security Computer system failures Computer communication systems Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Artificial Intelligence Systems and Data Security System Performance and Evaluation Computer Communication Networks |
| ISBN | 3-030-02610-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Systems Applications (incl. Internet) -- Information Storage and Retrieval -- Software Engineering Artificial Intelligence (incl. Robotics) -- Systems and Data Security -- Computer Appl. in Administrative Data Processing Ontologies -- Databases -- Semantics.-Cooperative Information Systems -- Cloud Computing -- Trust, Security, Privacy And Risk Management. |
| Record Nr. | UNISA-996466457503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
On the Move to Meaningful Internet Systems. OTM 2018 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman
| On the Move to Meaningful Internet Systems. OTM 2018 Conferences [[electronic resource] ] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXX, 605 p. 691 illus., 91 illus. in color.) |
| Disciplina | 004.678 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Information storage and retrieval Artificial intelligence Software engineering Mathematical logic E-commerce Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Software Engineering Mathematical Logic and Formal Languages e-Commerce/e-business |
| ISBN | 3-030-02671-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Systems Applications (incl. Internet) -- Information Storage and Retrieval -- Software Engineering Artificial Intelligence (incl. Robotics) -- Systems and Data Security -- Computer Appl. in Administrative Data Processing Ontologies -- Databases -- Semantics -- Cooperative Information Systems.-Cloud Computing -- Trust, Security, Privacy And Risk Management. |
| Record Nr. | UNISA-996466457903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
On the Move to Meaningful Internet Systems. OTM 2018 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman
| On the Move to Meaningful Internet Systems. OTM 2018 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXX, 605 p. 691 illus., 91 illus. in color.) |
| Disciplina | 004.678 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Information storage and retrieval Artificial intelligence Software engineering Mathematical logic E-commerce Information Systems Applications (incl. Internet) Information Storage and Retrieval Artificial Intelligence Software Engineering Mathematical Logic and Formal Languages e-Commerce/e-business |
| ISBN | 3-030-02671-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Systems Applications (incl. Internet) -- Information Storage and Retrieval -- Software Engineering Artificial Intelligence (incl. Robotics) -- Systems and Data Security -- Computer Appl. in Administrative Data Processing Ontologies -- Databases -- Semantics -- Cooperative Information Systems.-Cloud Computing -- Trust, Security, Privacy And Risk Management. |
| Record Nr. | UNINA-9910349396203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
On the Move to Meaningful Internet Systems. OTM 2018 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I / / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman
| On the Move to Meaningful Internet Systems. OTM 2018 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I / / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXX, 683 p. 204 illus.) |
| Disciplina | 004.678 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Data mining Artificial intelligence Computer security Computer system failures Computer communication systems Information Systems Applications (incl. Internet) Data Mining and Knowledge Discovery Artificial Intelligence Systems and Data Security System Performance and Evaluation Computer Communication Networks |
| ISBN | 3-030-02610-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Information Systems Applications (incl. Internet) -- Information Storage and Retrieval -- Software Engineering Artificial Intelligence (incl. Robotics) -- Systems and Data Security -- Computer Appl. in Administrative Data Processing Ontologies -- Databases -- Semantics.-Cooperative Information Systems -- Cloud Computing -- Trust, Security, Privacy And Risk Management. |
| Record Nr. | UNINA-9910349396303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rule Technologies. Research, Tools, and Applications [[electronic resource] ] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman
| Rule Technologies. Research, Tools, and Applications [[electronic resource] ] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXV, 351 p. 41 illus.) |
| Disciplina | 025.0427 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
Mathematical logic Application software Computer logic Software engineering Information storage and retrieval Artificial Intelligence Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Logics and Meanings of Programs Software Engineering Information Storage and Retrieval |
| ISBN | 3-319-42019-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General RuleML Track -- Smart Contracts, Blockchain and Rules -- Constraint Handling Rules -- Legal Rules and Reasoning -- Rule- and Ontology-Based Data Access and Transformation -- Rule Induction and Learning -- Event Driven Architectures and Active Database Systems. |
| Record Nr. | UNISA-996465786803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman
| Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXV, 351 p. 41 illus.) |
| Disciplina | 025.0427 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
Mathematical logic Application software Computer logic Software engineering Information storage and retrieval Artificial Intelligence Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) Logics and Meanings of Programs Software Engineering Information Storage and Retrieval |
| ISBN | 3-319-42019-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General RuleML Track -- Smart Contracts, Blockchain and Rules -- Constraint Handling Rules -- Legal Rules and Reasoning -- Rule- and Ontology-Based Data Access and Transformation -- Rule Induction and Learning -- Event Driven Architectures and Active Database Systems. |
| Record Nr. | UNINA-9910483252103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rule Technologies: Foundations, Tools, and Applications [[electronic resource] ] : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
| Rule Technologies: Foundations, Tools, and Applications [[electronic resource] ] : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIX, 474 p. 77 illus.) |
| Disciplina | 005.11 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
Application software Computer logic Information storage and retrieval Artificial Intelligence Information Systems Applications (incl. Internet) Logics and Meanings of Programs Computer Applications Information Storage and Retrieval |
| ISBN | 3-319-21542-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General RuleML track -- Complex event processing track -- Existential rules and datalog+/- track -- Legal rules and reasoning track -- Rule learning track -- Industry track. |
| Record Nr. | UNISA-996204727403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rule Technologies: Foundations, Tools, and Applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
| Rule Technologies: Foundations, Tools, and Applications : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIX, 474 p. 77 illus.) |
| Disciplina | 005.11 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Artificial intelligence
Application software Computer logic Information storage and retrieval Artificial Intelligence Information Systems Applications (incl. Internet) Logics and Meanings of Programs Computer Applications Information Storage and Retrieval |
| ISBN | 3-319-21542-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General RuleML track -- Complex event processing track -- Existential rules and datalog+/- track -- Legal rules and reasoning track -- Rule learning track -- Industry track. |
| Record Nr. | UNINA-9910484560803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rules and Reasoning [[electronic resource] ] : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings / / edited by Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu
| Rules and Reasoning [[electronic resource] ] : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings / / edited by Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu |
| Autore | Fensel Anna |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (269 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
OzakiAna
RomanDumitru SoyluAhmet |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Information technology - Management Database management Logic programming Natural language processing (Computer science) Expert systems (Computer science) Theory of Computation Computer Application in Administrative Data Processing Database Management Logic in AI Natural Language Processing (NLP) Knowledge Based Systems |
| ISBN | 3-031-45072-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Papers -- Extension of Regression Tsetlin Machine for Interpretable Uncertainty Assessment -- GUCON: A Generic Graph Pattern based Policy Framework for Usage Control Enforcement -- Combining Proofs for Description Logic and Concrete Domain Reasoning -- Notation3 as an Existential Rule Language -- Fine-tuning Large Enterprise Language Models via Ontological Reasoning -- Layerwise Learning of Mixed Conjunctive and Disjunctive Rule Sets -- Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs -- Marrying Query Rewriting and Knowledge Graph Embeddings -- Lore: Educational Deductive Database System -- Comparing State of the Art Rule-Based Tools for Information Extraction -- A Case Study for Declarative Pattern Mining in Digital Forensics -- Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle -- FreeCHR: An Algebraic Framework for CHR-Embeddings -- Explaining the optimal trajectories -- Abstract Domains for Database Manipulating Processes -- Extracting Interpretable Hierarchical Rules from Deep Neural Networks’ Latent Space. |
| Record Nr. | UNISA-996558467903316 |
Fensel Anna
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rules and Reasoning : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings / / edited by Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu
| Rules and Reasoning : 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings / / edited by Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu |
| Autore | Fensel Anna |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (269 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
OzakiAna
RomanDumitru SoyluAhmet |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Information technology - Management Database management Logic programming Natural language processing (Computer science) Expert systems (Computer science) Theory of Computation Computer Application in Administrative Data Processing Database Management Logic in AI Natural Language Processing (NLP) Knowledge Based Systems |
| ISBN | 3-031-45072-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Papers -- Extension of Regression Tsetlin Machine for Interpretable Uncertainty Assessment -- GUCON: A Generic Graph Pattern based Policy Framework for Usage Control Enforcement -- Combining Proofs for Description Logic and Concrete Domain Reasoning -- Notation3 as an Existential Rule Language -- Fine-tuning Large Enterprise Language Models via Ontological Reasoning -- Layerwise Learning of Mixed Conjunctive and Disjunctive Rule Sets -- Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs -- Marrying Query Rewriting and Knowledge Graph Embeddings -- Lore: Educational Deductive Database System -- Comparing State of the Art Rule-Based Tools for Information Extraction -- A Case Study for Declarative Pattern Mining in Digital Forensics -- Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle -- FreeCHR: An Algebraic Framework for CHR-Embeddings -- Explaining the optimal trajectories -- Abstract Domains for Database Manipulating Processes -- Extracting Interpretable Hierarchical Rules from Deep Neural Networks’ Latent Space. |
| Record Nr. | UNINA-9910751395903321 |
|
Fensel Anna
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
