Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies

Download PDF

Laura Giordano, Alberto Martelli, Daniele Theseider Dupré

Published: 01 Jan 2019, Last Modified: 16 Aug 2024OVERLAY@AI*IA 2019EveryoneRevisionsBibTeXCC BY-SA 4.0