Toggle navigation
OpenReview
.net
Login
×
Go to
DBLP
homepage
Verification with Answer Set Programming, Reasoning about Actions and Change, Constraints and Ontologies
Laura Giordano
,
Alberto Martelli
,
Daniele Theseider Dupré
Published: 01 Jan 2019, Last Modified: 16 Aug 2024
OVERLAY@AI*IA 2019
Everyone
Revisions
BibTeX
CC BY-SA 4.0
Loading