Lecture Notes in Computer Science - KI 2020: Advances in Artificial Intelligence
Latest Publications

TOTAL DOCUMENTS

33

(FIVE YEARS 33)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030582845, 9783030582852

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding

Lecture Notes in Computer Science - KI 2020: Advances in Artificial Intelligence ◽

10.1007/978-3-030-58285-2_9 ◽

2020 ◽

pp. 116-131

Author(s):

Irina Makarenko ◽

Christoph Benzmüller

Keyword(s):

Higher Order ◽

Order Logic ◽

Higher Order Logic

Download Full-text

A Visually Explainable Learning System for Skin Lesion Detection Using Multiscale Input with Attention U-Net

Lecture Notes in Computer Science - KI 2020: Advances in Artificial Intelligence ◽

10.1007/978-3-030-58285-2_28 ◽

2020 ◽

pp. 313-319

Author(s):

Duy Minh Ho Nguyen ◽

Abraham Ezema ◽

Fabrizio Nunnari ◽

Daniel Sonntag

Keyword(s):

Skin Lesion ◽

Lesion Detection ◽

Learning System

Download Full-text

Fast Pathfinding in Knowledge Graphs Using Word Embeddings

Lecture Notes in Computer Science - KI 2020: Advances in Artificial Intelligence ◽

10.1007/978-3-030-58285-2_27 ◽

2020 ◽

pp. 305-312

Author(s):

Leon Martin ◽

Jan H. Boockmann ◽

Andreas Henrich

Keyword(s):

Word Embeddings ◽

Knowledge Graphs

Download Full-text

A Heuristic Agent in Multi-Agent Path Finding Under Destination Uncertainty

Lecture Notes in Computer Science - KI 2020: Advances in Artificial Intelligence ◽

10.1007/978-3-030-58285-2_21 ◽

2020 ◽

pp. 259-266

Author(s):

Lukas Berger ◽

Bernhard Nebel ◽

Marco Ragni

Keyword(s):

Path Finding ◽

Download Full-text

Dynamic Play via Suit Factorization Search in Skat

Lecture Notes in Computer Science - KI 2020: Advances in Artificial Intelligence ◽

10.1007/978-3-030-58285-2_2 ◽

2020 ◽

pp. 18-32

Author(s):

Stefan Edelkamp

Download Full-text

Swarm-Based Cluster Analysis for Knowledge Discovery

Lecture Notes in Computer Science - KI 2020: Advances in Artificial Intelligence ◽

10.1007/978-3-030-58285-2_18 ◽

2020 ◽

pp. 240-244

Author(s):

Michael C. Thrun ◽

Alfred Ultsch

Keyword(s):

Cluster Analysis ◽

Knowledge Discovery

Download Full-text

Stable Resolving - A Randomized Local Search Heuristic for MaxSAT

Lecture Notes in Computer Science - KI 2020: Advances in Artificial Intelligence ◽

10.1007/978-3-030-58285-2_12 ◽

2020 ◽

pp. 163-175

Author(s):

Julian Reisch ◽

Peter Großmann ◽

Natalia Kliewer

Keyword(s):

Local Search ◽

Search Heuristic ◽

Local Search Heuristic

Download Full-text

HTN Plan Repair via Model Transformation

Lecture Notes in Computer Science - KI 2020: Advances in Artificial Intelligence ◽

10.1007/978-3-030-58285-2_7 ◽

2020 ◽

pp. 88-101 ◽

Author(s):

Daniel Höller ◽

Pascal Bercher ◽

Gregor Behnke ◽

Susanne Biundo

Keyword(s):

Model Transformation

Download Full-text

Conditional Reasoning and Relevance

Lecture Notes in Computer Science - KI 2020: Advances in Artificial Intelligence ◽

10.1007/978-3-030-58285-2_6 ◽

2020 ◽

pp. 73-87

Author(s):

Steffen Hölldobler

Keyword(s):

Conditional Reasoning

Download Full-text

Contour-Based Segmentation of Historical Printings

Lecture Notes in Computer Science - KI 2020: Advances in Artificial Intelligence ◽

10.1007/978-3-030-58285-2_4 ◽

2020 ◽

pp. 46-58

Author(s):

Norbert Fischer ◽

Alexander Gehrke ◽

Alexander Hartelt ◽

Markus Krug ◽

Frank Puppe

Download Full-text