Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Title of host publicationThe Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary
EditorsMarcello Balduccini, Trao Can Son
Publication statusPublished - 2011
MoE publication typeA4 Article in a conference publication

Publication series

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

ID: 541455