Applying Visible Strong Equivalence in Answer-Set Program Transformations

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Title of host publicationCorrect Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz
EditorsEsra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce
Publication statusPublished - 2012
MoE publication typeA3 Part of a book or another research book

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume7265
ISSN (Print)0302-9743

ID: 651663