International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / Costantini, Stefania ; Franconi, Enrico ; Van Woensel, William ; Kontchakov, Roman ; Sadri, Fariba ; Roman, Dumitru  

Público ISBD Ningún comentario para este título. Título : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings Tipo de documento: documento electrónico Autores: Costantini, Stefania, ; Franconi, Enrico, ; Van Woensel, William, ; Kontchakov, Roman, ; Sadri, Fariba, ; Roman, Dumitru, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 239 p. 43 ilustraciones ISBN/ISSN/DL: 978-3-319-61252-2 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: Programación de computadoras  Compiladores (programas informáticos)  Teoría de las máquinas  Inteligencia artificial  Ingeniería de software  Software de la aplicacion  Técnicas de programación  Compiladores e intérpretes  Lenguajes formales y teoría de los autómatas  Aplicaciones informáticas y de sistemas de información Clasificación: Resumen: Este libro constituye las actas de la Conferencia Conjunta Internacional sobre Reglas y Razonamiento, RuleML+RR 2017, celebrada en Londres, Reino Unido, durante julio de 2017. Esta es la primera 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" (Razonamiento Web y Sistemas de Reglas). Los 16 artículos regulares presentados junto con 2 resúmenes de conferencias magistrales fueron cuidadosamente revisados ​​y seleccionados de 29 presentaciones. La serie de conferencias RR ha sido un foro para la discusión y difusión de nuevos resultados sobre todos los temas relacionados con el razonamiento web y los sistemas de reglas, con énfasis en los enfoques y lenguajes basados ​​en reglas. La serie de conferencias RuleML se ha dedicado a difundir investigaciones, aplicaciones, lenguajes y estándares para tecnologías de reglas, con atención tanto a los desarrollos teóricos como prácticos, a las nuevas ideas desafiantes y las aplicaciones industriales. Ambas series de conferencias apuntaron a construir puentes entre la academia y la industria en el campo de las reglas y sus aplicaciones. Por lo tanto, se espera que RuleML+RR se convierta en una conferencia líder para todos los temas relacionados con avances teóricos, nuevas tecnologías y aplicaciones innovadoras sobre la representación del conocimiento y el razonamiento con reglas. Esta nueva conferencia conjunta proporciona un foro valioso para estimular la cooperación y el intercambio de ideas entre las diferentes comunidades centradas en la investigación, el desarrollo y las aplicaciones de los sistemas basados ​​en reglas. Proporciona la posibilidad de presentar y discutir aplicaciones de reglas y razonamiento en el ámbito académico, industrial, de ingeniería, empresarial, financiero, sanitario y otras áreas de aplicación. Nota de contenido: Opening the Black Box: Deriving Rules from Data -- The secret life of rules in Software Engineering -- Meta-Interpretive Learning: achievements and challenges -- Dischargeable Obligations in Abductive Logic Programming -- Using Rule-Based Reasoning for RDF Validation -- Three Methods for Revising Hybrid Knowledge Bases -- Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data -- Semantic DMN: Formalizing Decision Models with Domain Knowledge -- A set-theoretic approach to ABox reasoning services -- Verifying Controllability of Time-Aware Business Processes -- A Decidable Conuence Test for Cognitive Models in ACT-R -- On the Chase for All Provenance Paths With Existential Rules -- Rewriting Queries with Negated Atoms -- Fast ABox Consistency Checking using Incomplete Reasoning and Caching -- An Online Tool for Tuning Fuzzy Logic Programs -- Hybrid ASP-based Approach to Pattern Mining -- nconsistency-tolerant Instance Checking in Tractable Description Logics -- ArgQL: A Declarative Language for Querying Argumentative Dialogues. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings [documento electrónico] / Costantini, Stefania, ; Franconi, Enrico, ; Van Woensel, William, ; Kontchakov, Roman, ; Sadri, Fariba, ; Roman, Dumitru,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XVIII, 239 p. 43 ilustraciones. ISBN : 978-3-319-61252-2 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Programación de computadoras  Compiladores (programas informáticos)  Teoría de las máquinas  Inteligencia artificial  Ingeniería de software  Software de la aplicacion  Técnicas de programación  Compiladores e intérpretes  Lenguajes formales y teoría de los autómatas  Aplicaciones informáticas y de sistemas de información Clasificación: Resumen: Este libro constituye las actas de la Conferencia Conjunta Internacional sobre Reglas y Razonamiento, RuleML+RR 2017, celebrada en Londres, Reino Unido, durante julio de 2017. Esta es la primera 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" (Razonamiento Web y Sistemas de Reglas). Los 16 artículos regulares presentados junto con 2 resúmenes de conferencias magistrales fueron cuidadosamente revisados ​​y seleccionados de 29 presentaciones. La serie de conferencias RR ha sido un foro para la discusión y difusión de nuevos resultados sobre todos los temas relacionados con el razonamiento web y los sistemas de reglas, con énfasis en los enfoques y lenguajes basados ​​en reglas. La serie de conferencias RuleML se ha dedicado a difundir investigaciones, aplicaciones, lenguajes y estándares para tecnologías de reglas, con atención tanto a los desarrollos teóricos como prácticos, a las nuevas ideas desafiantes y las aplicaciones industriales. Ambas series de conferencias apuntaron a construir puentes entre la academia y la industria en el campo de las reglas y sus aplicaciones. Por lo tanto, se espera que RuleML+RR se convierta en una conferencia líder para todos los temas relacionados con avances teóricos, nuevas tecnologías y aplicaciones innovadoras sobre la representación del conocimiento y el razonamiento con reglas. Esta nueva conferencia conjunta proporciona un foro valioso para estimular la cooperación y el intercambio de ideas entre las diferentes comunidades centradas en la investigación, el desarrollo y las aplicaciones de los sistemas basados ​​en reglas. Proporciona la posibilidad de presentar y discutir aplicaciones de reglas y razonamiento en el ámbito académico, industrial, de ingeniería, empresarial, financiero, sanitario y otras áreas de aplicación. Nota de contenido: Opening the Black Box: Deriving Rules from Data -- The secret life of rules in Software Engineering -- Meta-Interpretive Learning: achievements and challenges -- Dischargeable Obligations in Abductive Logic Programming -- Using Rule-Based Reasoning for RDF Validation -- Three Methods for Revising Hybrid Knowledge Bases -- Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and its Evaluation on Real Data -- Semantic DMN: Formalizing Decision Models with Domain Knowledge -- A set-theoretic approach to ABox reasoning services -- Verifying Controllability of Time-Aware Business Processes -- A Decidable Conuence Test for Cognitive Models in ACT-R -- On the Chase for All Provenance Paths With Existential Rules -- Rewriting Queries with Negated Atoms -- Fast ABox Consistency Checking using Incomplete Reasoning and Caching -- An Online Tool for Tuning Fuzzy Logic Programs -- Hybrid ASP-based Approach to Pattern Mining -- nconsistency-tolerant Instance Checking in Tractable Description Logics -- ArgQL: A Declarative Language for Querying Argumentative Dialogues. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200