Explaining Object Motion Using Answer Set Programming

Franz Wotawa*, Lorenz Klampfl

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review


Identifying objects and their motion from sequences of digital images is of growing interest due to the increasing application of autonomous mobile systems like autonomous cars or mobile robots. Although the reliability of object recognition has been increased significantly, there are often cases arising where objects are not classified correctly. There might be objects detected in almost all images of a sequence but not all. Hence, there is a need for finding such situations and taking appropriate measures to improve the overall detection performance. In this paper, we contribute to this research direction and discuss the use of logic for identifying motion in sequences of images that can be used for this purpose. In particular, we introduce the application of diagnosis and show an implementation using answer set programming.

Original languageEnglish
Title of host publicationFoundations of Intelligent Systems
Subtitle of host publication25th International Symposium, ISMIS 2020, Proceedings
EditorsDenis Helic, Martin Stettinger, Alexander Felfernig, Gerhard Leitner, Zbigniew W. Ras
Place of PublicationCham
PublisherSpringer, Cham
Number of pages10
ISBN (Print)9783030594909
Publication statusPublished - 17 Sept 2020
Event25th International Symposium on Methodologies for Intelligent Systems - TU Graz, Virtuell, Austria
Duration: 23 Sept 202025 Sept 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12117 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference25th International Symposium on Methodologies for Intelligent Systems
Abbreviated titleISMIS 2020


  • Application of answer set programming
  • Diagnosis
  • Qualitative reasoning
  • Spatial reasoning

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this