Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
summary
A framework called DLV-LS runs ASP on constrained devices and offloads heavy queries to a RESTful server, combining DLV-ME on Android/Raspberry with DLV-EE backed by Hadoop, SQL and Elasticsearch via external atoms. The system generates minute‑level itinerary slots from sensor and preference inputs, exports ASP encodings into an Android app, and executes planning locally while delegating large joins and aggregations to the enterprise node; the demo produces feasible routes under tight time and category constraints and runs end‑to‑end.
AI-written summary · about
chapters (6)
- 0:00ASP and smart devices intro
- 2:19Reasoning on smart devices
- 5:31dlV Enterprise & Mobile
- 8:41Tourist itinerary planning
- 13:47ASPIDE demo Android & Pi
- 18:54ASP future directions
related talks
56mDeveloping AI Applications with SQL AI: Ground to Cloud to Fabric
45mForget SQL! Create your own AI Data Analyst
50mBuilding AI ready applications
15marchive – Manohar Sai Jasti
15mDeveloping the TomTom Intelligent Vehicle Assistant: Leveraging Generative AI and Azure Cosmos DB
01h 12mBuilding Scalable GenAI Apps Using Semantic Kernel and .NET Aspire
10mBuilding Intelligent Data Analysis Applications with OpenAI's LLMs and Azure Cosmos DB
19mLeveraging Cassandra to Provide Generative AI That Powers Enterprise Analytics