Answer Se t Programming (ASP) is a declarative programming p aradigm with close relationships to neighboring fi elds such as ATP, CP, FO(.), SAT, SMT, and others. Since its inception in 2007, the ASP Competition series strives to evaluate and advance the state o f the art in ASP solving technology. The Internati onal Workshop on Practical Aspects of Answer Set P rogramming (PAoASP) addresses current developments of systems, tools, and applications in ASP and ne ighboring fields. To this end, it aims to bring to gether researchers and practitioners of declarativ e programming with dedicated focus on, but not lim ited to, recent methods and trends emerging from t he ASP Competition.
\n\nThe 1st Internatio nal Workshop on Practical Aspects of Answer Set Pr ogramming (PAoASP 2017) is organized in conjunctio n with the 7th Answer Set Programming Competition (ASPCOMP 2017) and affiliated with the 14th Intern ational Conference on Logic Programming and Nonmon otonic Reasoning (LPNMR 2017).
\nWe solicit the submission of papers on systems , tools, and applications of declarative programmi ng methods, developed in the area of ASP and neigh boring fields. In particular, we encourage submiss ions presenting recent developments, including wor k in progress.
\n\nTopics of interest incl ude, but are not limited to: Algorithm Selection a nd Configuration, Applications and Benchmarks, Emp irical Evaluation, Grounding and Solving, Implemen tation Techniques, Parallel Systems, Portfolio Sys tems, Reasoning Tasks, Theory Solving and Translat ion Methods.
\n