Título :	Graph Structures for Knowledge Representation and Reasoning : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
Tipo de documento:	documento electrónico
Autores:	Croitoru, Madalina, ; Marquis, Pierre, ; Rudolph, Sebastian, ; Stapleton, Gem,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2018
Número de páginas:	VII, 139 p.
ISBN/ISSN/DL:	978-3-319-78102-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:	Inteligencia artificial  Teoría de las máquinas  Software de la aplicacion  Sistemas de almacenamiento y recuperación de información  Red de computadoras  Informática  Estadistica matematica  Lenguajes formales y teoría de los autómatas  Aplicaciones informáticas y de sistemas de información  Almacenamiento y recuperación de información  Redes de comunicación informática  Probabilidad y Estadística en Informática
Índice Dewey:	006.3 Inteligencia artificial
Resumen:	Este libro constituye las actas post-conferencia revisadas exhaustivamente del 5º Taller Internacional sobre Estructuras de Gráficos para la Representación y Razonamiento del Conocimiento, GKR 2017, celebrado en Melbourne, VIC, Australia, en agosto de 2017, asociado con IJCAI 2017, la 26ª Conferencia Conjunta Internacional sobre Inteligencia Artificial. Los 7 artículos completos revisados ​​presentados fueron revisados ​​y seleccionados de 9 presentaciones. Las contribuciones abordan diversas cuestiones para la representación y el razonamiento del conocimiento y el trasfondo teórico de grafos común permite cerrar la brecha entre las diferentes comunidades.
Nota de contenido:	Exploring, Reasoning With and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs -- Subjective Bayesian Networks and Human-in-the-Loop Situational Understanding -- Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm -- Representing and Reasoning about Logical Network Topologies -- From Enterprise Concepts to Formal Concepts: A University Case Study -- Visualizing ALC Using Concept Diagrams -- Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results.
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

Graph Structures for Knowledge Representation and Reasoning : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers [documento electrónico] / Croitoru, Madalina, ; Marquis, Pierre, ; Rudolph, Sebastian, ; Stapleton, Gem,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - VII, 139 p.
ISBN : 978-3-319-78102-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Inteligencia artificial  Teoría de las máquinas  Software de la aplicacion  Sistemas de almacenamiento y recuperación de información  Red de computadoras  Informática  Estadistica matematica  Lenguajes formales y teoría de los autómatas  Aplicaciones informáticas y de sistemas de información  Almacenamiento y recuperación de información  Redes de comunicación informática  Probabilidad y Estadística en Informática
Índice Dewey:	006.3 Inteligencia artificial
Resumen:	Este libro constituye las actas post-conferencia revisadas exhaustivamente del 5º Taller Internacional sobre Estructuras de Gráficos para la Representación y Razonamiento del Conocimiento, GKR 2017, celebrado en Melbourne, VIC, Australia, en agosto de 2017, asociado con IJCAI 2017, la 26ª Conferencia Conjunta Internacional sobre Inteligencia Artificial. Los 7 artículos completos revisados ​​presentados fueron revisados ​​y seleccionados de 9 presentaciones. Las contribuciones abordan diversas cuestiones para la representación y el razonamiento del conocimiento y el trasfondo teórico de grafos común permite cerrar la brecha entre las diferentes comunidades.
Nota de contenido:	Exploring, Reasoning With and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs -- Subjective Bayesian Networks and Human-in-the-Loop Situational Understanding -- Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm -- Representing and Reasoning about Logical Network Topologies -- From Enterprise Concepts to Formal Concepts: A University Case Study -- Visualizing ALC Using Concept Diagrams -- Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results.
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