Applying Visible Strong Equivalence in Answer-Set Program Transformations

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

Organisaatiot

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoCorrect Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz
ToimittajatEsra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce
TilaJulkaistu - 2012
OKM-julkaisutyyppiA3 Kirjan osa tai toinen tutkimuskirja

Julkaisusarja

NimiLecture Notes in Computer Science
KustantajaSpringer
Vuosikerta7265
ISSN (painettu)0302-9743

ID: 651663