Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings / Fodor, Paul ; Montali, Marco ; Calvanese, Diego ; Roman, Dumitru  

Público ISBD Ningún comentario para este registro. Título : 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. 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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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. 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 Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

---

1 (1 - 1 / 1) Par page : 25 50 100 200