Driven by deep neural networks (DNN), the recent development of computer vision makes
vision sensors such as stereo cameras and Lidars ubiquitous in autonomous cars, robotics …

We introduce a novel logic-based system for reasoning over data streams, which relies on a
framework enabling a tight, fine-tuned interaction between Apache Flink and the-DLV …

Stream Reasoning is a well established field not only in the Semantic Web, but is also
adapted in the knowledge representation and reasoning and AI community in general. In the …

DLV2 is an AI tool for Knowledge Representation and Reasoning which supports Answer
Set Programming (ASP)–a logic-based declarative formalism, successfully used in both …

The repeated execution of reasoning tasks is desirable in many applicative scenarios, such
as stream reasoning and event processing. When using answer set programming in such …

Efficient decision-making over continuously changing data is essential for many application
domains such as cyber-physical systems, industry digitalization, etc. Modern stream …

Incremental techniques aim at making it possible to improve the performance of the
grounding and solving processes by reusing the results of previous executions. Clingo …

Abstract Answer Set Programming (ASP) is a declarative formalism, developed in the field of
nonmonotonic reasoning and recognized as a powerful tool for Knowledge Representation …

Automating acts on touch surfaces opens a range of possibilities for researching and
experimenting with hybrid AI approaches. In this paper, we propose a delta robot capable of …

I-DLV-sr is a recently proposed logic-based system for reasoning over data streams, which
relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the …