Listing 1 - 8 of 8
Sort by

Book
Zusammenwirken von natürlicher und künstlicher Intelligenz
Authors: --- --- --- --- --- et al.
ISBN: 3658308826 3658308818 Year: 2021 Publisher: Springer Nature

Loading...
Export citation

Choose an application

Bookmark

Abstract

Dieses Open Access Buch erläutert, wie das Zusammenwirken von Menschen, Tieren und Pflanzen einerseits und Maschinen andererseits mit der zunehmenden Digitalisierung und durch das Zusammenwirken von natürlicher und künstlicher Intelligenz zukünftig aussehen wird und inwieweit sich Umfang und Intensität der neuen Synergien bestimmen lassen. Die hohe Komplexität der weitgefächerten Thematik soll in drei Anwendungsgebieten behandelt werden: in Medizin und Gesundheitsversorgung, in physischen und virtuellen Mobilitätsformen sowie in der Kooperation mit Tieren und Pflanzen in der Landwirtschaft. Dabei werden methodisch-technische sowie rechtliche und ethische Aspekte thematisiert. Die Herausgeber Prof. Dr. Reinhold Haux ist Professor für Medizinische Informatik am Peter L. Reichertz Institut für Med. Informatik der TU Braunschweig und der Med. Hochschule Hannover. Prof. Dr. Klaus Gahl ist Professor a.D. für Innere Medizin und Vizepräsident der Braunschweigischen Wissenschaftlichen Gesellschaft (BWG). Prof. Dr. Meike Jipp ist Professorin für „Human Factors im Verkehr“ an der TU Braunschweig und Leiterin der Abteilung „Human Factors“ des Instituts für Verkehrssystemtechnik des Deutschen Zentrums für Luft- und Raumfahrt. Prof. Dr. Rudolf Kruse ist Professor für Informatik am Institut für Intelligente Kooperierende Systeme der Otto-von-Guericke-Universität Magdeburg. Prof. Dr. Otto Richter ist Professor a.D. für Agrarökologie am Institut für Geoökologie der TU Braunschweig. Von 2017 bis 2019 war er Präsident der BWG.


Book
Theory and Applications of Formal Argumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers
Authors: --- --- ---
ISBN: 3642543723 3642543731 Year: 2014 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the second International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013, held in Beijing, China, in August 2013. The Workshop was co-located with IJCAI 2013. The 15 revised full papers presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections such as abstract argumentation frameworks, social abstract argumentation with votes on attacks, a normal form of argumentation frameworks, assumption-based argumentation, argument schemes for normative practical reasoning.


Periodical
AI & society.
ISSN: 09515666 14355655 Year: 1987 Publisher: London : Springer-Verlag

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Artificial intelligence --- Intelligence artificielle --- Periodicals. --- Périodiques --- Computer science --- Periodicals --- Artificial intelligence. --- #FHIW:CAT1 --- Arts and Humanities --- Information Technology --- Mathematical Sciences --- Philosophy --- Society and Culture --- Artificial Intelligence --- Information Science and Systems --- Applied Mathematics --- Künstliche Intelligenz --- Mensch-Maschine-Kommunikation --- Ergonomie --- Informationstechnik --- Gesellschaft --- Zeitschrift --- Online-Ressource --- Sozialanthropologie --- Mensch-Maschine-System --- Ingenieurpsychologie --- Anthropotechnik --- Soziale Anthropologie --- Sozio-kulturelle Anthropologie --- Sozialwissenschaften --- Ethnosoziologie --- Kulturanthropologie --- Sozialanthropologe --- Sozialanthropologin --- Sein --- Informationstechnologie --- IT --- IuK-Technik --- Kommunikationstechnik --- Informations- und Kommunikationstechnik --- Informations- und Telekommunikationstechnik --- Informations- und Kommunikationstechnologie --- IuK-Technologie --- ICT --- Medientechnik --- Neue Medien --- Objektpsychologie --- Objektpsychotechnik --- Ergonometrie --- Arbeitswissenschaft --- Arbeitspsychologie --- Mensch --- Mensch-Computer-Kommunikation --- Mensch-Computer-Interaktion --- Mensch-Maschine-Interaktion --- Mensch-Maschine-Dialog --- Human computer interaction --- HCI --- MCI --- Kommunikation --- Dialogsystem --- Affective Computing --- Computerunterstützte Intelligenz --- Maschinelle Intelligenz --- KI --- Intelligenz --- 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 --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Netzpublikation --- Online-Publikation --- Computerdatei im Fernzugriff --- Online-Dokument --- On-line-Dokument --- On-line-Publikation --- Elektronische Publikation --- Periodikum --- Zeitschriften --- Presse --- Fortlaufendes Sammelwerk --- Maschine --- Faktor Mensch --- Computerunterstützte Intelligenz --- Sozialethnologie --- Intel·ligència artificial


