Activities per year
Abstract
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 language | English |
---|---|
Title of host publication | Foundations of Intelligent Systems |
Subtitle of host publication | 25th International Symposium, ISMIS 2020, Proceedings |
Editors | Denis Helic, Martin Stettinger, Alexander Felfernig, Gerhard Leitner, Zbigniew W. Ras |
Place of Publication | Cham |
Publisher | Springer, Cham |
Pages | 298-307 |
Number of pages | 10 |
ISBN (Print) | 9783030594909 |
DOIs | |
Publication status | Published - 17 Sept 2020 |
Event | 25th International Symposium on Methodologies for Intelligent Systems - TU Graz, Virtuell, Austria Duration: 23 Sept 2020 → 25 Sept 2020 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 12117 LNAI |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 25th International Symposium on Methodologies for Intelligent Systems |
---|---|
Abbreviated title | ISMIS 2020 |
Country/Territory | Austria |
City | Virtuell |
Period | 23/09/20 → 25/09/20 |
Keywords
- Application of answer set programming
- Diagnosis
- Qualitative reasoning
- Spatial reasoning
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)
Activities
-
Explaining Object Motion Using Answer Set Programming
Lorenz Klampfl (Speaker)
24 Sept 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
25th International Symposium on Methodologies for Intelligent Systems
Lorenz Klampfl (Participant)
23 Sept 2020 → 25 Sept 2020Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)