| TÃtulo : |
Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday |
| Tipo de documento: |
documento electrónico |
| Autores: |
Lutz, Carsten, ; Sattler, Uli, ; Tinelli, Cesare, ; Turhan, Anni-Yasmin, ; Wolter, Frank, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2019 |
| Número de páginas: |
XIII, 662 p. 1230 ilustraciones, 14 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-22102-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: |
TeorÃa de las máquinas Inteligencia artificial Ciencias de la Computación TecnologÃa de la información IngenierÃa de software Red de computadoras 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 Redes de comunicación informática |
| Clasificación: |
5.131 |
| Resumen: |
Este Festschrift se ha elaborado con motivo del 60 cumpleaños de Franz Baader para celebrar sus contribuciones cientÃficas fundamentales y de gran influencia. Los 30 artÃculos de este volumen cubren varias áreas cientÃficas en las que Franz Baader ha estado trabajando durante las últimas tres décadas, incluidas la lógica de descripción, la reescritura de términos y la combinación de procedimientos de decisión. Esperamos que los lectores disfruten de los artÃculos recopilados en honor de Franz y aprecien la amplitud y profundidad de sus áreas favoritas de la informática. |
| Nota de contenido: |
A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction -- Hierarchic Superposition Revisited -- Theory Combination: Beyond Equality Sharing -- Initial Steps Towards a Family of Regular-Like Plan Description Logics -- Reasoning with Justifiable Exceptions in EL_\bot Contextualized Knowledge Repositories -- Strong Explanations for Nonmonotonic Reasoning -- A KLM Perspective on Defeasible Reasoning for Description Logics -- Temporal Logic Programs with Temporal Description Logic Axioms -- The What-To-Ask Problem for Ontology-Based Peers -- From Model Completeness to Verification of Data Aware Processes -- Situation Calculus meets Description Logics -- Provenance Analysis: A Perspective for Description Logics? -- Extending EL^++ with Linear Constraints on the Probability of Axioms -- Effective query answering with Ontologies and DBoxes -- Checking the Data Complexity of Ontology-Mediated Queries: a Case Study with Non-Uniform CSPs and Polyanna -- Perceptual Contextin Cognitive Hierarchies -- Do Humans Reason with E-Matchers? -- Pseudo-contractions as gentle repairs -- FunDL: A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources -- Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty -- Temporally Attributed Description Logics -- Explaining Axiom Pinpointing -- Asymmetric Unification and Disunification -- Building and Combining Matching Algorithms -- Presburger Concept Cardinality Constraints in Very Expressive Description Logics -- A Note on Unification, Subsumption and Unification Type -- 15 Years of Consequence-Based Reasoning -- Maximum Entropy Calculations for the Probabilistic Description Logic ALC^ME -- Automating Automated Reasoning: The Case of Two Generic Automated Reasoning Tools -- On Bounded-Memory Stream Data Processing with Description Logics. |
| Tipo de medio : |
Computadora |
| Summary : |
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Description Logic, Theory Combination, and All That : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday [documento electrónico] / Lutz, Carsten, ; Sattler, Uli, ; Tinelli, Cesare, ; Turhan, Anni-Yasmin, ; Wolter, Frank, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIII, 662 p. 1230 ilustraciones, 14 ilustraciones en color. ISBN : 978-3-030-22102-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: |
TeorÃa de las máquinas Inteligencia artificial Ciencias de la Computación TecnologÃa de la información IngenierÃa de software Red de computadoras 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 Redes de comunicación informática |
| Clasificación: |
5.131 |
| Resumen: |
Este Festschrift se ha elaborado con motivo del 60 cumpleaños de Franz Baader para celebrar sus contribuciones cientÃficas fundamentales y de gran influencia. Los 30 artÃculos de este volumen cubren varias áreas cientÃficas en las que Franz Baader ha estado trabajando durante las últimas tres décadas, incluidas la lógica de descripción, la reescritura de términos y la combinación de procedimientos de decisión. Esperamos que los lectores disfruten de los artÃculos recopilados en honor de Franz y aprecien la amplitud y profundidad de sus áreas favoritas de la informática. |
| Nota de contenido: |
A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction -- Hierarchic Superposition Revisited -- Theory Combination: Beyond Equality Sharing -- Initial Steps Towards a Family of Regular-Like Plan Description Logics -- Reasoning with Justifiable Exceptions in EL_\bot Contextualized Knowledge Repositories -- Strong Explanations for Nonmonotonic Reasoning -- A KLM Perspective on Defeasible Reasoning for Description Logics -- Temporal Logic Programs with Temporal Description Logic Axioms -- The What-To-Ask Problem for Ontology-Based Peers -- From Model Completeness to Verification of Data Aware Processes -- Situation Calculus meets Description Logics -- Provenance Analysis: A Perspective for Description Logics? -- Extending EL^++ with Linear Constraints on the Probability of Axioms -- Effective query answering with Ontologies and DBoxes -- Checking the Data Complexity of Ontology-Mediated Queries: a Case Study with Non-Uniform CSPs and Polyanna -- Perceptual Contextin Cognitive Hierarchies -- Do Humans Reason with E-Matchers? -- Pseudo-contractions as gentle repairs -- FunDL: A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources -- Some Thoughts on Forward Induction in Multi-Agent-Path Finding Under Destination Uncertainty -- Temporally Attributed Description Logics -- Explaining Axiom Pinpointing -- Asymmetric Unification and Disunification -- Building and Combining Matching Algorithms -- Presburger Concept Cardinality Constraints in Very Expressive Description Logics -- A Note on Unification, Subsumption and Unification Type -- 15 Years of Consequence-Based Reasoning -- Maximum Entropy Calculations for the Probabilistic Description Logic ALC^ME -- Automating Automated Reasoning: The Case of Two Generic Automated Reasoning Tools -- On Bounded-Memory Stream Data Processing with Description Logics. |
| Tipo de medio : |
Computadora |
| Summary : |
This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsquedaDescription Logic, Theory Combination, and All That / Lutz, Carsten ; Sattler, Uli ; Tinelli, Cesare ; Turhan, Anni-Yasmin ; Wolter, Frank
