Smart Devices and Large Scale Reasoning via ASP: Tools and ApplicationsRemote
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 JanDisplayed 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 25mTalk | 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 25mTalk | 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 25mTalk | 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 25mTalk | Implementing Stable-Unstable Semantics with ASPTOOLS and ClingoRemote PADL Tomi Janhunen Tampere University |