Encoding Reversing Petri Nets in Answer Set Programming release_i6rhdi3wy5dura4wdvagoipk54

by Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara

Published in Lecture Notes in Computer Science by Springer International Publishing.

2020   p264-271

Archived Files and Locations

application/pdf  698.8 kB
file_igm4igmjezbrlhbi43aell5wye
link.springer.com (publisher)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2020
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 33644d31-42d4-48e8-84bf-6f9cfad04867
API URL: JSON