Multi-shot ASP solving with clingo

27 May 2017

Papers citing "Multi-shot ASP solving with clingo"

25 / 25 papers shown

Title
Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version) Jorge Fandinno Yuliya Lierler 34 0 0 25 Mar 2025
NeSyC: A Neuro-symbolic Continual Learner For Complex Embodied Tasks In Open Domains Wonje Choi Jinwoo Park Sanghyun Ahn Daehee Lee Honguk Woo 86 1 0 02 Mar 2025
Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios Ruolin Wang Yuejiao Xu Jianmin Ji 87 0 0 21 Feb 2025
ASP-driven User-interaction with Clinguin Alexander Beiser Susana Hahn Torsten Schaub CLIP 78 1 0 13 Feb 2025
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding Francesco Calimeri Giovambattista Ianni Francesco Pacenza S. Perri J. Zangari LRM ReLM 41 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 52 1 0 21 May 2024
Extending Answer Set Programming with Rational Numbers Francesco Pacenza J. Zangari AIMat 25 0 0 07 Dec 2023
dPASP: A Comprehensive Differentiable Probabilistic Answer Set Programming Environment For Neurosymbolic Learning and Reasoning Renato Lui Geh J. Gonçcalves I. Silveira Denis Deratani Mauá Fabio Gagliardi Cozman BDL 8 4 0 05 Aug 2023
Learning Differentiable Logic Programs for Abstract Visual Reasoning Hikaru Shindo Viktor Pfanschilling D. Dhami Kristian Kersting NAI 19 6 0 03 Jul 2023
Solving Projected Model Counting by Utilizing Treewidth and its Limits J. Fichte Markus Hecher Michael Morak Patrick Thier S. Woltran 17 7 0 30 May 2023
Knowledge Authoring for Rules and Actions Yuheng Wang Paul Fodor M. Kifer LRM 11 2 0 12 May 2023
Generalisation Through Negation and Predicate Invention David M. Cerna Andrew Cropper NAI 22 3 0 18 Jan 2023
Logic programming for deliberative robotic task planning Daniele Meli H. Nakawala Paolo Fiorini 16 9 0 18 Jan 2023
Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming Richard Comploi-Taupe G. Friedrich Konstantin Schekotihin A. Weinzierl 11 1 0 19 Sep 2022
Learning First-Order Symbolic Planning Representations That Are Grounded Andrés Occhipinti Liberman Blai Bonet Hector Geffner NAI 11 7 0 25 Apr 2022
Process discovery on deviant traces and other stranger things F. Chesani Chiara Di Francescomarino Chiara Ghidini Daniela Loreti F. Maggi P. Mello Marco Montali Sergio Tessaris AI4TS 17 3 0 30 Sep 2021
Aggregate Semantics for Propositional Answer Set Programs Mario Alviano Wolfgang Faber M. Gebser 26 8 0 17 Sep 2021
Automata Techniques for Temporal Answer Set Programming Susana Hahn AI4CE 14 1 0 17 Sep 2021
Learning First-Order Representations for Planning from Black-Box States: New Results I. D. Rodriguez Blai Bonet J. Romero Hector Geffner NAI 12 21 0 23 May 2021
Predicate Invention by Learning From Failures Andrew Cropper Rolf Morel 9 12 0 29 Apr 2021
How to build your own ASP-based system?! Roland Kaminski J. Romero Torsten Schaub P. Wanko 6 30 0 15 Aug 2020
Managing caching strategies for stream reasoning with reinforcement learning Carmine Dodaro Thomas Eiter Paul Ogris Konstantin Schekotihin 11 6 0 07 Aug 2020
Incremental maintenance of overgrounded logic programs with tailored simplifications Giovambattista Ianni Francesco Pacenza J. Zangari 11 9 0 06 Aug 2020
Learning programs by learning from failures Andrew Cropper Rolf Morel 21 87 0 05 May 2020
Conflict-driven ASP Solving with External Sources Thomas Eiter Michael Fink T. Krennwallner Christoph Redl LRM 55 37 0 05 Oct 2012