Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Approaches and Applications of Inductive Programming [[electronic resource] ] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers / / edited by Ute Schmid, Emanuel Kitzelmann
| Approaches and Applications of Inductive Programming [[electronic resource] ] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers / / edited by Ute Schmid, Emanuel Kitzelmann |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (IX, 195 p. 14 illus.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Artificial intelligence Mathematical logic Computer logic Application software Computer programming Software Engineering Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Information Systems Applications (incl. Internet) Programming Techniques |
| ISBN |
1-280-38580-4
9786613563729 3-642-11931-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Deriving a Relationship from a Single Example -- Synthesis of Functions Using Generic Programming -- Regular Papers -- Inductive Programming: A Survey of Program Synthesis Techniques -- Incremental Learning in Inductive Programming -- Enumerating Well-Typed Terms Generically -- Generalisation Operators for Lists Embedded in a Metric Space -- Porting IgorII from Maude to Haskell -- Automated Method Induction: Functional Goes Object Oriented -- Recent Improvements of MagicHaskeller. |
| Record Nr. | UNISA-996465340903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Handbuch der Künstlichen Intelligenz / / Günther Görz, Ute Schmid, Tanya Braun
| Handbuch der Künstlichen Intelligenz / / Günther Görz, Ute Schmid, Tanya Braun |
| Edizione | [6. Auflage] |
| Pubbl/distr/stampa | Berlin ; ; Boston : , : De Gruyter, , [2020] |
| Descrizione fisica | 1 online resource (XX, 956 p.) |
| ISBN | 3-11-065994-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Frontmatter -- Vorwort -- Inhalt -- 1 Einleitung -- 2 Wissensrepräsentation und -verarbeitung -- 3 Suche -- 4 Wissen über Raum und Zeit -- 5 Automatische Inferenz -- 6 Nichtmonotones Schließen -- 7 Kognition -- 8 Unsicheres, impräzises und unscharfes Wissen -- 9 Fallbasiertes Schließen -- 10 Planen -- 11 Grundlagen des Maschinellen Lernens -- 12 Tiefe neuronale Netze -- 13 Vertrauenswürdiges, transparentes und robustesMaschinelles Lernen -- 14 Sprachverarbeitung -- 15 Bildanalyse -- 16 Constraints -- 17 Multiagentensysteme -- 18 Semantic Web -- 19 Universelle Spielprogramme -- 20 Assistenzsysteme -- 21 Ethische Fragen der Künstlichen Intelligenz -- Beteiligte -- Stichwortverzeichnis |
| Record Nr. | UNINA-9910554273303321 |
| Berlin ; ; Boston : , : De Gruyter, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
KI 2020 : advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings / / Ute Schmid, Franziska Klugl, Diedrich Wolter (eds.)
| KI 2020 : advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings / / Ute Schmid, Franziska Klugl, Diedrich Wolter (eds.) |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XIII, 360 p. 33 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-030-58285-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Two Algorithms for Additive and Fair Division of Mixed Manna -- Dynamic Play via Suit Factorization Search in Skat -- Dynamic Channel and Layer Gating in Convolutional Neural Network -- Contour-based Segmentation of Historical Printings -- Hybrid Ranking and Regression for Algorithm Selection -- Conditional Reasoning and Relevance -- HTN Plan Repair via Model Transformation -- Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds -- Positive Free Higher-Order Logic and its Automation via a Semantical Embedding -- Low-Rank Subspace Override for Unsupervised Domain Adaptation -- Expressive Explanations of DNNs by Combining Concept Analysis with ILP -- Stable Resolving - A Randomized Local Search Heuristic for MaxSAT -- A Virtual Caregiver for Assisted Daily Living of Pre-Frail Users -- Exploring the Effects of Role Design on Agent Learning -- Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation -- Multi-Agent Path Finding Modulo Theory with Continuous Movements and the Sum of Costs Objective -- Meta-Induction, Probability Aggregation, and Optimal Scoring -- Cones, Negation, and All That -- Swarm-based Cluster Analysis for Knowledge Discovery -- Draw with Me: Human-in-the-Loop for Image Restoration -- Reasonable Machines: A Research Manifesto -- A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty -- Earnings Prediction with Deep Leaning -- Integrating Keywords into BERT4Rec for Sequential Recommendation -- Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic -- Conformal Rule-Based Multi-label Classification -- Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem -- Fast Pathfinding in Knowledge Graphs Using Word Embeddings -- A Visually Explainable Learning System for Skin Lesion Detection Using Multiscale Input with Attention U-Net -- Evaluation of Deep Learning Accelerators for Object Detection at the Edge.-Learning Choice Functions via Pareto-Embeddings -- Simulation-Based Validation of Robot Commands for Force-based Robot Motions -- Firefighter Virtual Reality Simulation for Personalized Stress Detection -- The AI Domain Definition Language (AIDDL) for Integrated Systems. |
| Record Nr. | UNINA-9910427717703321 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
KI 2020 : advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings / / Ute Schmid, Franziska Klugl, Diedrich Wolter (eds.)
| KI 2020 : advances in artificial intelligence : 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020, Proceedings / / Ute Schmid, Franziska Klugl, Diedrich Wolter (eds.) |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XIII, 360 p. 33 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-030-58285-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Two Algorithms for Additive and Fair Division of Mixed Manna -- Dynamic Play via Suit Factorization Search in Skat -- Dynamic Channel and Layer Gating in Convolutional Neural Network -- Contour-based Segmentation of Historical Printings -- Hybrid Ranking and Regression for Algorithm Selection -- Conditional Reasoning and Relevance -- HTN Plan Repair via Model Transformation -- Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds -- Positive Free Higher-Order Logic and its Automation via a Semantical Embedding -- Low-Rank Subspace Override for Unsupervised Domain Adaptation -- Expressive Explanations of DNNs by Combining Concept Analysis with ILP -- Stable Resolving - A Randomized Local Search Heuristic for MaxSAT -- A Virtual Caregiver for Assisted Daily Living of Pre-Frail Users -- Exploring the Effects of Role Design on Agent Learning -- Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation -- Multi-Agent Path Finding Modulo Theory with Continuous Movements and the Sum of Costs Objective -- Meta-Induction, Probability Aggregation, and Optimal Scoring -- Cones, Negation, and All That -- Swarm-based Cluster Analysis for Knowledge Discovery -- Draw with Me: Human-in-the-Loop for Image Restoration -- Reasonable Machines: A Research Manifesto -- A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty -- Earnings Prediction with Deep Leaning -- Integrating Keywords into BERT4Rec for Sequential Recommendation -- Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic -- Conformal Rule-Based Multi-label Classification -- Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem -- Fast Pathfinding in Knowledge Graphs Using Word Embeddings -- A Visually Explainable Learning System for Skin Lesion Detection Using Multiscale Input with Attention U-Net -- Evaluation of Deep Learning Accelerators for Object Detection at the Edge.-Learning Choice Functions via Pareto-Embeddings -- Simulation-Based Validation of Robot Commands for Force-based Robot Motions -- Firefighter Virtual Reality Simulation for Personalized Stress Detection -- The AI Domain Definition Language (AIDDL) for Integrated Systems. |
| Record Nr. | UNISA-996418306603316 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||