Strong Equivalence in Answer Set Programming with Constraints

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cabalar, Pedro, Fandinno, Jorge, Schaub, Torsten, Wanko, Philipp
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science I.2.4; I.2.8
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2502.04302