Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2307.06382
Cited By
Rethinking Answer Set Programming Templates
12 July 2023
Mario Alviano
Giovambattista Ianni
Francesco Pacenza
J. Zangari
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Rethinking Answer Set Programming Templates"
1 / 1 papers shown
Title
Relating Answer Set Programming and Many-sorted Logics for Formal Verification
Zachary Hansen
LRM
97
0
0
13 Feb 2025
1
