Información del autor
Autor Turhan, Anni-Yasmin |
Documentos disponibles escritos por este autor (3)
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
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 [...]
TÃtulo : KI 2018: Advances in Artificial Intelligence : 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings / Tipo de documento: documento electrónico Autores: Trollmann, Frank, ; Turhan, Anni-Yasmin, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIV, 424 p. 95 ilustraciones ISBN/ISSN/DL: 978-3-030-00111-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: Algoritmo Aplicación Informática en Tratamiento de Datos Administrativos Sistemas de propósito especial y basados ​​en aplicaciones Inteligencia artificial Gestión Ordenador TecnologÃa de la información Clasificación: 006.3 Resumen: Este libro constituye las actas arbitradas de la 41.ª Conferencia Alemana sobre Inteligencia Artificial, KI 2018, celebrada en BerlÃn, Alemania, en septiembre de 2018. Los 20 artÃculos completos y 14 breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 65 presentaciones. El libro también contiene una charla magistral en papel completo. Los artÃculos se organizaron en secciones temáticas denominadas: razonamiento; sistemas multiagente; robótica; aprendiendo; planificación; Redes neuronales; buscar; revisión de creencias; sistemas conscientes del contexto; y enfoque cognitivo. . Nota de contenido: Keynote Talks -- Keynote: Session-based Recommendation - Challenges and Recent Advances -- Reasoning -- Model Checking for Coalition Announcement Logic -- Fusing First-order Knowledge Compilation and the Lifted Junction Tree Algorithm -- Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm -- Acquisition of Terminological Knowledge in Probabilistic Description Logic -- Multi-Agent Systems -- Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items -- Approximate Probabilistic Parallel Multiset Rewriting using MCMC -- Efficient Auction Based Coordination for Distributed Multi-Agent Planning in Temporal Domains Using Resource Abstraction -- Maximizing Expected Impact in an Agent Reputation Network -- Developing a Distributed Drone Delivery System with a Hybrid Behavior Planning System -- Robotics -- A Sequence-Based Neuronal Model for Mobile Robot Localization -- Acquiring knowledge of object arrangements from human examples for household robots -- Learning -- Solver Tuning and Model Configuration -- Condorcet's Jury Theorem for Consensus Clustering -- Sparse Transfer Classification for Text Documents -- Towards Hypervector Representations for Learning and Planning with Schemas -- LEARNDIAG: A Direct Diagnosis Algorithm Based On Learned Heuristics -- Planning -- Assembly Planning in Cluttered Environments through Heterogeneous Reasoning -- Extracting Planning Operators from Instructional Texts for Behaviour Interpretation -- Risk-Sensitivity in Simulation Based Online Planning -- Neural Networks -- Evolutionary Structure Minimization of Deep Neural Networks for Motion Sensor Data -- Knowledge Sharing For Population Based Neural Network Training -- Limited Evaluation Evolutionary Optimization of Large Neural Networks -- Understanding NLP Neural Networks by the Texts They Generate -- Visual Search Target Inference using Bag of Deep Visual Words -- Analysis and Optimization of Deep Counterfactual Value Networks -- Search. -A Variant ofMonte-Carlo Tree Search for Referring Expression Generation -- Preference-Based Monte Carlo Tree Search -- Belief Revision -- Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence -- Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges -- Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management -- Context Aware Systems -- Bounded-Memory Stream Processing -- An Implementation and Evaluation of User-centered Requirements for Smart In-House Mobility Services -- Cognitive Approach -- Predict the Individual Reasoner: A New Approach -- The Predictive Power of Heuristic Portfolios in Human Syllogistic Reasoning. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 41st German Conference on Artificial Intelligence, KI 2018, held in Berlin, Germany, in September 2018. The 20 full and 14 short papers presented in this volume were carefully reviewed and selected from 65 submissions. The book also contains one keynote talk in full paper length. The papers were organized in topical sections named: reasoning; multi-agent systems; robotics; learning; planning; neural networks; search; belief revision; context aware systems; and cognitive approach. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] KI 2018: Advances in Artificial Intelligence : 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings / [documento electrónico] / Trollmann, Frank, ; Turhan, Anni-Yasmin, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 424 p. 95 ilustraciones.
ISBN : 978-3-030-00111-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: Algoritmo Aplicación Informática en Tratamiento de Datos Administrativos Sistemas de propósito especial y basados ​​en aplicaciones Inteligencia artificial Gestión Ordenador TecnologÃa de la información Clasificación: 006.3 Resumen: Este libro constituye las actas arbitradas de la 41.ª Conferencia Alemana sobre Inteligencia Artificial, KI 2018, celebrada en BerlÃn, Alemania, en septiembre de 2018. Los 20 artÃculos completos y 14 breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 65 presentaciones. El libro también contiene una charla magistral en papel completo. Los artÃculos se organizaron en secciones temáticas denominadas: razonamiento; sistemas multiagente; robótica; aprendiendo; planificación; Redes neuronales; buscar; revisión de creencias; sistemas conscientes del contexto; y enfoque cognitivo. . Nota de contenido: Keynote Talks -- Keynote: Session-based Recommendation - Challenges and Recent Advances -- Reasoning -- Model Checking for Coalition Announcement Logic -- Fusing First-order Knowledge Compilation and the Lifted Junction Tree Algorithm -- Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm -- Acquisition of Terminological Knowledge in Probabilistic Description Logic -- Multi-Agent Systems -- Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items -- Approximate Probabilistic Parallel Multiset Rewriting using MCMC -- Efficient Auction Based Coordination for Distributed Multi-Agent Planning in Temporal Domains Using Resource Abstraction -- Maximizing Expected Impact in an Agent Reputation Network -- Developing a Distributed Drone Delivery System with a Hybrid Behavior Planning System -- Robotics -- A Sequence-Based Neuronal Model for Mobile Robot Localization -- Acquiring knowledge of object arrangements from human examples for household robots -- Learning -- Solver Tuning and Model Configuration -- Condorcet's Jury Theorem for Consensus Clustering -- Sparse Transfer Classification for Text Documents -- Towards Hypervector Representations for Learning and Planning with Schemas -- LEARNDIAG: A Direct Diagnosis Algorithm Based On Learned Heuristics -- Planning -- Assembly Planning in Cluttered Environments through Heterogeneous Reasoning -- Extracting Planning Operators from Instructional Texts for Behaviour Interpretation -- Risk-Sensitivity in Simulation Based Online Planning -- Neural Networks -- Evolutionary Structure Minimization of Deep Neural Networks for Motion Sensor Data -- Knowledge Sharing For Population Based Neural Network Training -- Limited Evaluation Evolutionary Optimization of Large Neural Networks -- Understanding NLP Neural Networks by the Texts They Generate -- Visual Search Target Inference using Bag of Deep Visual Words -- Analysis and Optimization of Deep Counterfactual Value Networks -- Search. -A Variant ofMonte-Carlo Tree Search for Referring Expression Generation -- Preference-Based Monte Carlo Tree Search -- Belief Revision -- Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence -- Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges -- Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management -- Context Aware Systems -- Bounded-Memory Stream Processing -- An Implementation and Evaluation of User-centered Requirements for Smart In-House Mobility Services -- Cognitive Approach -- Predict the Individual Reasoner: A New Approach -- The Predictive Power of Heuristic Portfolios in Human Syllogistic Reasoning. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 41st German Conference on Artificial Intelligence, KI 2018, held in Berlin, Germany, in September 2018. The 20 full and 14 short papers presented in this volume were carefully reviewed and selected from 65 submissions. The book also contains one keynote talk in full paper length. The papers were organized in topical sections named: reasoning; multi-agent systems; robotics; learning; planning; neural networks; search; belief revision; context aware systems; and cognitive approach. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Semantic Technology : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings Tipo de documento: documento electrónico Autores: Wang, Zhe, ; Turhan, Anni-Yasmin, ; Wang, Kewen, ; Zhang, Xiaowang, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIII, 352 p. 97 ilustraciones ISBN/ISSN/DL: 978-3-319-70682-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: Sistemas de almacenamiento y recuperación de información. Inteligencia artificial Software de la aplicacion Procesamiento de datos TeorÃa de las máquinas TecnologÃa de la información Almacenamiento y recuperación de información Aplicaciones informáticas y de sistemas de información MinerÃa de datos y descubrimiento de conocimientos Lenguajes formales y teorÃa de los autómatas Aplicación Informática en Tratamiento de Datos Administrativos Clasificación: 025.04 Resumen: Este libro constituye las actas minuciosamente arbitradas de la Séptima Conferencia Internacional Conjunta sobre TecnologÃa Semántica, JIST 2017, celebrada en Goldcoast, QLD, Australia, en noviembre de 2017. Los 19 artÃculos completos y 4 artÃculos breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 37 presentaciones. Presentan aplicaciones de tecnologÃas semánticas, resultados teóricos, nuevos algoritmos y herramientas para facilitar la adopción de tecnologÃas semánticas y están organizados en secciones temáticas sobre ontologÃa y gestión de datos; razonamiento ontológico; datos vinculados y consulta; recuperación de información y descubrimiento de conocimientos; gráficos de conocimiento; y aplicaciones de tecnologÃas semánticas. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed proceedings of the 7th Joint International Semantic Technology Conference, JIST 2017, held in Goldcoast, QLD, Australia, in November 2017. The 19 full papers and 4 short papers presented were carefully reviewed and selected from 37 submissions. They present applications of semantic technologies, theoretical results, new algorithms and tools to facilitate the adoption of semantic technologies and are organized in topical sections on ontology and data management; ontology reasoning; linked data and query; information retrieval and knowledge discovery; knowledge graphs; and applications of semantic technologies. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Semantic Technology : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings [documento electrónico] / Wang, Zhe, ; Turhan, Anni-Yasmin, ; Wang, Kewen, ; Zhang, Xiaowang, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIII, 352 p. 97 ilustraciones.
ISBN : 978-3-319-70682-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: Sistemas de almacenamiento y recuperación de información. Inteligencia artificial Software de la aplicacion Procesamiento de datos TeorÃa de las máquinas TecnologÃa de la información Almacenamiento y recuperación de información Aplicaciones informáticas y de sistemas de información MinerÃa de datos y descubrimiento de conocimientos Lenguajes formales y teorÃa de los autómatas Aplicación Informática en Tratamiento de Datos Administrativos Clasificación: 025.04 Resumen: Este libro constituye las actas minuciosamente arbitradas de la Séptima Conferencia Internacional Conjunta sobre TecnologÃa Semántica, JIST 2017, celebrada en Goldcoast, QLD, Australia, en noviembre de 2017. Los 19 artÃculos completos y 4 artÃculos breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 37 presentaciones. Presentan aplicaciones de tecnologÃas semánticas, resultados teóricos, nuevos algoritmos y herramientas para facilitar la adopción de tecnologÃas semánticas y están organizados en secciones temáticas sobre ontologÃa y gestión de datos; razonamiento ontológico; datos vinculados y consulta; recuperación de información y descubrimiento de conocimientos; gráficos de conocimiento; y aplicaciones de tecnologÃas semánticas. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed proceedings of the 7th Joint International Semantic Technology Conference, JIST 2017, held in Goldcoast, QLD, Australia, in November 2017. The 19 full papers and 4 short papers presented were carefully reviewed and selected from 37 submissions. They present applications of semantic technologies, theoretical results, new algorithms and tools to facilitate the adoption of semantic technologies and are organized in topical sections on ontology and data management; ontology reasoning; linked data and query; information retrieval and knowledge discovery; knowledge graphs; and applications of semantic technologies. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
