Translating Answer-Set Programs into Bit-Vector Logic

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

Researchers

Research units

Details

Original languageEnglish
Title of host publication19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011
Subtitle of host publicationApplications of Declarative Programming and Knowledge Management
EditorsHans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf
Publication statusPublished - 2013
MoE publication typeA4 Article in a conference publication

Publication series

NameLecture Notes in Computer Science
Volume7773 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

ID: 639147