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

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