Logics in Artificial Intelligence / Faber, Wolfgang ; Friedrich, Gerhard ; Gebser, Martin ; Morak, Michael  

Público ISBD Ningún comentario para este registro. 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 [...]

---

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