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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Fensel Anna
|
| Titolo: |
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
|
| Pubblicazione: | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Edizione: | 1st ed. 2023. |
| Descrizione fisica: | 1 online resource (269 pages) |
| Disciplina: | 004.0151 |
| 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 | |
| Altri autori: |
OzakiAna
RomanDumitru
SoyluAhmet
|
| 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. |
| Sommario/riassunto: | This book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 18–20, 2023. The 13 full papers and 3 short papers included in these proceedings were carefully reviewed and selected from 46 submissions. They focus on all aspects of theoretical advances; novel technologies; innovative applications; knowledge representation; reasoning with rules; and research, development, applications of rule-based systems. . |
| Titolo autorizzato: | Rules and Reasoning |
| ISBN: | 3-031-45072-8 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996558467903316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 1611-3349 ; ; 14244