Información del autor
Autor Faber, Wolfgang |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsquedaLogics in Artificial Intelligence / Faber, Wolfgang ; Friedrich, Gerhard ; Gebser, Martin ; Morak, Michael
TÃtulo : Logics in Artificial Intelligence : 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings / Tipo de documento: documento electrónico Autores: Faber, Wolfgang, ; Friedrich, Gerhard, ; Gebser, Martin, ; Morak, Michael, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIII, 459 p. 60 ilustraciones, 36 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-75775-5 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: Inteligencia artificial Software de la aplicacion Computadoras Propósitos especiales Ciencias de la Computación TeorÃa de las máquinas Programación de computadoras Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Técnicas de programación Clasificación: 006.3 Resumen: Este libro constituye las actas de la 17.ª Conferencia europea sobre lógica en inteligencia artificial, JELIA 2021, celebrada como evento virtual en mayo de 2021. Los 27 artÃculos completos y 3 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 68 presentaciones. Los artÃculos aceptados abarcan una serie de áreas dentro de la Lógica en IA, que incluyen: argumentación; revisión de creencias; razonamiento sobre acciones, causalidad y cambio; satisfacción de restricciones; lógicas de descripción y razonamiento ontológico; lógicas no clásicas; y programación lógica (programación de conjuntos de respuestas). Nota de contenido: Graph-Classes of Argumentation Frameworks with Collective Attacks -- Introducing a Tool for Concurrent Argumentation -- Probabilistic Argumentation: an Approach Based on Conditional Probability – a Preliminary Report -- Conditional Descriptor Revision and its Implementation by a CSP -- Trust is All You Need: From Belief Revision to Information Revision -- Computing Defeasible Meta-Logic -- Syntax Splitting for Iterated Contractions, Ignorations, and Revisions Using Selection Strategies -- An Epistemic Logic for Multi-Agent Systems with Budget and Costs -- Epistemic Reasoning About Rationality and Bids in Auction -- Tractable Combinations of Theories via Sampling -- Analyzing Refutability of Difference Constraint Systems in Selected Refutation Systems -- Residuation for Lexicographic Orders -- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment -- An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics -- ReAD: AD-Based Modular Ontology Classification -- Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model -- A Computationally Grounded Logic of Graded Belief -- Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic Over the Reals -- An Epistemic Probabilistic Logic With Conditional Probabilities -- On Syntactic Forgetting under Uniform Equivalence -- Solving a Multi-Resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP -- Tractable Reasoning Using Logic Programs with Intensional Concepts -- Estimating Grounding Sizes of Logic Programs under Answer Set Semantics and System Predictor -- Testing in ASP: Revisited Language and Programming Environment -- An Abstract View on Optimizations in SAT and ASP -- Model Reconciliation in Logic Programs -- Lazy Stream Manipulation in Prolog via Backtracking: the Case of 2P-Kt -- Transforming Gringo Rules Into Formulas in a Natural Way -- DualGrounder: Lazy Instantiation via Clingo Multi-Shot Framework -- A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Logics in Artificial Intelligence : 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings / [documento electrónico] / Faber, Wolfgang, ; Friedrich, Gerhard, ; Gebser, Martin, ; Morak, Michael, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIII, 459 p. 60 ilustraciones, 36 ilustraciones en color.
ISBN : 978-3-030-75775-5
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: Inteligencia artificial Software de la aplicacion Computadoras Propósitos especiales Ciencias de la Computación TeorÃa de las máquinas Programación de computadoras Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Técnicas de programación Clasificación: 006.3 Resumen: Este libro constituye las actas de la 17.ª Conferencia europea sobre lógica en inteligencia artificial, JELIA 2021, celebrada como evento virtual en mayo de 2021. Los 27 artÃculos completos y 3 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 68 presentaciones. Los artÃculos aceptados abarcan una serie de áreas dentro de la Lógica en IA, que incluyen: argumentación; revisión de creencias; razonamiento sobre acciones, causalidad y cambio; satisfacción de restricciones; lógicas de descripción y razonamiento ontológico; lógicas no clásicas; y programación lógica (programación de conjuntos de respuestas). Nota de contenido: Graph-Classes of Argumentation Frameworks with Collective Attacks -- Introducing a Tool for Concurrent Argumentation -- Probabilistic Argumentation: an Approach Based on Conditional Probability – a Preliminary Report -- Conditional Descriptor Revision and its Implementation by a CSP -- Trust is All You Need: From Belief Revision to Information Revision -- Computing Defeasible Meta-Logic -- Syntax Splitting for Iterated Contractions, Ignorations, and Revisions Using Selection Strategies -- An Epistemic Logic for Multi-Agent Systems with Budget and Costs -- Epistemic Reasoning About Rationality and Bids in Auction -- Tractable Combinations of Theories via Sampling -- Analyzing Refutability of Difference Constraint Systems in Selected Refutation Systems -- Residuation for Lexicographic Orders -- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment -- An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics -- ReAD: AD-Based Modular Ontology Classification -- Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model -- A Computationally Grounded Logic of Graded Belief -- Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic Over the Reals -- An Epistemic Probabilistic Logic With Conditional Probabilities -- On Syntactic Forgetting under Uniform Equivalence -- Solving a Multi-Resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP -- Tractable Reasoning Using Logic Programs with Intensional Concepts -- Estimating Grounding Sizes of Logic Programs under Answer Set Semantics and System Predictor -- Testing in ASP: Revisited Language and Programming Environment -- An Abstract View on Optimizations in SAT and ASP -- Model Reconciliation in Logic Programs -- Lazy Stream Manipulation in Prolog via Backtracking: the Case of 2P-Kt -- Transforming Gringo Rules Into Formulas in a Natural Way -- DualGrounder: Lazy Instantiation via Clingo Multi-Shot Framework -- A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures Tipo de documento: documento electrónico Autores: Ianni, Giovambattista, ; Lembo, Domenico, ; Bertossi, Leopoldo, ; Faber, Wolfgang, ; Glimm, Birte, ; Gottlob, Georg, ; Staab, Steffen, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XI, 347 p. 63 ilustraciones ISBN/ISSN/DL: 978-3-319-61033-7 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: Gestión de base de datos Inteligencia artificial TeorÃa de las máquinas Sistemas de almacenamiento y recuperación de información. Lenguajes formales y teorÃa de los autómatas Almacenamiento y recuperación de información Clasificación: 005.74 Ciencia de los computadores (Archivos de datos y bases de datos) Resumen: Este volumen contiene las notas de las conferencias de la 13.ª Escuela de Verano sobre Reasoning Web, RW 2017, celebrada en Londres, Reino Unido, en julio de 2017. En 2017, el tema de la escuela fue "Interoperabilidad semántica en la Web", que abarca temas como datos integración, gestión de datos abiertos, razonamiento sobre datos vinculados, mapeo de base de datos a ontologÃa, respuesta de consultas sobre ontologÃas, razonamiento hÃbrido con reglas y ontologÃas, y sistemas dinámicos basados ​​en ontologÃas. Los artÃculos de este volumen se centran en estos temas y también abordan técnicas de razonamiento fundamental utilizadas en ontologÃas y programación de conjuntos de respuestas. . Nota de contenido: Data Integration for Open Data on the Web -- Ontological Query Answering over Semantic Data -- Ontology Querying: Datalog Strikes Back -- Integrating Relational Databases with the Semantic Web: A Reflection -- Datalog Revisited for Reasoning in Linked Data -- A Tutorial on Hybrid Answer Set Solving with Clingo -- Answer Set Programming with External Source Access -- Uncertainty Reasoning for the Semantic Web -- OBDA for Log Extraction in Process Mining. . Tipo de medio : Computadora Summary : This volume contains the lecture notes of the 13th Reasoning Web Summer School, RW 2017, held in London, UK, in July 2017. In 2017, the theme of the school was "Semantic Interoperability on the Web", which encompasses subjects such as data integration, open data management, reasoning over linked data, database to ontology mapping, query answering over ontologies, hybrid reasoning with rules and ontologies, and ontology-based dynamic systems. The papers of this volume focus on these topics and also address foundational reasoning techniques used in answer set programming and ontologies. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures [documento electrónico] / Ianni, Giovambattista, ; Lembo, Domenico, ; Bertossi, Leopoldo, ; Faber, Wolfgang, ; Glimm, Birte, ; Gottlob, Georg, ; Staab, Steffen, . - 1 ed. . - [s.l.] : Springer, 2017 . - XI, 347 p. 63 ilustraciones.
ISBN : 978-3-319-61033-7
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: Gestión de base de datos Inteligencia artificial TeorÃa de las máquinas Sistemas de almacenamiento y recuperación de información. Lenguajes formales y teorÃa de los autómatas Almacenamiento y recuperación de información Clasificación: 005.74 Ciencia de los computadores (Archivos de datos y bases de datos) Resumen: Este volumen contiene las notas de las conferencias de la 13.ª Escuela de Verano sobre Reasoning Web, RW 2017, celebrada en Londres, Reino Unido, en julio de 2017. En 2017, el tema de la escuela fue "Interoperabilidad semántica en la Web", que abarca temas como datos integración, gestión de datos abiertos, razonamiento sobre datos vinculados, mapeo de base de datos a ontologÃa, respuesta de consultas sobre ontologÃas, razonamiento hÃbrido con reglas y ontologÃas, y sistemas dinámicos basados ​​en ontologÃas. Los artÃculos de este volumen se centran en estos temas y también abordan técnicas de razonamiento fundamental utilizadas en ontologÃas y programación de conjuntos de respuestas. . Nota de contenido: Data Integration for Open Data on the Web -- Ontological Query Answering over Semantic Data -- Ontology Querying: Datalog Strikes Back -- Integrating Relational Databases with the Semantic Web: A Reflection -- Datalog Revisited for Reasoning in Linked Data -- A Tutorial on Hybrid Answer Set Solving with Clingo -- Answer Set Programming with External Source Access -- Uncertainty Reasoning for the Semantic Web -- OBDA for Log Extraction in Process Mining. . Tipo de medio : Computadora Summary : This volume contains the lecture notes of the 13th Reasoning Web Summer School, RW 2017, held in London, UK, in July 2017. In 2017, the theme of the school was "Semantic Interoperability on the Web", which encompasses subjects such as data integration, open data management, reasoning over linked data, database to ontology mapping, query answering over ontologies, hybrid reasoning with rules and ontologies, and ontology-based dynamic systems. The papers of this volume focus on these topics and also address foundational reasoning techniques used in answer set programming and ontologies. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