Periodical
Evolutionary computation.
Author:
ISSN: 15309304 10636560 Year: 1993 Publisher: [Cambridge, Mass.] : MIT Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Genetic algorithms --- Artificial intelligence --- Evolutionary computation --- Evolution --- Mathematical Computing --- Models, Genetic --- Models, Theoretical --- Artificial intelligence. --- Evolutionary computation. --- Genetic algorithms. --- Algoritmen. --- Zoekstrategieën. --- Computermethoden. --- Datenverarbeitung --- Zeitschrift --- Online-Ressource --- Künstliche Intelligenz --- Mathematical Computing. --- Models, Genetic. --- Biological Evolution. --- Models, Theoretical. --- Natural Computation. --- Computerunterstützte Intelligenz --- Maschinelle Intelligenz --- KI --- Netzpublikation --- Online-Publikation --- Computerdatei im Fernzugriff --- Online-Dokument --- On-line-Dokument --- On-line-Publikation --- Periodikum --- Zeitschriften --- ADV --- Automatische Datenverarbeitung --- Automatisierte Datenverarbeitung --- EDV --- Elektronische Datenverarbeitung --- Abstammung --- GAs (Algorithms) --- Genetic searches (Algorithms) --- Experimental Model --- Experimental Models --- Mathematical Model --- Model, Experimental --- Models (Theoretical) --- Models, Experimental --- Models, Theoretic --- Theoretical Study --- Mathematical Models --- Model (Theoretical) --- Model, Mathematical --- Model, Theoretical --- Models, Mathematical --- Studies, Theoretical --- Study, Theoretical --- Theoretical Model --- Theoretical Models --- Theoretical Studies --- Genetic Models --- Genetic Model --- Model, Genetic --- Computation, Evolutionary --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Computing, Statistical --- Mathematic Computing --- Statistical Programs, Computer Based --- Statistical Computing --- Computing, Mathematic --- Computing, Mathematical --- Computings, Mathematic --- Computings, Mathematical --- Computings, Statistical --- Mathematic Computings --- Mathematical Computings --- Statistical Computings --- Evolution, Biological --- Intelligenz --- Elektronische Publikation --- Presse --- Fortlaufendes Sammelwerk --- Automation --- Computer --- Datentechnik --- Informatik --- Entwicklung --- Phylogenetik --- Evolutionsbiologie --- Algorithms --- Combinatorial optimization --- Genetic programming (Computer science) --- Learning classifier systems --- Computer Simulation --- Systems Theory --- Neural networks (Computer science) --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Sociobiology --- Computerunterstützte Intelligenz


Periodical
Journal of Intelligent Systems
ISSN: 2191026X 03341860

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Artificial intelligence --- Intellect --- System theory --- Artificial Intelligence. --- Expert Systems. --- Systems Theory. --- Intelligence artificielle --- Intelligence --- Systèmes, Théorie des --- Artificial intelligence. --- Intellect. --- System theory. --- Berechenbarkeit. --- Kognitionswissenschaft. --- Künstliche Intelligenz. --- Soft Computing. --- Unterstützungssystem (Informatik) --- Périodiques. --- Life Sciences --- General and Others --- General Systems Theory --- Queuing Theory --- General Systems Theories --- Queuing Theories --- Systems Theories --- Systems Theories, General --- Systems Theory, General --- Theories, General Systems --- Theories, Queuing --- Theories, Systems --- Theory, General Systems --- Theory, Queuing --- Theory, Systems --- Expert System --- System, Expert --- Systems, Expert --- Computational Intelligence --- AI (Artificial Intelligence) --- Computer Reasoning --- Computer Vision Systems --- Knowledge Acquisition (Computer) --- Knowledge Representation (Computer) --- Machine Intelligence --- Acquisition, Knowledge (Computer) --- Computer Vision System --- Intelligence, Artificial --- Intelligence, Computational --- Intelligence, Machine --- Knowledge Representations (Computer) --- Reasoning, Computer --- Representation, Knowledge (Computer) --- System, Computer Vision --- Systems, Computer Vision --- Vision System, Computer --- Vision Systems, Computer --- Systems, Theory of --- Systems science --- Human intelligence --- Mind --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Systems Biology --- Heuristics --- Science --- Ability --- Psychology --- Mental retardation --- Thought and thinking --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Philosophy --- Berechenbarkeit --- Kognitionswissenschaft --- Künstliche Intelligenz --- Unterstützungssystem --- Support system --- Benutzer-Unterstützungssystem --- Wissensbasiertes Unterstützungssystem --- Computerunterstützte Intelligenz --- Maschinelle Intelligenz --- KI --- Intelligenz --- Kognitive Wissenschaft --- Cognitive Science --- Kognitionsforschung --- Wissenschaft --- Rekursionstheorie --- Berechnungstheorie --- artificial intelligence --- deep learning --- machine learning --- pattern recognition --- artificial neural networks --- reinforcement learning --- Théorie des systèmes --- Computerunterstützte Intelligenz --- Benutzer-Unterstützungssystem --- Wissensbasiertes Unterstützungssystem


Book
Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Authors: --- --- ---
ISBN: 3642399916 3642399924 Year: 2013 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented  together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning.   .

Keywords

Computer logic --- Logic, Symbolic and mathematical --- Mathematics --- Physical Sciences & Mathematics --- Mathematical Theory --- Computer science. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- Symbolic and Algebraic Manipulation. --- Computer Science, general. --- Mathematics. --- Berechnungstheorie. --- Formale Grammatik. --- Formale Methode. --- Formale Syntax. --- Künstliche Intelligenz. --- Logik. --- Natürliche Sprache. --- Programmierlogik. --- Programmiersprache. --- Theoretische Informatik. --- Sprache --- Philosophische Logik --- Handlungslogik --- Äquivalenz --- Formale Semantik --- Logiker --- Artificial intelligence --- Computerunterstützte Intelligenz --- Maschinelle Intelligenz --- KI --- Intelligenz --- Informatik --- Syntax --- Programmierungssprache --- Kunstsprache --- Programmierung --- Programmierungslogik --- Formales Verfahren --- Methode --- Grammatik --- Theorie der Berechenbarkeit --- Berechenbarkeitstheorie --- Berechenbarkeit --- Theorie --- Logik --- Algebra --- Artificial Intelligence. --- Data processing. --- 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 --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Computer science—Mathematics. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Machine theory. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics


Book
Artificial Intelligence in Medicine : 14th Conference on Artificial Intelligence in Medicine, AIME 2013, Murcia, Spain, May 29 -- June 1, 2013, Proceedings
Authors: --- --- ---
ISBN: 3642383254 3642383262 Year: 2013 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 14th Conference on Artificial Intelligence in Medicine, AIME 2013, held in Murcia, Spain, in May/June 2013. The 43 revised full and short papers presented were carefully reviewed and selected from 82 submissions. The papers are organized in the following topical sections: decision support, guidelines and protocols; semantic technology; bioinformatics; machine learning; probabilistic modeling and reasoning; image and signal processing; temporal data visualization and analysis; and natural language processing.

Keywords

Computer science. --- Medical records --- Data mining. --- Artificial intelligence. --- Optical pattern recognition. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Health Informatics. --- Data Mining and Knowledge Discovery. --- Pattern Recognition. --- Information Systems Applications (incl. Internet). --- Medical informatics --- Artificial intelligence --- Information Science --- Informatics --- Computing Methodologies --- Publication Formats --- Publication Characteristics --- Congresses --- Artificial Intelligence --- Medical Informatics --- Medicine --- Health & Biological Sciences --- Medical & Biomedical Informatics --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer Science --- Mechanical Engineering - General --- Data processing. --- Medical applications --- Information Technology --- Computer Science, Medical --- Health Information Technology --- Informatics, Clinical --- Informatics, Medical --- Information Science, Medical --- Clinical Informatics --- Medical Computer Science --- Medical Information Science --- Health Information Technologies --- Information Technologies, Health --- Information Technology, Health --- Medical Computer Sciences --- Medical Information Sciences --- Science, Medical Computer --- Technologies, Health Information --- Technology, Health Information --- Computational Intelligence --- AI (Artificial Intelligence) --- Computer Reasoning --- Computer Vision Systems --- Knowledge Acquisition (Computer) --- Knowledge Representation (Computer) --- Machine Intelligence --- Acquisition, Knowledge (Computer) --- Computer Vision System --- Intelligence, Artificial --- Intelligence, Computational --- Intelligence, Machine --- Knowledge Representations (Computer) --- Reasoning, Computer --- Representation, Knowledge (Computer) --- System, Computer Vision --- Systems, Computer Vision --- Vision System, Computer --- Vision Systems, Computer --- Information Sciences --- Science, Information --- Sciences, Information --- Clinical informatics --- Health informatics --- Medical information science --- High Performance Computing --- Methodologies, Computing --- Computing Methodology --- Computing, High Performance --- Methodology, Computing --- Performance Computing, High --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- EHR systems --- EHR technology --- EHRs (Electronic health records) --- Electronic health records --- Electronic medical records --- EMR systems --- EMRs (Electronic medical records) --- Health informatics. --- Pattern recognition. --- Künstliche Intelligenz. --- Medizin. --- Humanmedizin --- Heilkunst --- Computerunterstützte Intelligenz --- Maschinelle Intelligenz --- KI --- Intelligenz --- Artificial Intelligence. --- Optical data processing --- Pattern perception --- Perceptrons --- Visual discrimination --- Database searching --- Information storage and retrieval systems --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Medical care --- Application software. --- Information science --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Design perception --- Pattern recognition --- Form perception --- Perception --- Figure-ground perception --- Data processing

Listing 1 - 8 of 8
Sort by