arxivst stuff from arxiv that you should probably bookmark

AppLP: A Dialogue on Applications of Logic Programming

Abstract · Apr 7, 2017 21:10 ·

programming workshop logic invited programming talks included program logic talk cs-pl cs-ai cs-lo cs-se

Arxiv Abstract

  • David S. Warren
  • Yanhong A. Liu

This document describes the contributions of the 2016 Applications of Logic Programming Workshop (AppLP), which was held on October 17 and associated with the International Conference on Logic Programming (ICLP) in Flushing, New York City.

Read the paper (pdf) »