Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in September 2019. The 41 full papers presented together with 3 abstracts of invited talks inn this volume were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections named: Argumentation; Belief Functions; Conditional, Default and Analogical Reasoning; Learning and Decision Making; Precise and Imprecise Probabilities; and Uncertain Reasoning for Applications.

Artificial intelligence. --- Computer science. --- Logic design. --- Information systems. --- Artificial Intelligence. --- Probability and Statistics in Computer Science. --- Logics and Meanings of Programs. --- Programming Languages, Compilers, Interpreters. --- Computer Appl. in Administrative Data Processing. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Uncertainty (Information theory) --- Mathematical statistics. --- Computer logic. --- Programming languages (Electronic computers). --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer science logic --- Logic, Symbolic and mathematical --- Mathematics --- Statistical inference --- Statistics, Mathematical --- Statistics --- Probabilities --- Sampling (Statistics) --- Statistical methods

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Wissen – ob sicher oder unsicher – muss in wissensbasierten Systemen adäquat dargestellt und maschinell verarbeitet werden. Den Autoren ist es gelungen, die unterschiedlichen Methoden anschaulich zu präsentieren, so dass dieses Werk zum Selbststudium wie auch als Begleittext für entsprechende Vorlesungen geeignet ist. Die fünfte Auflage wurde überarbeitet und um den aktuellen Bereich der Argumentation erweitert. Praxisnahe Selbsttestaufgaben mit online zur Verfügung gestellten ausführlichen Lösungen erleichtern das Lernen. Inhalt Logikbasierte Wissensrepräsentation - Maschinelles Lernen und Data Mining - Fallbasiertes Schließen - Default-Logiken - Logisches Programmieren und Antwortmengen - Argumentation - Aktionen und Planen - Agenten - Probabilistische Netze - Anwendungsbeispiele aus Medizin, Genetik und Wirtschaft Zielgruppe Studierende der Informatik und verwandter Gebiete Autoren Prof. Dr. Christoph Beierle ist Universitätsprofessor für Informatik/Wissensbasierte Systeme an der FernUniversität in Hagen. Prof. Dr. Gabriele Kern-Isberner ist Universitätsprofessorin für Informatik/Information Engineering an der Universität Dortmund.

Data mining. --- Coding theory. --- Information theory. --- Data Mining and Knowledge Discovery. --- Coding and Information Theory.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Von namhaften Professoren empfohlen: State-of-the-Art bietet das Buch zu diesem klassischen Bereich der Informatik. Die wesentlichen Methoden wissensbasierter Systeme werden verständlich und anschaulich dargestellt. Repräsentation und Verarbeitung sicheren und unsicheren Wissens in maschinellen Systemen stehen dabei im Mittelpunkt. Die dritte, erweiterte Auflage rückt mit einem neuen Kapitel über "Agenten" eine aktuelle Technologie ins Blickfeld. Zahlreiche motivierende Testaufgaben und ein Online-Service mit ausführlichen Musterlösungen erleichtern das Lernen.

Computer programming. --- Computers. --- Programming Techniques. --- Theory of Computation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany in September 2017. The 20 revised full technical papers presented together with 16 short technical communications were carefully reviewed and selected from 73 submissions. The conference cover a range of topics from, e. g., agents, robotics, cognitive sciences, machine learning, planning, knowledge representation, reasoning, and ontologies, with numerous applications in areas like social media, psychology, transportation systems and reflecting the richness and diversity of their field.

Computer science. --- Computer communication systems. --- Special purpose computers. --- Algorithms. --- Mathematical logic. --- Artificial intelligence. --- Application software. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Computer Appl. in Administrative Data Processing. --- Informatics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algorism --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Special purpose computers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Science --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algebra --- Arithmetic --- Computer software --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computers --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Foundations --- Distributed processing --- Computer software. --- Software engineering. --- Information systems. --- Artificial Intelligence. --- Computer software engineering --- Engineering --- Software, Computer --- Computer systems --- Artificial intelligence --- Algorithms --- Application software