Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2412.17143
Cited By
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
22 December 2024
Francesco Calimeri
Giovambattista Ianni
Francesco Pacenza
S. Perri
J. Zangari
LRM
ReLM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding"
2 / 2 papers shown
Title
Winning Snake: Design Choices in Multi-Shot ASP
Elisa Bohl
Stefan Ellmauthaler
S. A. Gaggl
19
0
0
15 Aug 2024
ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing
Claire Lefèvre
Christopher Béatrix
I. Stéphan
Laurent Garcia
LRM
44
57
0
26 Mar 2015
1
