External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Translating Answer-Set Programs into Bit-Vector Logic

Mai Nguyen, Tomi Janhunen, Ilkka Niemelä. Translating Answer-Set Programs into Bit-Vector Logic. In Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf, editors, Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers. Volume 7773 of Lecture Notes in Computer Science, pages 95-113, Springer, 2011. [doi]

Authors

Mai Nguyen

This author has not been identified. Look up 'Mai Nguyen' in Google

Tomi Janhunen

This author has not been identified. Look up 'Tomi Janhunen' in Google

Ilkka Niemelä

This author has not been identified. Look up 'Ilkka Niemelä' in Google
runs on