View in EDS PDF Full Text

ANTHEM 2.0: Automated Reasoning for Answer Set Programming.

Saved in:
Bibliographic Details
Title: ANTHEM 2.0: Automated Reasoning for Answer Set Programming.
Authors: FANDINNO, JORGE1 (AUTHOR), HANSEN, ZACHARY1,2 (AUTHOR), LIERLER, YULIYA1,3 (AUTHOR), GLINZER, CHRISTOPH1,2 (AUTHOR), HEUER, JAN2 (AUTHOR), SCHAUB, TORSTEN2,3 (AUTHOR), STOLZMANN, TOBIAS2 (AUTHOR), LIFSCHITZ, VLADIMIR3 (AUTHOR)
Source: Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p668-684. 17p.
Database: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S1471068425100112