Mon 17 Jan 2022 10:20 - 10:45 at Directors - Languages, Methods and Tools Chair(s): Esra Erdem

In the last few years, we have been witnessing the spread of computing devices getting smaller and smaller (e.g., Smartphones, Smart Devices, Raspberry, etc.), and the production and availability of data getting bigger and bigger. In this work we introduce DLV Large Scale (DLV-LS), a framework based on Answer Set Programming (ASP) for performing declarative-based reasoning tasks over data-intensive applications, possibly on Smart Devices. The framework encompasses DLV Mobile Edition(DLV-ME), an ASP based solver for Android systems and Raspberry devices, and DLV Enterprise Edition (DLV-EE), an ASP-based platform, accessible by REST interfaces, for large-scale reasoning over Big Data, classical relational database systems, and NoSQL databases. DLV-LS enables Smart Devices to both locally perform reasoning over data generated by their own sensors and properly interact with DLV-EE when more computational power is needed for harder tasks, possibly over bigger centralized data. We present also a real-world application of DLV-LS; the use case consists of a tourist navigator that calculates the best routes and optimizes a tour of a tourist under custom-defined time constraints.

Mon 17 Jan

Displayed time zone: Eastern Time (US & Canada) change

10:20 - 12:00
Languages, Methods and ToolsPADL at Directors
Chair(s): Esra Erdem Sabanci University, Turkey

Remote session chair

10:20
25m
Talk
Smart Devices and Large Scale Reasoning via ASP: Tools and ApplicationsRemote
PADL
Kristian Reale Department of Mathematics and Computer Science University of Calabria - DLVSystem S.r.l., Francesco Calimeri University of Calabria, Nicola Leone University of Calabria, Italy, Francesco Ricca University of Calabria, Italy
10:45
25m
Talk
Timed Concurrent Language for Argumentation: an Interleaving ApproachRemote
PADL
Stefano Bistarelli University of Perugia, Maria Chiara Meo University “G. d’Annunzio” of Chieti-Pescara, Carlo Taticchi University of Perugia
11:10
25m
Talk
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set ProgrammingRemote
PADL
Joaquín Arias Universidad Rey Juan Carlos, Manuel Carro IMDEA Software Institute and T.U. of Madrid (UPM), Gopal Gupta The University of Texas at Dallas
DOI Pre-print File Attached
11:35
25m
Talk
Implementing Stable-Unstable Semantics with ASPTOOLS and ClingoRemote
PADL
Tomi Janhunen Tampere University