KI - Künstliche Intelligenz

Rethinking Computer Science Through AI

Kristian Kersting

Special Issue on Ontologies and Data Management: Part II

Thomas Schneider, Mantas Šimkus

A Short Survey on Inconsistency Handling in Ontology-Mediated Query Answering

Meghyn Bienvenu

Reasoner = Logical Calculus + Rule Engine

David Carral, Irina Dragoste, Markus Krötzsch

All-Instances Restricted Chase Termination for Linear TGDs

Tomasz Gogacz, Jerzy Marcinkowski, Andreas Pieris

Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules

Marie-Laure Mugnier

Error-Tolerance and Error Management in Lightweight Description Logics

Rafael Peñaloza

onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming

Timothy van Bremen, Anton Dries, Jean Christoph Jung

NoHR: An Overview

Vedran Kasalica, Matthias Knorr, João Leite, Carlos Lopes

The AAA ABox Abduction Solver

Júlia Pukancová, Martin Homola

Rewriting Approaches for Ontology-Mediated Query Answering

Shqiponja Ahmetaj

A Lightweight Defeasible Description Logic in Depth

Maximilian Pensel

Ontology-Mediated Querying with Horn Description Logics

Leif Sabellek

Defeasible Description Logics

Ivan Varzinczak

Semantic Technologies for Situation Awareness

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Veronika Thost, Anni-Yasmin Turhan

Interview with Diego Calvanese

Diego Calvanese, Mantas Šimkus

Visual Landmarks are Exaggerated: A Theoretical and Empirical View on the Meaning of Landmarks in Human Wayfinding

Kai Hamburger

Our Software Production is Still Some Sort of Hacking

Ubbo Visser

Towards Explanatory Interactive Image Captioning Using Top-Down and Bottom-Up Features, Beam Search and Re-ranking

Rajarshi Biswas, Michael Barz, Daniel Sonntag

News

In Memoriam Christian Freksa

Helen Piel, Rudolf Seising