Applying Visible Strong Equivalence in Answer-Set Program Transformations (2012)
AUTHORS:
Janhunen Tomi
,
Niemelä Ilkka
BOOKTITLE:
Correct Reasoning -- Essays on Logic-Based AI in Honour of Vladimir Lifschitz
SERIES:
Lecture Notes in Computer Science
VOLUME:
7265
PAGES:
363--379
URL:
http://dx.doi.org/10.1007/978-3-642-30743-0_24
@inproceedings{ JN12:vl65, editor = "Erdem, Esra and Lee, Joohyung and Lierler, Yuliya and Pearce, David", author = {Janhunen, Tomi and Niemel{\"a}, Ilkka}, isbn = "978-3-642-30742-3", series = "Lecture Notes in Computer Science", month = "June", il = "no", year = "2012", title = "Applying Visible Strong Equivalence in Answer-Set Program Transformations", eventlocation = "Rome, Italy", booktitle = "Correct Reasoning -- Essays on Logic-Based AI in Honour of Vladimir Lifschitz", juforank = "NA", unitcode = "T3060-99,T312-1", impactfactor = "A4", eventtime = "June 11", responsibleauthor = {Janhunen, Tomi, Niemel{\"a}, Ilkka}, address = "Rome, Italy", pages = "363--379", volume = "7265", publisher = "Springer", language = "eng", url = "http://dx.doi.org/10.1007/978-3-642-30743-0_24", country = "Germany", issn = "0302-9743", flags = "copy HIIT COIN" }