ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • artificial intelligence
  • thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
  • Springer  (75)
  • American Chemical Society (ACS)
  • American Institute of Physics (AIP)
  • 2020-2024  (39)
  • 2015-2019
  • 1985-1989  (36)
  • 1950-1954
Sammlung
Schlagwörter
Verlag/Herausgeber
Sprache
Erscheinungszeitraum
Jahr
  • 1
    facet.materialart.
    Unbekannt
    Metalearning (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book as one of the fastest-growing areas of research in machine learning, metalearning studies principled methods to obtain efficient models and solutions by adapting machine learning and data mining processes. This adaptation usually exploits information from past experience on other tasks and the adaptive processes can involve machine learning approaches. As a related area to metalearning and a hot topic currently, automated machine learning (AutoML) is concerned with automating the machine learning processes. Metalearning and AutoML can help AI learn to control the application of different learning methods and acquire new solutions faster without unnecessary interventions from the user. This book offers a comprehensive and thorough introduction to almost all aspects of metalearning and AutoML, covering the basic concepts and architecture, evaluation, datasets, hyperparameter optimization, ensembles and workflows, and also how this knowledge can be used to select, combine, compose, adapt and configure both algorithms and models to yield faster and better solutions to data mining and data science problems. It can thus help developers to develop systems that can improve themselves through experience. This book is a substantial update of the first edition published in 2009. It includes 18 chapters, more than twice as much as the previous version. This enabled the authors to cover the most relevant topics in more depth and incorporate the overview of recent research in the respective area. The book will be of interest to researchers and graduate students in the areas of machine learning, data mining, data science and artificial intelligence. ; Metalearning is the study of principled methods that exploit metaknowledge to obtain efficient models and solutions by adapting machine learning and data mining processes. While the variety of machine learning and data mining techniques now available can, in principle, provide good model solutions, a methodology is still needed to guide the search for the most appropriate model in an efficient way. Metalearning provides one such methodology that allows systems to become more effective through experience. This book discusses several approaches to obtaining knowledge concerning the performance of machine learning and data mining algorithms. It shows how this knowledge can be reused to select, combine, compose and adapt both algorithms and models to yield faster, more effective solutions to data mining problems. It can thus help developers improve their algorithms and also develop learning systems that can improve themselves. The book will be of interest to researchers and graduate students in the areas of machine learning, data mining and artificial intelligence.
    Schlagwort(e): Metalearning ; Automating Machine Learning (AutoML) ; Machine Learning ; Artificial Intelligence ; algorithm selection ; algorithm recommendation ; algorithm configuration ; hyperparameter optimization ; automating the workflow/pipeline design ; metalearning in ensemble construction ; metalearning in deep neural networks ; transfer learning ; algorithm recommendation for data streams ; automating data science ; Open Access ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Sprache: Englisch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 2
    facet.materialart.
    Unbekannt
    Digital Interaction and Machine Intelligence (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This book is open access, which means that you have free and unlimited access. This book presents the Proceedings of the 9th Machine Intelligence and Digital Interaction Conference. Significant progress in the development of artificial intelligence (AI) and its wider use in many interactive products are quickly transforming further areas of our life, which results in the emergence of various new social phenomena. Many countries have been making efforts to understand these phenomena and find answers on how to put the development of artificial intelligence on the right track to support the common good of people and societies. These attempts require interdisciplinary actions, covering not only science disciplines involved in the development of artificial intelligence and human-computer interaction but also close cooperation between researchers and practitioners. For this reason, the main goal of the MIDI conference held on 9-10.12.2021 as a virtual event is to integrate two, until recently, independent fields of research in computer science: broadly understood artificial intelligence and human-technology interaction.
    Schlagwort(e): Computational Intelligence ; AI ; MIDI 2021 ; MIDI ; Machine Intelligence ; Digital Interaction ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 3
    facet.materialart.
    Unbekannt
    Cyber Security (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the refereed proceedings of the 18th China Annual Conference on Cyber Security, CNCERT 2022, held in Beijing, China, in August 2022. The 17 papers presented were carefully reviewed and selected from 64 submissions. The papers are organized according to the following topical sections: ​​data security; anomaly detection; cryptocurrency; information security; vulnerabilities; mobile internet; threat intelligence; text recognition.
    Schlagwort(e): application service layer ; artificial intelligence ; communication systems ; computer crime ; computer networks ; computer security ; computer systems ; cryptography ; cyber security ; data communication systems ; data security ; databases ; machine learning ; network protocols ; network security ; privacy ; signal processing ; telecommunication networks ; telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBL Digital and information technologies: Legal aspects ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications::UTN Network security
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 4
    facet.materialart.
    Unbekannt
    Vector Semantics (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book introduces Vector semantics, which links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning researchers who developed word vectors have relied primarily on the ever-increasing availability of large corpora and of computers with highly parallel GPU and TPU compute engines, and their focus is with endowing computers with natural language capabilities for practical applications such as machine translation or question answering. Cognitive linguists investigate natural language from the perspective of human cognition, the relation between language and thought, and questions about conceptual universals, relying primarily on in-depth investigation of language in use. In spite of the fact that these two schools both have ‘linguistics’ in their name, so far there has been very limited communication between them, as their historical origins, data collection methods, and conceptual apparatuses are quite different. Vector semantics bridges the gap by presenting a formal theory, cast in terms of linear polytopes, that generalizes both word vectors and conceptual structures, by treating each dictionary definition as an equation, and the entire lexicon as a set of equations mutually constraining all meanings.
    Schlagwort(e): Semantics ; Natural Language Processing ; Computational Linguistics ; Artificial Intelligence ; explainable AI ; Artificial Neural Nets ; lexical semantics ; word vectors ; embeddings ; dynamic embeddings ; algebraic semantic ; knowledge bases ; machine learning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFX Computational and corpus linguistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 5
    facet.materialart.
    Unbekannt
    Statistical Foundations of Actuarial Learning and its Applications (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-04
    Beschreibung: This open access book discusses the statistical modeling of insurance problems, a process which comprises data collection, data analysis and statistical model building to forecast insured events that may happen in the future. It presents the mathematical foundations behind these fundamental statistical concepts and how they can be applied in daily actuarial practice. Statistical modeling has a wide range of applications, and, depending on the application, the theoretical aspects may be weighted differently: here the main focus is on prediction rather than explanation. Starting with a presentation of state-of-the-art actuarial models, such as generalized linear models, the book then dives into modern machine learning tools such as neural networks and text recognition to improve predictive modeling with complex features. Providing practitioners with detailed guidance on how to apply machine learning methods to real-world data sets, and how to interpret the results without losing sight of the mathematical assumptions on which these methods are based, the book can serve as a modern basis for an actuarial education syllabus.
    Schlagwort(e): Deep Learning ; Actuarial Modeling ; Pricing and Claims Reserving ; Artificial Neural Networks ; Regression Modeling ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 6
    facet.materialart.
    Unbekannt
    Intelligent Systems for Sustainable Person-Centered Healthcare (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book establishes a dialog among the medical and intelligent system domains for igniting transition toward a sustainable and cost-effective healthcare. The Person-Centered Care (PCC) positions a person in the center of a healthcare system, instead of defining a patient as a set of diagnoses and treatment episodes. The PCC-based conceptual background triggers enhanced application of Artificial Intelligence, as it dissolves the limits of processing traditional medical data records, clinical tests and surveys. Enhanced knowledge for diagnosing, treatment and rehabilitation is captured and utilized by inclusion of data sources characterizing personal lifestyle, and health literacy, and it involves insights derived from smart ambience and wearables data, community networks, and the caregivers’ feedback. The book discusses intelligent systems and their applications for healthcare data analysis, decision making and process design tasks. The measurement systems and efficiency evaluation models analyze ability of intelligent healthcare system to monitor person health and improving quality of life.
    Schlagwort(e): Person-centered Healthcare Model ; Heterogeneous Healthcare Data ; Remote Care Feedback Mechanisms ; Monitoring Health Status ; Data-driven Decision Making for Person Health ; Efficiency of Healthcare ; Quality of Person-centered Care ; Big Data for Personal Self-sustainment ; Open Access ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::M Medicine and Nursing::MQ Nursing and ancillary services::MQW Biomedical engineering
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 7
    facet.materialart.
    Unbekannt
    Haptics: Science, Technology, Applications (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, held in Hamburg, Germany, in May 2022. The 36 regular papers included in this book were carefully reviewed and selected from 129 submissions. They were organized in topical sections as follows: haptic science; haptic technology; and haptic applications.
    Schlagwort(e): communication systems ; computer networks ; data communication systems ; haptic interfaces ; human engineering ; Human-Computer Interaction (HCI) ; mobile computing ; mobile devices ; network protocols ; rehabilitation systems ; robotics ; signal processing ; telecommunication networks ; telecommunication systems ; user interfaces ; virtual reality ; wireless telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 8
    facet.materialart.
    Unbekannt
    Computer Aided Verification (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Schlagwort(e): architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; mathematics ; model checking ; programming languages ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; verification ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 9
    facet.materialart.
    Unbekannt
    Automated Reasoning (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.
    Schlagwort(e): artificial intelligence ; automata theory ; computer hardware ; computer networks ; computer programming ; computer systems ; embedded systems ; formal languages ; formal logic ; logic programming ; network protocols ; semantics ; software architecture ; software design ; software engineering ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 10
    facet.materialart.
    Unbekannt
    Multi-Winner Voting with Approval Preferences (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: From fundamental concepts and results to recent advances in computational social choice, this open access book provides a thorough and in-depth look at multi-winner voting based on approval preferences. The main focus is on axiomatic analysis, algorithmic results and several applications that are relevant in artificial intelligence, computer science and elections of any kind. What is the best way to select a set of candidates for a shortlist, for an executive committee, or for product recommendations? Multi-winner voting is the process of selecting a fixed-size set of candidates based on the preferences expressed by the voters. A wide variety of decision processes in settings ranging from politics (parliamentary elections) to the design of modern computer applications (collaborative filtering, dynamic Q&A platforms, diversity in search results, etc.) share the problem of identifying a representative subset of alternatives. The study of multi-winner voting provides the principled analysis of this task. Approval-based committee voting rules (in short: ABC rules) are multi-winner voting rules particularly suitable for practical use. Their usability is founded on the straightforward form in which the voters can express preferences: voters simply have to differentiate between approved and disapproved candidates. Proposals for ABC rules are numerous, some dating back to the late 19th century while others have been introduced only very recently. This book explains and discusses these rules, highlighting their individual strengths and weaknesses. With the help of this book, the reader will be able to choose a suitable ABC voting rule in a principled fashion, participate in, and be up to date with the ongoing research on this topic.
    Schlagwort(e): Multi-Winner Voting ; Computational Social Choice ; Approval-Based Committee (ABC) Voting ; ABC Rules ; Proportionality ; Fairness Axioms ; Strategic Voting ; Collective Decisions ; Artificial Intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCA Economic theory and philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 11
    facet.materialart.
    Unbekannt
    Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This two-volume set LNCS 12962 and 12963 constitutes the thoroughly refereed proceedings of the 7th International MICCAI Brainlesion Workshop, BrainLes 2021, as well as the RSNA-ASNR-MICCAI Brain Tumor Segmentation (BraTS) Challenge, the Federated Tumor Segmentation (FeTS) Challenge, the Cross-Modality Domain Adaptation (CrossMoDA) Challenge, and the challenge on Quantification of Uncertainties in Biomedical Image Quantification (QUBIQ). These were held jointly at the 23rd Medical Image Computing for Computer Assisted Intervention Conference, MICCAI 2020, in September 2021. The 91 revised papers presented in these volumes were selected form 151 submissions. Due to COVID-19 pandemic the conference was held virtually. This is an open access book.
    Schlagwort(e): artificial intelligence ; bioinformatics ; computer science ; computer systems ; computer vision ; education ; image analysis ; image processing ; image segmentation ; learning ; machine learning ; medical images ; neural networks ; pattern recognition ; segmentation methods ; software design ; software engineering ; software quality ; validation ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 12
    facet.materialart.
    Unbekannt
    Computer Aided Verification (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Schlagwort(e): architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; databases ; distributed computer systems ; embedded systems ; engineering ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 13
    facet.materialart.
    Unbekannt
    AI in Learning: Designing the Future (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-03-29
    Beschreibung: AI (Artificial Intelligence) is predicted to radically change teaching and learning in both schools and industry causing radical disruption of work. AI can support well-being initiatives and lifelong learning but educational institutions and companies need to take the changing technology into account. Moving towards AI supported by digital tools requires a dramatic shift in the concept of learning, expertise and the businesses built off of it. Based on the latest research on AI and how it is changing learning and education, this book will focus on the enormous opportunities to expand educational settings with AI for learning in and beyond the traditional classroom. This open access book also introduces ethical challenges related to learning and education, while connecting human learning and machine learning. This book will be of use to a variety of readers, including researchers, AI users, companies and policy makers.
    Schlagwort(e): artificial intelligence ; life-long learning ; tutoring ; virtual learning ; learning analytics ; well-being ; simulations ; games ; intelligent digital tools ; deep learning ; robotics ; human-machine interaction ; bic Book Industry Communication::J Society & social sciences::JM Psychology ; bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::H Humanities::HP Philosophy::HPM Philosophy of mind ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::J Society and Social Sciences::JM Psychology ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTM Philosophy of mind ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 14
    facet.materialart.
    Unbekannt
    Artificial Intelligence for a Better Future (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book proposes a novel approach to Artificial Intelligence (AI) ethics. AI offers many advantages: better and faster medical diagnoses, improved business processes and efficiency, and the automation of boring work. But undesirable and ethically problematic consequences are possible too: biases and discrimination, breaches of privacy and security, and societal distortions such as unemployment, economic exploitation and weakened democratic processes. There is even a prospect, ultimately, of super-intelligent machines replacing humans. The key question, then, is: how can we benefit from AI while addressing its ethical problems? This book presents an innovative answer to the question by presenting a different perspective on AI and its ethical consequences. Instead of looking at individual AI techniques, applications or ethical issues, we can understand AI as a system of ecosystems, consisting of numerous interdependent technologies, applications and stakeholders. Developing this idea, the book explores how AI ecosystems can be shaped to foster human flourishing. Drawing on rich empirical insights and detailed conceptual analysis, it suggests practical measures to ensure that AI is used to make the world a better place.
    Schlagwort(e): Artificial Intelligence ; Ethics ; Computers and Society ; Philosophy of Technology ; Business Ethics ; Applied Ethics ; Ethics of Technology ; Computer Ethics ; Information Ethics ; Responsible Research and Innovation ; Innovation Ecosystem ; Engineering Ethics ; Corporate Social Responsibility ; Open Access ; Ethics & moral philosophy ; Ethical & social aspects of IT ; Philosophy ; Business ethics & social responsibility ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBJ Digital and information technologies: social and ethical aspects ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJG Business ethics and social responsibility
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 15
    facet.materialart.
    Unbekannt
    Big Data in Bioeconomy (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This edited open access book presents the comprehensive outcome of The European DataBio Project, which examined new data-driven methods to shape a bioeconomy. These methods are used to develop new and sustainable ways to use forest, farm and fishery resources. As a European initiative, the goal is to use these new findings to support decision-makers and producers – meaning farmers, land and forest owners and fishermen. With their 27 pilot projects from 17 countries, the authors examine important sectors and highlight examples where modern data-driven methods were used to increase sustainability. How can farmers, foresters or fishermen use these insights in their daily lives? The authors answer this and other questions for our readers. The first four parts of this book give an overview of the big data technologies relevant for optimal raw material gathering. The next three parts put these technologies into perspective, by showing useable applications from farming, forestry and fishery. The final part of this book gives a summary and a view on the future. With its broad outlook and variety of topics, this book is an enrichment for students and scientists in bioeconomy, biodiversity and renewable resources.
    Schlagwort(e): Data-driven bioeconomy ; big data ; artificial intelligence ; agriculture ; forestry ; earth observation ; satellite images ; fishery ; open access ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVR Forestry and silviculture ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 16
    facet.materialart.
    Unbekannt
    Programming Languages and Systems (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Schlagwort(e): Programming Languages, Compilers, Interpreters ; Natural Language Processing (NLP) ; Software Engineering ; Logics and Meanings of Programs ; Computer Systems Organization and Communication Networks ; Compilers and Interpreters ; Computer Science Logic and Foundations of Programming ; Computer Engineering and Networks ; computer programming ; concurrency theory ; distributed computer systems ; formal logic ; lamdba calculi ; linguistics ; logic ; object-oriented programming ; parallel processing systems ; probabilistic programming ; process calculi ; program compilers ; semantics ; software design ; software quality ; theory ; types ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Natural language & machine translation ; Computer programming / software engineering ; Computer architecture & logic design ; Computer networking & communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 17
    facet.materialart.
    Unbekannt
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Schlagwort(e): Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 18
    facet.materialart.
    Unbekannt
    Graph Structures for Knowledge Representation and Reasoning (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.
    Schlagwort(e): Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Computer Communication Networks ; Mathematical Logic and Formal Languages ; Computer and Information Systems Applications ; Formal Languages and Automata Theory ; open access ; concept lattices ; data mining ; databases ; fca ; formal concept analysis ; formal languages ; formal logic ; information analysis ; information systems ; knowledge-based system ; model-based reasoning ; network protocols ; ontologies ; Information retrieval ; Internet searching ; Network hardware ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 19
    facet.materialart.
    Unbekannt
    The Impact of Digital Technologies on Public Health in Developed and Developing Countries (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic.
    Schlagwort(e): Computer Communication Networks ; Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Special Purpose and Application-Based Systems ; Computer System Implementation ; User Interfaces and Human Computer Interaction ; Computer and Information Systems Applications ; open access ; artificial intelligence ; communication systems ; computer vision ; databases ; hci ; human-computer interaction ; image processing ; Internet of Things ; IoT ; machine learning ; network protocols ; sensors ; signal processing ; software architecture ; software design ; telecommunication networks ; telecommunication systems ; user interfaces ; wireless telecommunication systems ; Network hardware ; Artificial intelligence ; Information retrieval ; Internet searching ; Expert systems / knowledge-based systems ; Systems analysis & design ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 20
    facet.materialart.
    Unbekannt
    Concepts in Action (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-03-24
    Beschreibung: This open access book is a timely contribution in presenting recent issues, approaches, and results that are not only central to the highly interdisciplinary field of concept research but also particularly important to newly emergent paradigms and challenges. The contributors present a unique, holistic picture for the understanding and use of concepts from a wide range of fields including cognitive science, linguistics, philosophy, psychology, artificial intelligence, and computer science. The chapters focus on three distinct points of view that lie at the core of concept research: representation, learning, and application. The contributions present a combination of theoretical, experimental, computational, and applied methods that appeal to students and researchers working in these fields.
    Schlagwort(e): Conceptual Spaces ; Concept and Representation ; Learning, Language and Application ; Robotics and Typicality ; Compositionality and Concepts ; Concept Research ; Concept Research and Machine Learning ; thema EDItEUR::C Language and Linguistics::CB Language: reference and general::CBX Language: history and general works ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTM Philosophy of mind ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic
    Sprache: Englisch
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 21
    facet.materialart.
    Unbekannt
    Brain-Inspired Computing (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes revised selected papers from the 4th International Workshop on Brain-Inspired Computing, BrainComp 2019, held in Cetraro, Italy, in July 2019. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They deal with research on brain atlasing, multi-scale models and simulation, HPC and data infra-structures for neuroscience as well as artificial and natural neural architectures.
    Schlagwort(e): artificial intelligence ; communication systems ; computer hardware ; computer networks ; computer programming ; computer systems ; computer vision ; deep learning ; distributed computer systems ; image analysis ; image processing ; machine learning ; network protocols ; neural networks ; signal processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 22
    facet.materialart.
    Unbekannt
    Knowledge Graphs and Big Data Processing (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book is part of the LAMBDA Project (Learning, Applying, Multiplying Big Data Analytics), funded by the European Union, GA No. 809965. Data Analytics involves applying algorithmic processes to derive insights. Nowadays it is used in many industries to allow organizations and companies to make better decisions as well as to verify or disprove existing theories or models. The term data analytics is often used interchangeably with intelligence, statistics, reasoning, data mining, knowledge discovery, and others. The goal of this book is to introduce some of the definitions, methods, tools, frameworks, and solutions for big data processing, starting from the process of information extraction and knowledge representation, via knowledge processing and analytics to visualization, sense-making, and practical applications. Each chapter in this book addresses some pertinent aspect of the data processing chain, with a specific focus on understanding Enterprise Knowledge Graphs, Semantic Big Data Architectures, and Smart Data Analytics solutions. This book is addressed to graduate students from technical disciplines, to professional audiences following continuous education short courses, and to researchers from diverse areas following self-study courses. Basic skills in computer science, mathematics, and statistics are required.
    Schlagwort(e): Database Management ; Information Systems Applications (incl. Internet) ; Logic in AI ; Computer Appl. in Administrative Data Processing ; Business Information Systems ; Computer and Information Systems Applications ; Computer Application in Administrative Data Processing ; artificial intelligence ; big data ; data analytics ; data handling ; data integration ; data mining ; databases ; digital storage ; domain knowledge ; graph theory ; information management ; information technology ; integrated data ; internet ; knowledge management ; knowledge-based system ; ontologies ; semantics ; Databases ; Database programming ; Information retrieval ; Internet searching ; Artificial intelligence ; Public administration ; Information technology: general issues ; Business mathematics & systems ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 23
    facet.materialart.
    Unbekannt
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Schlagwort(e): Software Engineering ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 24
    facet.materialart.
    Unbekannt
    Foundations of Software Science and Computation Structures (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Schlagwort(e): Mathematical Logic and Formal Languages ; Theory of Computation ; Natural Language Processing (NLP) ; Database Management ; Programming Techniques ; Formal Languages and Automata Theory ; automata theory ; databases ; formal languages ; formal logic ; computational linguistics ; open access ; semantics ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; logical foundations of data bases ; models of software security ; logical aspects of computation complexity ; logics of programming ; Mathematical theory of computation ; Computer science ; Natural language & machine translation ; Database programming ; Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 25
    facet.materialart.
    Unbekannt
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
    Schlagwort(e): Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 26
    facet.materialart.
    Unbekannt
    On the path to AI (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2021-02-10
    Beschreibung: This open access book explores machine learning and its impact on how we make sense of the world. It does so by bringing together two ‘revolutions’ in a surprising analogy: the revolution of machine learning, which has placed computing on the path to artificial intelligence, and the revolution in thinking about the law that was spurred by Oliver Wendell Holmes Jr in the last two decades of the 19th century. Holmes reconceived law as prophecy based on experience, prefiguring the buzzwords of the machine learning age—prediction based on datasets. On the path to AI introduces readers to the key concepts of machine learning, discusses the potential applications and limitations of predictions generated by machines using data, and informs current debates amongst scholars, lawyers and policy makers on how it should be used and regulated wisely. Technologists will also find useful lessons learned from the last 120 years of legal grappling with accountability, explainability, and biased data.
    Schlagwort(e): Science and Technology Studies ; Human Geography ; IT Law, Media Law, Intellectual Property ; Artificial Intelligence ; AI ; Machine learning ; artificial intelligence ; 'big data' ; probability theory ; history of ideas ; legal interpretation ; Transhumanism ; Futurism ; Oliver Wendell Holmes Jr ; Wendell Holmes Jr. ; legal philosophy ; machine bias ; algorithmic bias ; Open Access ; Sociology ; Human geography ; Entertainment & media law ; Artificial intelligence ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNJ Entertainment & media law ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 27
    facet.materialart.
    Unbekannt
    Advances in Intelligent Data Analysis XVIII (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in Konstanz, Germany, in April 2020. The 45 full papers presented in this volume were carefully reviewed and selected from 114 submissions. Advancing Intelligent Data Analysis requires novel, potentially game-changing ideas. IDA’s mission is to promote ideas over performance: a solid motivation can be as convincing as exhaustive empirical evaluation.
    Schlagwort(e): Database Management ; Data Mining and Knowledge Discovery ; Computing Milieux ; Machine Learning ; Computer Systems Organization and Communication Networks ; open access ; data mining ; learning systems ; classification ; clustering ; semantics ; learning algorithms ; supervised learning ; association rules ; social networks ; graphic methods ; neural networks ; artificial intelligence ; computer vision ; correlation analysis ; databases ; education ; engineering ; graph theory ; image analysis ; Databases ; Database programming ; Data mining ; Expert systems / knowledge-based systems ; Information technology: general issues ; Machine learning ; Computer networking & communications ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 28
    facet.materialart.
    Unbekannt
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book.
    Schlagwort(e): architecture verification ; artificial intelligence ; automata theory ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; formal methods ; model checking ; software architecture ; software design ; software engineering ; software quality ; temporal logic ; verification techniques ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 29
    facet.materialart.
    Unbekannt
    Smart Technologies for Precision Assembly (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the refereed post-conference proceedings of the 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, held virtually in December 2020. The 16 revised full papers and 10 revised short papers presented together with 1 keynote paper were carefully reviewed and selected from numerous submissions. The papers address topics such as assembly design and planning; assembly operations; assembly cells and systems; human centred assembly; and assistance methods in assembly.
    Schlagwort(e): Computer Applications ; Special Purpose and Application-Based Systems ; User Interfaces and Human Computer Interaction ; Robotics ; Computer and Information Systems Applications ; open access ; artificial intelligence ; computer vision ; hci ; human engineering ; human-computer interaction ; image processing ; manipulators ; mobile robots ; motion planning ; network protocols ; robots ; sensors ; signal processing ; software engineering ; telecommunication networks ; user interfaces ; Information technology: general issues ; Expert systems / knowledge-based systems ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 30
    facet.materialart.
    Unbekannt
    AI based Robot Safe Learning and Control (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-11
    Beschreibung: This open access book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic neural network, which is an important theoretical branch of deep reinforcement learning. In order to enhance the safety performance of robot systems, the control strategies include adaptive tracking control for robots with model uncertainties, compliance control in uncertain environments, obstacle avoidance in dynamic workspace. The idea for this book on solving safe control of robot arms was conceived during the industrial applications and the research discussion in the laboratory. Most of the materials in this book are derived from the authors’ papers published in journals, such as IEEE Transactions on Industrial Electronics, neurocomputing, etc. This book can be used as a reference book for researcher and designer of the robotic systems and AI based controllers, and can also be used as a reference book for senior undergraduate and graduate students in colleges and universities.
    Schlagwort(e): Robotics and Automation ; Control and Systems Theory ; Artificial Intelligence ; Robotic Engineering ; Safe Control ; Deep Reinforcement Learning ; Recurrent Neural Network ; Force Control ; Obstacle Ovoidance ; Adaptive Control ; Trajectory Tracking ; Open Access ; Robotics ; Automatic control engineering ; Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering::TJFM1 Robotics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 31
    facet.materialart.
    Unbekannt
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
    Schlagwort(e): Software Engineering ; Special Purpose and Application-Based Systems ; Control Structures and Microprogramming ; Computer System Implementation ; Information Systems and Communication Service ; Artificial Intelligence ; open access ; software engineering ; requirements engineering ; model-based design ; software analysis ; testing ; software architectures ; security ; model transformations ; software evolution ; software product lines ; architecting ; artificial intelligence ; computer programming ; computer systems ; embedded systems ; mathematics ; software architecture ; software design ; Expert systems / knowledge-based systems ; Algorithms & data structures ; Systems analysis & design ; Computer networking & communications ; Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 32
    facet.materialart.
    Unbekannt
    Programming Languages and Systems (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Schlagwort(e): Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Information Systems and Communication Service ; Natural Language Processing (NLP) ; Theory of Computation ; artificial intelligence ; computer networks ; computer programming ; computer security ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; object-oriented programming ; parallel processing systems ; program compilers ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Computer networking & communications ; Algorithms & data structures ; Natural language & machine translation ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 33
    facet.materialart.
    Unbekannt
    Representation Learning for Natural Language Processing (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book provides an overview of the recent advances in representation learning theory, algorithms and applications for natural language processing (NLP). It is divided into three parts. Part I presents the representation learning techniques for multiple language entries, including words, phrases, sentences and documents. Part II then introduces the representation techniques for those objects that are closely related to NLP, including entity-based world knowledge, sememe-based linguistic knowledge, networks, and cross-modal entries. Lastly, Part III provides open resource tools for representation learning techniques, and discusses the remaining challenges and future research directions. The theories and algorithms of representation learning presented can also benefit other related domains such as machine learning, social network analysis, semantic Web, information retrieval, data mining and computational biology. This book is intended for advanced undergraduate and graduate students, post-doctoral fellows, researchers, lecturers, and industrial engineers, as well as anyone interested in representation learning and natural language processing.
    Schlagwort(e): Natural Language Processing (NLP) ; Computational Linguistics ; Artificial Intelligence ; Data Mining and Knowledge Discovery ; Open Access ; Deep Learning ; Representation Learning ; Knowledge Representation ; Word Representation ; Document Representation ; Big Data ; Machine Learning ; Natural Language Processing ; Natural language & machine translation ; Computational linguistics ; Artificial intelligence ; Data mining ; Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFX Computational and corpus linguistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 34
    facet.materialart.
    Unbekannt
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
    Schlagwort(e): architecture verification ; artificial intelligence ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; formal methods ; formal verifications ; model checker ; model checking ; signal processing ; software architecture ; software design ; software engineering ; software quality ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 35
    facet.materialart.
    Unbekannt
    An Introduction to Ethics in Robotics and AI (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-08
    Beschreibung: This open access book introduces the reader to the foundations of AI and ethics. It discusses issues of trust, responsibility, liability, privacy and risk. It focuses on the interaction between people and the AI systems and Robotics they use. Designed to be accessible for a broad audience, reading this book does not require prerequisite technical, legal or philosophical expertise. Throughout, the authors use examples to illustrate the issues at hand and conclude the book with a discussion on the application areas of AI and Robotics, in particular autonomous vehicles, automatic weapon systems and biased algorithms. A list of questions and further readings is also included for students willing to explore the topic further.
    Schlagwort(e): Engineering Ethics ; Robotics ; Applied Psychology ; Moral Philosophy and Applied Ethics ; Behavioral Sciences and Psychology ; AI and ethics ; ethics and robotics ; descriptive ethics ; relationship between ethics and law ; machine ethics ; machine meta-ethics ; machine normative ethics ; types of AI systems ; strong and weak AI ; challenges of AI ; Open Access ; Ethics & moral philosophy ; Technology: general issues ; Artificial intelligence ; Psychology ; bic Book Industry Communication::H Humanities::HP Philosophy::HPQ Ethics & moral philosophy ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ; bic Book Industry Communication::J Society & social sciences::JM Psychology ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::J Society and Social Sciences::JM Psychology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 36
    facet.materialart.
    Unbekannt
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Schlagwort(e): Software Engineering ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Artificial Intelligence ; Information Systems and Communication Service ; Computer Hardware ; Computer Engineering and Networks ; Database Management System ; architecture verification and validation ; artificial intelligence ; computer hardware ; computer networks ; computer programming ; computer systems ; data security ; distributed computer systems ; embedded systems ; formal logic ; linguistics ; model checking ; network protocols ; parallel processing systems ; signal processing ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Artificial intelligence ; Computer hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 37
    facet.materialart.
    Unbekannt
    New Metropolitan Perspectives (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: ​This open access book presents the outcomes of the symposium “NEW METROPOLITAN PERSPECTIVES,” held at Mediterranea University, Reggio Calabria, Italy on May 26–28, 2020. Addressing the challenge of Knowledge Dynamics and Innovation-driven Policies Towards Urban and Regional Transition, the book presents a multi-disciplinary debate on the new frontiers of strategic and spatial planning, economic programs and decision support tools in connection with urban–rural area networks and metropolitan centers. The respective papers focus on six major tracks: Innovation dynamics, smart cities and ICT; Urban regeneration, community-led practices and PPP; Local development, inland and urban areas in territorial cohesion strategies; Mobility, accessibility and infrastructures; Heritage, landscape and identity;and Risk management,environment and energy. The book also includes a Special Section on Rhegion United Nations 2020-2030. Given its scope, the book will benefit all researchers, practitioners and policymakers interested in issues concerning metropolitan and marginal areas.
    Schlagwort(e): Computational Intelligence ; Urban Economics ; Regional and Spatial Economics ; Integrated Approach of Sustainable Urban Development ; Metropolitan City: Issues and Challenges ; Urban Regeneration: Community Involvement and PPP ; Heritage and Identity ; Economic-Estimative Dynamics and Valuation Tools ; Open Access ; Artificial intelligence ; Urban economics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVS Regional / urban economics
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 38
    facet.materialart.
    Unbekannt
    Foundations of Software Science and Computation Structures (2020)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-04
    Beschreibung: This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.​
    Schlagwort(e): Mathematical Logic and Foundations ; Discrete Mathematics in Computer Science ; Programming Languages, Compilers, Interpreters ; Programming Techniques ; Logic in AI ; Computer Systems Organization and Communication Networks ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; semantics of programming languages ; program analysis, correctness, transformation, and verification ; logics of programming ; software specification and refinement ; emerging models of computation ; logical aspects of computational complexity ; models of software security ; logical foundations of data bases ; mathematics ; artificial intellegence ; formal logic ; linguistics ; Mathematical foundations ; Mathematical logic ; Discrete mathematics ; Maths for computer scientists ; Programming & scripting languages: general ; Compilers & interpreters ; Computer programming / software engineering ; Artificial intelligence ; Computer networking & communications ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 39
    facet.materialart.
    Unbekannt
    Haptics: Science, Technology, Applications (2020)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020. The 60 papers presented in this volume were carefully reviewed and selected from 111 submissions. The were organized in topical sections on haptic science, haptic technology, and haptic applications. This year's focus is on accessibility.
    Schlagwort(e): User Interfaces and Human Computer Interaction ; Robotics ; Special Purpose and Application-Based Systems ; Information Systems Applications (incl. Internet) ; Image Processing and Computer Vision ; Computer and Information Systems Applications ; Computer Vision ; communication systems ; computer networks ; data communication systems ; display devices ; engineering ; haptic devices ; haptic interfaces ; human engineering ; Human-Computer Interaction (HCI) ; mobile computing ; network protocols ; robotics ; signal processing ; telecommunication networks ; user interfaces ; virtual reality ; wireless telecommunication systems ; User interface design & usability ; Artificial intelligence ; Expert systems / knowledge-based systems ; Information retrieval ; Internet searching ; Image processing ; Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 40
    Digitale Medien
    Digitale Medien
    A pattern-directed approach to flexible manufacturing: A framework for intelligent scheduling, learning, and control (1989)
    Springer
    International journal of flexible manufacturing systems 2 (1989), S. 121-144 
    Details
    ISSN: 1572-9370
    Schlagwort(e): flexible manufacturing ; artificial intelligence ; pattern-directed scheduling ; heuristic searching ; inductive learning
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Maschinenbau
    Notizen: Abstract The planning, scheduling, and control of manufacturing systems can all be viewed as problem-solving activities. In flexible manufacturing systems (FMSs), the computer program carrying out these problem-solving activities must additionally be able to handle the shorter lead time, the flexibility of job routing, the multiprocessing environment, the dynamic changing states, and the versatility of machines. This article presents an artificial intelligence (AI) method to perform manufacturing problem solving. Since the method is driven by manufacturing scenarios represented by symbolic patterns, it is referred to as pattern-directed. The method is based on three AI techniques. The first is the pattern-directed inference technique to capture the dynamic nature of FMSs. The second is the nonlinear planning technique to construct schedules and assign resources. The third is the inductive learning method to generate the pattern-directed heuristics. This article focuses on solving the FMS scheduling problem. In addition, this article reports the computation results to evaluate the utility of various heuristic functions, to identify important design parameters, and to analyze the resulting computational performance in using the pattern-directed approach for manufacturing problem-solving tasks such as scheduling.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00222707
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 41
    Digitale Medien
    Digitale Medien
    Learning control and knowledge representation (1989)
    Springer
    Journal of intelligent and robotic systems 2 (1989), S. 337-358 
    Details
    ISSN: 1573-0409
    Schlagwort(e): Machine learning ; learning control ; artificial intelligence
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Maschinenbau
    Notizen: Abstract Practising to operate an unknown system and observing the input and output of the system, in a sense, helps to optimally control that system. The acquired knowledge, is, in turn, used to solve future analogous control problems. This means that it is very important to know how to memorize the acquired knowledge and to utilize it for learning. In this paper, we propose a new knowledge representation and reasoning method and develop a learning machine (KBLC: Knowledge-Based Learning Controller) by using them. A simple implementation has been constructed that demonstrates the feasibility of building such a machine.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00238696
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 42
    Digitale Medien
    Digitale Medien
    Knowledge-based learning using Conceptual Transformers (1989)
    Springer
    Journal of intelligent and robotic systems 2 (1989), S. 361-379 
    Details
    ISSN: 1573-0409
    Schlagwort(e): Semantic variations ; learning ; classification ; knowledge-based systems ; artificial intelligence ; conceptual knowledge acquisition
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Maschinenbau
    Notizen: Abstract The notion of concept based on the semantics of objects is defined and illustrated. An underlying thread connecting a subset of concepts is identified. This class of concepts, called the Conceptual Transformer is defined and illustrated with real-world examples. This class finds a natural application in any area where objects can be characterized by functionality. Some interesting application areas are knowledge classification, manufacturing automation, and pattern synthesis. The salient features of this class are elaborated and a knowledge structure for representing concepts is proposed. The effect of these transformers on knowledge-directed classification, which results in the formation of virtual clusters, is examined in detail. We make use of examples from real life to bring out the efficacy of the proposed transformerbased, concept-directed classification.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00247914
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 43
    Digitale Medien
    Digitale Medien
    Towards intelligent autonomous control systems: Architecture and fundamental issues (1989)
    Springer
    Journal of intelligent and robotic systems 1 (1989), S. 315-342 
    Details
    ISSN: 1573-0409
    Schlagwort(e): Automatic control theory ; autonomous control ; intelligent control ; intelligent systems ; hierarchical systems ; hybrid systems ; artificial intelligence
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Maschinenbau
    Notizen: Abstract Autonomous control systems are designed to perform well under significant uncertainties in the system and environment for extended periods of time, and they must be able to compensate for system failures without external intervention. Intelligent autonomous control systems use techniques from the field of artificial intelligence to achieve this autonomy. Such control systems evolve from conventional control systems by adding intelligent components, and their development requires interdisciplinary research. A hierarchical functional intelligent autonomous control architecture is introduced here and its functions are described in detail. The fundamental issues in autonomous control system modelling and analysis are discussed.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00126465
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 44
    Digitale Medien
    Digitale Medien
    Cognition and uncertainty (1989)
    Springer
    Theory and decision 27 (1989), S. 93-106 
    Details
    ISSN: 1573-7187
    Schlagwort(e): cognition ; decision ; graphs ; artificial intelligence ; risk ; uncertainty ; expert systems ; expected utility
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Sociologie , Wirtschaftswissenschaften
    Notizen: Abstract In the first part, we try to give a representation of the process by which man endeavours to grasp uncertainty. We propose a backward exploration which we will modelize through an influence diagram and then we can draw a few conclusions from that representation for the axiomatics of Decision. In the second part, we deal with the processing of the information formatted in such a way, regarding both its temporal complexity and its elective complexity. The first part as the second one dealing with representation and the consequences for information processing of uncertainty cognition lead to a severe criticism of the expected utility hypothesis. To conclude, we suggest a few remarks on expert systems of decision aid under uncertainty.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00133989
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 45
    Digitale Medien
    Digitale Medien
    Decision analysis: A framework for critical care decision assistance (1989)
    Springer
    Journal of clinical monitoring and computing 6 (1989), S. 137-156 
    Details
    ISSN: 1573-2614
    Schlagwort(e): artificial intelligence ; data management ; decision analysis ; decision-making ; ICU ; intelligent decision systems
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Medizin
    Notizen: Abstract The ultimate goal of medical computer systems is to help clinicians make good decisions. Such systems must be based on sound principles. Decision analysis is a 25-year-old discipline that provides the needed rigorous foundation for decision assistance. Decision analysis comprises the philosophy, procedures, and tools that can correct the flaws in existing critical care decision-making practice. Intelligent decision systems — computer-based systems that automate decision analysis — make it practical to apply decision analysis to critical care.Orchestra is a pilot intelligent decision system (now under development) that coordinates the efforts of the critical care specialist, the bedside physician, and the bedside nurse in building decision models that can provide recommendations and insight for ventilator management decisions. Decision analysis delivered by intelligent decision systems has great potential for improving critical care decision-making.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01721027
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 46
    Digitale Medien
    Digitale Medien
    The application of AI to law (1988)
    Springer
    AI & society 2 (1988), S. 31-46 
    Details
    ISSN: 1435-5655
    Schlagwort(e): artificial intelligence ; expert systems ; legal practice ; computerisation ; judicial interpretation ; legal ideology ; legal sociology
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract There is much interest in moving AI out into real world applications, a move which has been encouraged by recent funding which has attempted to show industry and commerce can benefit from the Fifth Generation of computing. In this article I suggest that the legal application area is one which is very much more complex than it might — at first sight — seem. I use arguments from the sociology of law to indicate that the viewing of the legal system as simply a rule-bound discipline is inherently nave. This, while not new in jurisprudence, is — as the literature of AI and law indicates — certainly novel to the field of artificial intelligence. The socio-legal argument provided is set within the context of AI as one more example of the failure of scientific success and method to easily transmit itself over into the social sciences.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01891441
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 47
    Digitale Medien
    Digitale Medien
    Artificial intelligence: A contribution to systems theories of sociology (1988)
    Springer
    AI & society 2 (1988), S. 113-120 
    Details
    ISSN: 1435-5655
    Schlagwort(e): artificial intelligence ; sociology ; expert systems ; systemic sociology ; social interaction ; human-machine interaction
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract The aim of my contribution is to try to analyse some points of similarity and difference between post-Parsonian social systems theory models for sociology — with special reference to those of W. Buckley, F.E. Emery and N. Luhmann — and expert systems models1 from Artificial Intelligence. I keep specifically to post-Parsonian systems theories within sociology because they assume some postulates and criteria derived from cybernetics and which are at the roots of AI. I refer in particular to the fundamental relevance of the system-environment relationship in both sociology and AI.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01891375
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 48
    Digitale Medien
    Digitale Medien
    The closed world: Systems discourse, military strategy and post WWII American historical consciousness (1988)
    Springer
    AI & society 2 (1988), S. 245-255 
    Details
    ISSN: 1435-5655
    Schlagwort(e): artificial intelligence ; computer systems ; military systems ; SAGE ; SCI ; SDI ; strategy ; discourse ; systems
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract This essay proposes a cultural and historical explanation for the American Military's fascination with computing. Three key elements of post-WWII US political culture — apocalyptic struggle with the USSR, subsuming all other conflicts: a long history of antimilitarist sentiment in American politics; and the rise of science-based military power — contributed to a sense of the world as a closed system accessible to American technological control. A developing scientific systems discourse, centrally including computer science and AI, was adopted for strategic thinking and military technology. The Strategic Computing and Strategic Defense Initiatives are discussed as contemporary examples of this conjunction.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01908547
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 49
    Digitale Medien
    Digitale Medien
    Product creation: An appropriate coupling of human and artificial intelligence (1988)
    Springer
    AI & society 2 (1988), S. 341-353 
    Details
    ISSN: 1435-5655
    Schlagwort(e): artificial intelligence ; design ; manufacturing ; human-centred
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract Small batch manufacture dominates the manufacturing sector of a growing number of industrialised countries. The organisational structures and management methods currently adopted in such enterprises are firmly based upon historical developments which started with individual craftsmen. These structures and methods are primarily concerned with the co-ordination of human activities, rather than with the management of theknowledge process underlying the creation of products. This paper argues that it is the failure to understand this knowledge process and its effective integration at aKnowledge Level which presents the real barrier to increased flexibility, not, as is presently perceived, a lack of suitableInformation Level integration. Potential techniques and methodologies for achievingKnowledge Level integration are beginning to emerge from Artificial Intelligence research. Realisation of full Knowledge Level integration will not only require further research into the AI techniques and methodologies involved, but also an understanding of the wider human aspects of their application. Some questions concerning the effective coupling of human and artificial intelligence to achieve Knowledge Level integration of the product creation process are presented.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01891367
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 50
    Digitale Medien
    Digitale Medien
    The Strategic Computing Program at four years: Implications and intimations (1988)
    Springer
    AI & society 2 (1988), S. 141-149 
    Details
    ISSN: 1435-5655
    Schlagwort(e): artificial intelligence ; high technology ; military doctrine ; Star Wars ; strategic computing ; war
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract Examining the Strategic Computing Program after four years, in the context of the crucial recognition that it is only a small part of the whole range of military artificial intelligence applications, suggests a number of clear implications and intimations about such crucial questions as: 1) the current roles of industry and the universities in developing high technology war; 2) the effects on political and military policy of high-tech weapons systems; and 3) the importance of advanced military computing to subtle philosophical dilemmas including human self-definition and the future of war.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01891378
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 51
    Digitale Medien
    Digitale Medien
    Biological and artificial intelligence (1988)
    Springer
    AI & society 2 (1988), S. 152-161 
    Details
    ISSN: 1435-5655
    Schlagwort(e): artificial intelligence ; biological intelligence ; plasticity ; memory ; categorization ; generalization ; connection machines
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract The paper discusses the characteristics of Biological Intelligence (BI) and its differences with artificial intelligence. In particular the plasticity of the nervous system is considered in the different forms with special attention to deterministic and localizationist views of the brain vs holistic approaches. When memory and learning are considered the localizationist views do not offer a possible solution to a number of problems while memory may be better conceptualized in terms of categorization procedures and generalizing strategies. Finally, the problem of individual variability, an important feature in terms of BI, is considered. The legitimacy of analogies between BI and AI is discussed and the necessity for an innovative approach to the field of AI is stressed.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01891381
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 52
    Digitale Medien
    Digitale Medien
    A prolog-based decision support system for computer capacity planning (1988)
    Springer
    Annals of operations research 12 (1988), S. 337-357 
    Details
    ISSN: 1572-9338
    Schlagwort(e): Decision support systems ; logic programming ; prolog ; artificial intelligence ; computer capacity planning ; planning for resource acquisition
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Wirtschaftswissenschaften
    Notizen: Abstract This paper describes a project to implement a decision support system for computer capacity planning. The system provides an intelligent interface to the various models needed for this type of planning by assisting the user in model formulation, data manipulation, model execution, interpretation and manipulation of results. The implementation strategy is based on the integration of relational model and database management with logic. A modified version of a Prolog interpreter is utilized as the vehicle for this integrated strategy.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF02186375
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 53
    Digitale Medien
    Digitale Medien
    A knowledge-based approach to scheduling in an F.M.S. (1988)
    Springer
    Annals of operations research 12 (1988), S. 109-134 
    Details
    ISSN: 1572-9338
    Schlagwort(e): Flexible manufacturing system ; production scheduling ; artificial intelligence ; predicate calculus ; state-operator framework ; knowledge-based system
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Wirtschaftswissenschaften
    Notizen: Abstract This paper reports the development of a computer-based system for production scheduling in a dedicated FMS. The system is based on the state-operator framework commonly used in artificial intelligence. Such a system consists of three components: (i) a knowledge base of states, which describes both the current task domain situation and the goal to be achieved; (ii) a set of operators that are used to manipulate the knowledge base; and (iii) a control strategy to decide which operators to apply next and to resolve conflicts. Some of the interesting features of the scheduling system include: (i) the ability to detect resource conflicts; (ii) the ability to determine alternate routes for a given part in the event of a resource conflict; and (iii) the ability to amend plans if an alternate route is found. These features allow the system to take advantage of the flexible routing for parts that an FMS allows. The system has been implemented using the XLISP programming language. Implementation considerations are discussed. A small but comprehensive example is presented. Further research directions are suggested.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF02186363
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 54
    Digitale Medien
    Digitale Medien
    Generalized resolution and cutting planes (1988)
    Springer
    Annals of operations research 12 (1988), S. 217-239 
    Details
    ISSN: 1572-9338
    Schlagwort(e): Propositional logic ; resolution ; integer programming ; theorem proving ; artificial intelligence
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Wirtschaftswissenschaften
    Notizen: Abstract This paper illustrates how the application of integer programming to logic can reveal parallels between logic and mathematics and lead to new algorithms for inference in knowledge-based systems. If logical clauses (stating that at least one of a set of literals is true) are written as inequalities, then the resolvent of two clauses corresponds to a certain cutting plane in integer programming. By properly enlarging the class of cutting planes to cover clauses that state that at least a specified number of literals are true, we obtain a generalization of resolution that involves both cancellation-type and circulant-type sums. We show its completeness by proving that it generates all prime implications, generalizing an early result by Quine. This leads to a cutting-plane algorithm as well as a generalized resolution algorithm for checking whether a set of propositions, perhaps representing a knowledge base, logically implies a given proposition. The paper is intended to be readable by persons with either an operations research or an artificial intelligence background.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF02186368
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 55
    Digitale Medien
    Digitale Medien
    A knowledge-based system for tactical situation assessment (1988)
    Springer
    Annals of operations research 12 (1988), S. 285-296 
    Details
    ISSN: 1572-9338
    Schlagwort(e): Situation assessment ; human-machine interface ; intelligent assistant ; intelligent interface ; human-machine system ; artificial intelligence ; operations research ; knowledge-based systems
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Wirtschaftswissenschaften
    Notizen: Abstract To perform tactical situation assessment effectively, a system must be capable of performing tactical information integration, interpretation, and threat evaluation. This paper describes a prototype system for naval surface warfare which incorporates a human operator for integration, an artificial intelligence-based subsystem for interpretation, and an operations research-based system for evaluation. The system provides the operator with an interactive environment for displaying and managing tactical information and tools for interpreting and evaluating it.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF02186371
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 56
    Digitale Medien
    Digitale Medien
    User-model interaction in decision support systems for risk management (1988)
    Springer
    Annals of operations research 16 (1988), S. 185-197 
    Details
    ISSN: 1572-9338
    Schlagwort(e): risk management ; decision analysis ; expert systems ; artificial intelligence ; operations research
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Wirtschaftswissenschaften
    Notizen: Abstract This paper describes and evaluates three different approaches to building decision support systems: the Operations Research/Management Science approach, the Decision Analysis/Multiattribute Utility approach, and the Artificial Intelligence/Expert Systems approach. It evaluates the usefulness of the three approaches for risk management. In particular, it defines evaluation objectives of risk analysts, risk managers, and laypeople and provides a subjective assessment how the three approaches stack up against their objectives. The paper concludes that for most risk management applications a combination of the three approaches would be most desirable.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF02283744
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 57
    Digitale Medien
    Digitale Medien
    Alternative formulations of mixed integer programs (1988)
    Springer
    Annals of operations research 12 (1988), S. 241-276 
    Details
    ISSN: 1572-9338
    Schlagwort(e): Mixed-integer programming ; logic ; representability ; artificial intelligence
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Wirtschaftswissenschaften
    Notizen: Abstract We study the formation of mixed-integer programming (MIP) constraints through the development of constructions which syntactically parallel the set operations of union, intersection, Cartesian product, and linear affine transformation. In this manner, we are able to both modularize the work of constructing representations (as the representations for base sets of a composite construction need not be disjunctively derived) and to make connections to certain of the logic-based approaches to artificial intelligence which utilize the intersection (“and”) and union (“or”) operations. We provide results which allow one to “calculate” the linear relaxation of a composite construction, in terms of set operations on the relaxation of the base sets. We are also able to compare the size of the relaxations for different formulations of the same MIP set, when these different formulations arise from one another through distributive laws. Utilizing these results, we generalize the Davis-Putnam algorithm of propositional logic to an MIP form, and answer a question regarding the relative efficiency of two versions of this algorithm. In this context, the subroutines of the logic algorithm correspond to list processing subroutines for MIP to be used prior to running linear programs. They are similar in nature to preprocessing routines, wherein entire MIP constraint sets are manipulated as formal symbols of logic.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF02186369
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 58
    Digitale Medien
    Digitale Medien
    Teaching a computer to speculate (1988)
    Springer
    Computers and the humanities 22 (1988), S. 193-201 
    Details
    ISSN: 1572-8412
    Schlagwort(e): natural language processing ; artificial intelligence ; semantics ; meaning ; speculation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Medien- und Kommunikationswissenschaften, Kommunikationsdesign
    Notizen: Abstract Advanced natural language processing techniques may well lead to a major breakthrough in computer applications. Those working in artificial intelligence are seeking ways in which the computer can be made to emulate the ability of the human mind to handle language. This article illustrates the challenges of restructuring human semantic knowledge into computer-usable forms. We discuss hierarchies, Venn diagrams, chainings, cycles, matrices, maps, networks, webs, hubs, and scripts, all of which can be used in our attempts to teach the computer to handle meaning and thereby speculate.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00118892
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 59
    Digitale Medien
    Digitale Medien
    Fault detection and identification in an intelligent restructurable controller (1988)
    Springer
    Journal of intelligent and robotic systems 1 (1988), S. 145-161 
    Details
    ISSN: 1573-0409
    Schlagwort(e): Fault detection ; isolation and identification ; restructurable control ; artificial intelligence ; failure diagnosis ; expert systems ; knowledge representation ; shallow knowledge ; deep knowledge ; intelligent systems
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Maschinenbau
    Notizen: Abstract The fault detection and identification problem in an intelligent restructurable controller is addressed using a combination of algorithmic and artificial intelligence methods. An architecture is developed to address this problem. The integration of a variety of distinct knowledge representations and diagnostic reasoning techniques, and the system design and implementation is facilitated by the introduction of a novel knowledge representation graph.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00348720
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 60
    Digitale Medien
    Digitale Medien
    Expert systems and economic policy analysis: An application to OCS auction leasing (1988)
    Springer
    Computational economics 1 (1988), S. 113-135 
    Details
    ISSN: 1572-9974
    Schlagwort(e): Expert systems ; economics ; auction bidding markets ; artificial intelligence ; economic modelling
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Wirtschaftswissenschaften
    Notizen: Abstract In this paper we argue that expert systems can be powerful tools for modelling microeconomic systems, including both individual decision making and the coordination of individual agents in a resource allocation mechanism. Using the fact that expert systems are essentially computerized versions of decision processes, we illustrate how they can be viewed as generalized process models of decision-making. We argue that the expert system approach is beneficial because it allows a policy analyst to explore the implication of policy alternatives without having to incur the generally prohibitive cost of field implementation studies. Further, enables the incorporation and updating of decision strategies and qualitative information, which human experts typically use but which is not amenable to pure mathematical modelling. One particular microeconomic system we suggest could be modelled as an expert system is the OCS offshore oil lease auction process. Moreover, we argue that constructing such an expert system model would require the development of two integrated expert systems: one for the auction process and subsequent resource allocation and the other to model the individual bidding behavior of the auction participants. We set out the structure of the auction expert system in some detail and discuss rules of thumb used by bidders inferred from our empirical research on past OCS auctions. Such an expert system of an auction leasing process could provide benefits to both bidders (e.g., oil companies) and the auctioneer (e.g., the Department of the Interior) as well. Bidders, by trying different strategies against different hypothesized strategies by their opponents could use such an integrated expert system to improve their bidding performances. The auctioneer, on the other hand, could test the efficiency of various proposed auction institutions under different assumptions about bidding behavior. In some circumstances, it might be desirable to even automate the auction process with a network coordinating the expert systems used by the individual firms and a computerized auctioneer.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00427159
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 61
    Digitale Medien
    Digitale Medien
    A logic programming approach to revealed preference theory (1988)
    Springer
    Computational economics 1 (1988), S. 97-111 
    Details
    ISSN: 1572-9974
    Schlagwort(e): Revealed preference ; artificial intelligence ; logic programming ; PROLOG ; rational choice ; homotheticity ; approximate rationality
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Wirtschaftswissenschaften
    Notizen: Abstract This paper shows the direct translation of revealed preference theory into a logic program. Tests of exact and approximate rationality based on the economic theory of revealed preference are presented in PROLOG. A special case of homothetic preference of the consumer behavior is also considered.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00427158
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 62
    Digitale Medien
    Digitale Medien
    Knowledge-based geographic information systems (KBGIS): New analytic and data management tools (1988)
    Springer
    Mathematical geology 20 (1988), S. 1021-1035 
    Details
    ISSN: 1573-8868
    Schlagwort(e): geographic information system ; geography ; geology ; earth science data ; spatial data ; artificial intelligence ; data analysis ; data bases ; data management
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geologie und Paläontologie , Mathematik
    Notizen: Abstract In its simplest form, a geographic information system (GIS) may be viewed as a data base management system in which most of the data are spatially indexed, and upon which sets of procedures operate to answer queries about spatial entities represented in the data base. Utilization of artificial intelligence (AI) techniques can enhance greatly the capabilities of a GIS, particularly in handling very large, diverse data bases involved in the earth sciences. A KBGIS has been developed by the U.S. Geological Survey which incorporates AI techniques such as learning, expert systems, new data representation, and more. The system, which will be developed further and applied, is a prototype of the next generation of GIS's, an intelligent GIS, as well as an example of a general-purpose intelligent data handling system. The paper provides a description of KBGIS and its application, as well as the AI techniques involved.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00892977
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 63
    Digitale Medien
    Digitale Medien
    Experiments with microcomputer-based artificial intelligence environments (1988)
    Springer
    Mathematical geology 20 (1988), S. 1037-1047 
    Details
    ISSN: 1573-8868
    Schlagwort(e): artificial intelligence ; data bases ; microcomputer
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geologie und Paläontologie , Mathematik
    Notizen: Abstract The U.S. Geological Survey (USGS) has been experimenting with the use of relatively inexpensive microcomputers as artificial intelligence (AI) development environments. Several AI languages are available that perform fairly well on desk-top personal computers, as are low-to-medium cost expert system packages. Although performance of these systems is respectable, their speed and capacity limitations are questionable for serious earth science applications foreseen by the USGS. The most capable artificial intelligence applications currently are concentrated on what is known as the “artificial intelligence computer,” and include Xerox D-series, Tektronix 4400 series, Symbolics 3600, VAX, LMI, and Texas Instruments Explorer. The artificial intelligence computer runs expert system shells and Lisp, Prolog, and Smalltalk programming languages. However, these AI environments are expensive. Recently, inexpensive 32-bit hardware has become available for the IBM/AT microcomputer. USGS has acquired and recently completed Beta-testing of the Gold Hill Systems 80386 Hummingboard, which runs Common Lisp on an IBM/AT microcomputer. Hummingboard appears to have the potential to overcome many of the speed/capacity limitations observed with AI-applications on standard personal computers. USGS is a Beta-test site for the Gold Hill Systems GoldWorks expert system. GoldWorks combines some high-end expert system shell capabilities in a medium-cost package. This shell is developed in Common Lisp, runs on the 80386 Hummingboard, and provides some expert system features formerly available only on AI-computers including frame and rule-based reasoning, on-line tutorial, multiple inheritance, and object-programming.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00892978
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 64
    Digitale Medien
    Digitale Medien
    Issues in expert system development (1988)
    Springer
    International journal of thermophysics 9 (1988), S. 283-291 
    Details
    ISSN: 1572-9567
    Schlagwort(e): artificial intelligence ; computer programming ; expert system ; human information processing
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Physik
    Notizen: Abstract The explicit representation of domain knowledge and its separation from the processes which manipulate it and the representation formalism particular to artificial intelligence allow expert systems to solve problems which are characterized by a high combinatoric complexity or which are sufficiently ill defined as to not have reasonable software engineering solutions. The expert system approach to problem-solving differs radically from its conventional system development counterpart. This paper defines the expert system and introduces the production system architecture. The relative strengths and weakenesses of expert system and software engineering approaches to problem solving are discussed. Also addressed are criteria for identifying problems amenable to expert system solution and some justifications for system development.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00504249
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 65
    Digitale Medien
    Digitale Medien
    A new sequential cluster algorithm for optical lens design (1988)
    Springer
    Journal of optimization theory and applications 59 (1988), S. 165-172 
    Details
    ISSN: 1573-2878
    Schlagwort(e): Cluster theory ; artificial intelligence ; decision rules ; optical lens systems ; nonlinear programming
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik
    Notizen: Abstract Optical lens design problems are solved by numerical optimization. If we describe an optical lens system by constructive parameters, we may identify such a system by a vectorx ∈ ℝ n . To find an adequate system for a given problem, we have to organize the optimization process in a parameter space with a fixed dimensionn. Often, such an optimization leads to inadequate results. For this reason, we have to alter the number of lenses contained in the system. Consequently, we have to change the dimension of the space for the parametric description of the lens system. This paper describes a special sequential cluster algorithm to realize the move from one parameter space to another by computation.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00938306
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 66
    Digitale Medien
    Digitale Medien
    Socially useful artificial intelligence (1987)
    Springer
    AI & society 1 (1987), S. 5-15 
    Details
    ISSN: 1435-5655
    Schlagwort(e): artificial intelligence ; social sciences ; parallel computing systems ; collaboration ; problem-solving
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract Artificial intelligence is presented as a set of tools with which we can try to come to terms with human problems, and with the assistance of which, some human problems can be solved. Artificial intelligence is located in its social context, in terms of the environment within which it is developed, and the applications to which it is put. Drawing on social theory, there is consideration of the collaborative and social problem-solving processes which are involved in artificial intelligence and society. In a look ahead to the coming generations of highly parallel computing systems, it is suggested that lessons can be learnt from the highly parallel processes of human social problem-solving.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01905885
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 67
    Digitale Medien
    Digitale Medien
    Artificial intelligence: Cannibal or missionary? (1987)
    Springer
    AI & society 1 (1987), S. 17-23 
    Details
    ISSN: 1435-5655
    Schlagwort(e): artificial intelligence ; intelligent program ; common-sense reasoning ; social effect ; dehumanising
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract Some of the concerns people have about AI are: its misuses, effect on unemployment, and its potential for dehumanising. Contrary to what most people believe and fear, AI can lead to respect for the enormous power and complexity of the human mind. It is potentially very dangerous for users in the public domain to impute much more inferential power to computer systems, which look common-sensical, than they actually have. No matter how impressive AI programs may be, we must be aware of their limitations and should not abrogate human responsibility to such programs.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01905886
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 68
    Digitale Medien
    Digitale Medien
    Natural language interfaces and strategic computing (1987)
    Springer
    AI & society 1 (1987), S. 47-58 
    Details
    ISSN: 1435-5655
    Schlagwort(e): artificial intelligence ; computer systems ; military systems ; DARPA ; natural language processing ; strategic computing
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract Modern weaponry is often too complex for unaided human operation, and is largely or totally controlled by computers. But modern software, particularly artificial intelligence software, exhibits such complexity and inscrutability that there are grave dangers associated with its use in non-benign applications. Recent efforts to make computer systems more accessible to military personnel through natural language processing systems, as proposed in the Strategic Computing Initiative of the Defense Advanced Research Projects Agency, increases rather than decreases the dangers of unpredictable behavior. Defense systems constitute, in fact, a paradigm case of the wrong kind of application for this technology. This cannot be expected to change, since the unpredictability stems from inherent properties of computer systems and of natural languages.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01905889
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 69
    Digitale Medien
    Digitale Medien
    The piping of thought and the need for a permanent monitoring of the cultural effects of artificial intelligence (1987)
    Springer
    AI & society 1 (1987), S. 85-91 
    Details
    ISSN: 1435-5655
    Schlagwort(e): artificial intelligence ; creativity ; cultural function ; resolutive intelligence ; problematic intelligence ; AI products ; piping of thought
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract Over the years, AI has undergone a transformation from its original aim of producing an ‘intelligent’ machine to that of producing pragmatic solutions of problems of the market place. In doing so, AI has made a significant contribution to the debate on whether the computer is an instrument or an interlocutor. This paper discusses issues of problem solving and creativity underlying this transformation, and attempts to clarify the distinction between theresolutive intelligence andproblematic intelligence. It points out that the advance of ‘intelligent’ technology, with its failure to make a clear distinction betweenresolutive andcreative intelligence, could contribute to the further cultural marginalisation of human activities not connected with production. A further danger is that AI products may suffer a further loss of social reputation and prestige for those activities for which it is not possible to build artificial devices.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01891269
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 70
    Digitale Medien
    Digitale Medien
    Human decision making & the symbolic search space paradigm in AI (1987)
    Springer
    AI & society 1 (1987), S. 103-114 
    Details
    ISSN: 1435-5655
    Schlagwort(e): artificial intelligence ; human decision making ; expert systems ; connectionism ; computer systems
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract In this paper I shall describe the symbolic search space paradigm which is the dominant model for most of AI. Coupled with the mechanisms of logic it yields the predominant methodology underlying expert systems which are the most successful application of AI technology to date. Human decision making, more precisely, expert human decision making is the function that expert systems aspire to emulate, if not surpass. Expert systems technology has not yet proved to be a decisive success — it appears to fare better in some areas of human expertise than others. As a result subdomains of human expertise are variously categorised and we shall examine a few of the suggested classification schemes. A particular line of argument explored is one which maintains that certain types of human decision making, at least, are not adequately approximated by the symbolic search space paradigm of AI. Furthermore, attempts to project this inadequate model of human decision making via implementations of expert systems will be detrimental to both our image of ourselves and the future possibilities for AI software. Finally, we examine one possible route to the realization of AI, perhaps even practical applications of AI, that is a significant alternative to the model offered by the symbolic search space paradigm.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01891271
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 71
    Digitale Medien
    Digitale Medien
    Some fractal properties of the percolating backbone in two dimensions (1987)
    Springer
    Journal of statistical physics 46 (1987), S. 507-515 
    Details
    ISSN: 1572-9613
    Schlagwort(e): Percolation ; incipient infinite cluster ; backbone ; fractal properties ; artificial intelligence
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Physik
    Notizen: Abstract A new algorithm is presented, based on elements of artificial intelligence theory, to determine the fractal properties of the backbone of the incipient infinite cluster. It is found that the fractal dimensionality of the backbone isd f BB =1.61±0.01, the chemical dimensionality isd t=1.40±0.01, and the fractal dimension of the minimum pathd min=1.15 ± 0.02 for the two-dimensional triangular lattice.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01013371
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 72
    Digitale Medien
    Digitale Medien
    Handling large amounts of chemical data (1986)
    Springer
    Microchimica acta 89 (1986), S. 243-260 
    Details
    ISSN: 1436-5073
    Schlagwort(e): expert system(s) ; spectroscopy ; hierarchical clustering ; artificial intelligence
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Chemie und Pharmazie
    Notizen: Abstract The main aspects of handling large amounts of complex information, in general, and spectroscopic data, in particular, are described and discussed. In the first part, the basic terms and procedures are defined and illustrated with examples from different spectrometries. The items such as the representation of complex data of different types, measurement — and information — pace, metrics of a multi-dimensional space, different types of transformations, information content of a given representation, the concept of a “frame”, the holistic and reductionistic aspect of information are explained in more detail. In the second part, the organization of complex data with the intention of forming an expert system is discussed. Emphasis is put on the clustering of data, on the criteria for clustering, and on the ways and means governing the formation of hierarchies of clusters and frames they represent. Furtheron, a model for an expert system (which is able to acquire new information, i. e. which is able to learn, and to use the acquired knowledge for predicting the structural features of unknown compounds) based on the hierarchical organization of a large amount of data is outlined. Finally, the prospects and limitations of expert systems based on the hierarchical clustering of large data collections are discussed.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01207319
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 73
    Digitale Medien
    Digitale Medien
    Thorax — A program to assist in the preoperative risk assessment of patients undergoing thoracic surgery (1986)
    Springer
    Journal of clinical monitoring and computing 3 (1986), S. 245-249 
    Details
    ISSN: 1573-2614
    Schlagwort(e): computers ; programming ; pulmonary evaluation ; thoracic surgery ; artificial intelligence
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Medizin
    Notizen: Summary Patients who undergo thoracic surgical procedures often are at high risk. Several risk-scoring systems have been advocated; they are complex and unwieldy. Also, physicians-in-training need a teaching tool with a consistent format. A program for these needs has been written in the high-level language Modula-2 for the Macintosh Computer. The user enters height, weight and easily obtainable data. Normal values are accessed via a ‘window’ which is triggered by clicking the ‘mouse’. When pulmonary data is entered, cardiovascular system questions are presented. The user is finally presented with entered data, calculated data and a risk estimate. Complications estimates are derived from a special LEARNER file. The program ‘learns’ from a constantly expanding database.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01724392
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 74
    Digitale Medien
    Digitale Medien
    Toward an expert system for identification of minerals in thin section (1985)
    Springer
    Mathematical geology 17 (1985), S. 743-753 
    Details
    ISSN: 1573-8868
    Schlagwort(e): expert system ; artificial intelligence ; mineral identification
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Geologie und Paläontologie , Mathematik
    Notizen: Abstract Minerals may be identified by optical inspection and x-ray diffraction analysis. Full and correct identification, however, requires experience and extensive knowledge of mineral characteristics and association. Computer systems designed to approach levels of human expertise in similarly complex identification tasks have become increasingly effective with the application and refinement of various Artificial Intelligence (AI) techniques. These knowledge-based systemsuse the skills, knowledge, and rules of thumb that distinguish the expert from the knowledgeable layman to emulate human expertise. They also may be modified to serve a “tutorial” role whereby a nonexpert's approach to the task may be compared with that of the “expert” (system), and criticized accordingly. Such a knowledge-based system capable of identifying minerals from their optical characteristics is being developed at the University of Reading.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF01031614
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
  • 75
    Digitale Medien
    Digitale Medien
    Circumscription and implicit definability (1985)
    Springer
    Journal of automated reasoning 1 (1985), S. 391-405 
    Details
    ISSN: 1573-0670
    Schlagwort(e): Circumscription ; implicit definition ; Beth's theorem ; assumptions ; artificial intelligence
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract We explore some connections between the technique of circumscription in artificial intelligence and the notion of implicit definition in mathematical logic. Implicit definition can be taken as the informal intent, but not necessarily the formal result, of circumscription. This raises some questions for logical theory and suggests some implications for artificial intelligence practice. The principal implication is that when circumscription ‘works’ its conclusions can be explicitly described.
    Materialart: Digitale Medien
    URL: http://dx.doi.org/10.1007/BF00244277
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Artikel (Nationallizenzen)
    Volltext
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...