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.

lpopt: A Rule Optimization Tool for Answer Set Programming

Manuel Bichler, Michael Morak, Stefan Woltran. lpopt: A Rule Optimization Tool for Answer Set Programming. In Manuel V. Hermenegildo, Pedro López-García 0001, editors, Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. Volume 10184 of Lecture Notes in Computer Science, pages 114-130, Springer, 2016. [doi]

Authors

Manuel Bichler

This author has not been identified. Look up 'Manuel Bichler' in Google

Michael Morak

This author has not been identified. Look up 'Michael Morak' in Google

Stefan Woltran

This author has not been identified. Look up 'Stefan Woltran' in Google
runs on