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.
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 [[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. | UNINA-9910751395903321 |
|
Fensel Anna
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rules and Reasoning [[electronic resource] ] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / / edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman
| Rules and Reasoning [[electronic resource] ] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / / edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVI, 187 p. 96 illus., 19 illus. in color.) |
| Disciplina | 005.1015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Software engineering Artificial intelligence Computer logic Knowledge representation (Information theory) Application software Theory of Computation Information Systems and Communication Service Software Engineering/Programming and Operating Systems Logic in AI Knowledge based Systems Computer Appl. in Administrative Data Processing |
| ISBN | 3-030-57977-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Full Papers -- Technical Communication Papers. |
| Record Nr. | UNISA-996418283903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rules and Reasoning : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / / edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman
| Rules and Reasoning : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / / edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVI, 187 p. 96 illus., 19 illus. in color.) |
| Disciplina | 005.1015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computers
Software engineering Artificial intelligence Computer logic Knowledge representation (Information theory) Application software Theory of Computation Information Systems and Communication Service Software Engineering/Programming and Operating Systems Logic in AI Knowledge based Systems Computer Appl. in Administrative Data Processing |
| ISBN | 3-030-57977-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Full Papers -- Technical Communication Papers. |
| Record Nr. | UNINA-9910416080803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||