| TÃtulo : |
Rules and Reasoning : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings / |
| Tipo de documento: |
documento electrónico |
| Autores: |
Fodor, Paul, ; Montali, Marco, ; Calvanese, Diego, ; Roman, Dumitru, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
XVI, 207 p. 284 ilustraciones, 18 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-31095-0 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Idioma : |
Inglés (eng) |
| Palabras clave: |
TeorÃa de las máquinas Inteligencia artificial Ciencias de la Computación TecnologÃa de la información IngenierÃa de software Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación. Aplicación Informática en Tratamiento de Datos Administrativos |
| Clasificación: |
5.131 |
| Resumen: |
Este libro constituye las actas de la Conferencia Internacional Conjunta sobre Reglas y Razonamiento, RuleML+RR 2019, celebrada en Bolzano, Italia, durante septiembre de 2019. Esta es la tercera conferencia de una nueva serie, que une los esfuerzos de dos series de conferencias existentes, a saber "RuleML" (Simposio Internacional de Reglas Web) y "RR" (Sistemas de Reglas y Razonamiento Web). Los 10 artÃculos de investigación completos presentados junto con 5 artÃculos breves de comunicaciones técnicas fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. |
| Nota de contenido: |
Full Papers -- Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes -- Reasoning on DL-Liteℛ with Defeasibility in ASP -- ODRL policy modelling and compliance checking -- Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP -- An ASP-based Solution for Operating Room Scheduling with Beds Management -- EASE: Enabling Hardware Assertion Synthesis from English -- Formalizing Object-ontological Mapping Using F-logic -- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT -- Efficient TBox Reasoning with Value Restrictions—Introducing the ℱℒower Reasoner -- Query Rewriting for DL Ontologies under the ICAR semantics -- Technical Communication Papers -- Complementing Logical Reasoning with Sub-Symbolic Commonsense -- Adding Constraint Tables to the DMN Standard: Preliminary Results -- Detecting "Slippery Slope" and other argumentative stances of opposition using Tree Kernels in monologic discourse -- Fuzzy Logic Programming for Tuning Neural Networks -- Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization. |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (International Web Rule Symposium) and "RR" (Web Reasoning and Rule Systems). The 10 full research papers presented together with 5 short technical communications papers were carefully reviewed and selected from 26 submissions. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Rules and Reasoning : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings / [documento electrónico] / Fodor, Paul, ; Montali, Marco, ; Calvanese, Diego, ; Roman, Dumitru, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVI, 207 p. 284 ilustraciones, 18 ilustraciones en color. ISBN : 978-3-030-31095-0 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng)
| Palabras clave: |
TeorÃa de las máquinas Inteligencia artificial Ciencias de la Computación TecnologÃa de la información IngenierÃa de software Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación. Aplicación Informática en Tratamiento de Datos Administrativos |
| Clasificación: |
5.131 |
| Resumen: |
Este libro constituye las actas de la Conferencia Internacional Conjunta sobre Reglas y Razonamiento, RuleML+RR 2019, celebrada en Bolzano, Italia, durante septiembre de 2019. Esta es la tercera conferencia de una nueva serie, que une los esfuerzos de dos series de conferencias existentes, a saber "RuleML" (Simposio Internacional de Reglas Web) y "RR" (Sistemas de Reglas y Razonamiento Web). Los 10 artÃculos de investigación completos presentados junto con 5 artÃculos breves de comunicaciones técnicas fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. |
| Nota de contenido: |
Full Papers -- Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes -- Reasoning on DL-Liteℛ with Defeasibility in ASP -- ODRL policy modelling and compliance checking -- Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP -- An ASP-based Solution for Operating Room Scheduling with Beds Management -- EASE: Enabling Hardware Assertion Synthesis from English -- Formalizing Object-ontological Mapping Using F-logic -- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT -- Efficient TBox Reasoning with Value Restrictions—Introducing the ℱℒower Reasoner -- Query Rewriting for DL Ontologies under the ICAR semantics -- Technical Communication Papers -- Complementing Logical Reasoning with Sub-Symbolic Commonsense -- Adding Constraint Tables to the DMN Standard: Preliminary Results -- Detecting "Slippery Slope" and other argumentative stances of opposition using Tree Kernels in monologic discourse -- Fuzzy Logic Programming for Tuning Neural Networks -- Querying Key-Value Stores Under Single-Key Constraints: Rewriting and Parallelization. |
| Tipo de medio : |
Computadora |
| Summary : |
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third conference of a new series, joining the efforts of two existing conference series, namely "RuleML" (International Web Rule Symposium) and "RR" (Web Reasoning and Rule Systems). The 10 full research papers presented together with 5 short technical communications papers were carefully reviewed and selected from 26 submissions. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda
