Normal view MARC view ISBD view

KI 2020: Advances in Artificial Intelligence (Record no. 200463599)

MARC details
000 -LEADER
fixed length control field	05498nam a22006495i 4500
001 - CONTROL NUMBER
control field	200463599
003 - CONTROL NUMBER IDENTIFIER
control field	DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20250106142257.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field	cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	200908s2020 sz \| s \|\|\|\| 0\|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9783030582852
--	978-3-030-58285-2
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code	10.1007/978-3-030-58285-2
Source of number or code	doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number	Q334-342

Classification number	TA347.A78
072 #7 - SUBJECT CATEGORY CODE
Subject category code	UYQ
Source	bicssc

Subject category code	COM004000
Source	bisacsh

Subject category code	UYQ
Source	thema
245 10 - TITLE STATEMENT
Title	KI 2020: Advances in Artificial Intelligence
Medium	[electronic resource] :
Remainder of title	43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020, Proceedings /
Statement of responsibility, etc.	edited by Ute Schmid, Franziska Klügl, Diedrich Wolter.
250 ## - EDITION STATEMENT
Edition statement	1st ed. 2020.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture	Cham :
Name of producer, publisher, distributor, manufacturer	Springer International Publishing :
--	Imprint: Springer,
Date of production, publication, distribution, manufacture, or copyright notice	2020.
300 ## - PHYSICAL DESCRIPTION
Extent	XIII, 360 p. 33 illus.
Other physical details	online resource.
336 ## - CONTENT TYPE
Content type term	text
Content type code	txt
Source	rdacontent
337 ## - MEDIA TYPE
Media type term	computer
Media type code	c
Source	rdamedia
338 ## - CARRIER TYPE
Carrier type term	online resource
Carrier type code	cr
Source	rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type	text file
Encoding format	PDF
Source	rda
490 1# - SERIES STATEMENT
Series statement	Lecture Notes in Artificial Intelligence,
International Standard Serial Number	2945-9141 ;
Volume/sequential designation	12325
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note	Two Algorithms for Additive and Fair Division of Mixed Manna -- Dynamic Play via Suit Factorization Search in Skat -- Dynamic Channel and Layer Gating in Convolutional Neural Network -- Contour-based Segmentation of Historical Printings -- Hybrid Ranking and Regression for Algorithm Selection -- Conditional Reasoning and Relevance -- HTN Plan Repair via Model Transformation -- Nonmonotonic Inferences with Qualitative Conditionals Based on Preferred Structures on Worlds -- Positive Free Higher-Order Logic and its Automation via a Semantical Embedding -- Low-Rank Subspace Override for Unsupervised Domain Adaptation -- Expressive Explanations of DNNs by Combining Concept Analysis with ILP -- Stable Resolving - A Randomized Local Search Heuristic for MaxSAT -- A Virtual Caregiver for Assisted Daily Living of Pre-Frail Users -- Exploring the Effects of Role Design on Agent Learning -- Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation -- Multi-Agent Path Finding Modulo Theory with Continuous Movements and the Sum of Costs Objective -- Meta-Induction, Probability Aggregation, and Optimal Scoring -- Cones, Negation, and All That -- Swarm-based Cluster Analysis for Knowledge Discovery -- Draw with Me: Human-in-the-Loop for Image Restoration -- Reasonable Machines: A Research Manifesto -- A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty -- Earnings Prediction with Deep Leaning -- Integrating Keywords into BERT4Rec for Sequential Recommendation -- Modelling and Reasoning in Biomedical Applications with Qualitative Conditional Logic -- Conformal Rule-Based Multi-label Classification -- Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem -- Fast Pathfinding in Knowledge Graphs Using Word Embeddings -- A Visually Explainable Learning System for Skin Lesion Detection Using Multiscale Input with Attention U-Net -- Evaluation of Deep Learning Accelerators for Object Detection at theEdge.-Learning Choice Functions via Pareto-Embeddings -- Simulation-Based Validation of Robot Commands for Force-based Robot Motions -- Firefighter Virtual Reality Simulation for Personalized Stress Detection -- The AI Domain Definition Language (AIDDL) for Integrated Systems.
520 ## - SUMMARY, ETC.
Summary, etc.	This book constitutes the refereed proceedings of the 43rd German Conference on Artificial Intelligence, KI 2020, held in Bamberg, Germany, in September 2020. The 16 full and 12 short papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 62 submissions. As well-established annual conference series KI is dedicated to research on theory and applications across all methods and topic areas of AI research. KI 2020 had a special focus on human-centered AI with highlights on AI and education and explainable machine learning. Due to the Corona pandemic KI 2020 was held as a virtual event.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Artificial intelligence.

Topical term or geographic name entry element	Computer science.
9 (RLIN)	370

Topical term or geographic name entry element	Image processing
General subdivision	Digital techniques.
9 (RLIN)	118

Topical term or geographic name entry element	Computer vision.
9 (RLIN)	2455

Topical term or geographic name entry element	Software engineering.
9 (RLIN)	864

Topical term or geographic name entry element	Database management.
9 (RLIN)	1343

Topical term or geographic name entry element	Application software.
9 (RLIN)	4694

Topical term or geographic name entry element	Artificial Intelligence.

Topical term or geographic name entry element	Theory of Computation.

Topical term or geographic name entry element	Computer Imaging, Vision, Pattern Recognition and Graphics.

Topical term or geographic name entry element	Software Engineering.
9 (RLIN)	864

Topical term or geographic name entry element	Database Management.
9 (RLIN)	1343

Topical term or geographic name entry element	Computer and Information Systems Applications.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Schmid, Ute.
Relator term	editor.
Relator code	edt
--	http://id.loc.gov/vocabulary/relators/edt

Personal name	Klügl, Franziska.
Relator term	editor.
Relator code	edt
--	http://id.loc.gov/vocabulary/relators/edt

Personal name	Wolter, Diedrich.
Relator term	editor.
Relator code	edt
--	http://id.loc.gov/vocabulary/relators/edt
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element	SpringerLink (Online service)
9 (RLIN)	59873
773 0# - HOST ITEM ENTRY
Title	Springer Nature eBook
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information	Printed edition:
International Standard Book Number	9783030582845

Relationship information	Printed edition:
International Standard Book Number	9783030582869
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title	Lecture Notes in Artificial Intelligence,
International Standard Serial Number	2945-9141 ;
Volume/sequential designation	12325
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier	<a href="https://doi.org/10.1007/978-3-030-58285-2">https://doi.org/10.1007/978-3-030-58285-2</a>
912 ## -
--	ZDB-2-SCS

--	ZDB-2-SXCS

--	ZDB-2-LNC

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Not for loan	Collection code	Home library	Current library	Date acquired	Source of acquisition	Cost, normal purchase price	Inventory number	Barcode	Date last seen	Cost, replacement price	Date shelved	Koha item type
		Library of Congress Classification	Geçerli değil-e-Kitap / Not applicable-e-Book	E-Kitap Koleksiyonu	Merkez Kütüphane	Merkez Kütüphane	16/12/2024	Satın Alma / Purchase	0.00	BİL/YAP	EBK03575	16/12/2024	0.00	16/12/2024	E-Book