Multi-shot ASP solving with clingo

Multi-shot ASP solving with clingo

27 May 2017

Roland Kaminski

Papers citing "Multi-shot ASP solving with clingo"

12 / 12 papers shown

Title
Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version) Jorge Fandinno Yuliya Lierler 53 0 0 25 Mar 2025
Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios Ruolin Wang Yuejiao Xu Jianmin Ji 103 0 0 21 Feb 2025
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding Francesco Calimeri Giovambattista Ianni Francesco Pacenza S. Perri J. Zangari LRM ReLM 71 6 0 22 Dec 2024
LLM+Reasoning+Planning for Supporting Incomplete User Queries in Presence of APIs Sudhir Agarwal A. Sreepathy David H. Alonso Prarit Lamba LRM 101 1 0 21 May 2024
ASP-Core-2 Input Language Format Francesco Calimeri Wolfgang Faber Martin Gebser Giovambattista Ianni Roland Kaminski T. Krennwallner Nicola Leone Marco Maratea Francesco Ricca Torsten Schaub KELM 53 260 0 11 Nov 2019
A Framework for Easing the Development of Applications Embedding Answer Set Programming Francesco Calimeri Davide Fuscà Stefano Germano S. Perri J. Zangari 35 17 0 21 Jul 2017
Clingo goes Linear Constraints over Reals and Integers Tomi Janhunen Roland Kaminski M. Ostrowski Torsten Schaub S. Schellhorn P. Wanko 36 58 0 13 Jul 2017
Clingcon: The Next Generation Mutsunori Banbara B. Kaufmann M. Ostrowski Torsten Schaub 36 56 0 12 May 2017
Driving CDCL Search Carmine Dodaro Philip Gasteiger Nicola Leone Benjamin Musitsch Francesco Ricca Konstantin Schekotihin 23 1 0 16 Nov 2016
A System for Interactive Query Answering with Answer Set Programming Martin Gebser Philipp Obermeier Torsten Schaub KELM LRM 35 4 0 20 Dec 2013
Conflict-driven ASP Solving with External Sources Thomas Eiter Michael Fink T. Krennwallner Christoph Redl LRM 63 37 0 05 Oct 2012
A prototype of a knowledge-based programming environment Stef De Pooter Johan Wittocx M. Denecker 46 27 0 29 Aug 2011