AF:Conference: Algorithmic Decision Theory/LPNMR

We propose a joint doctoral consortium for the conferences Algorithmic Decision Theory (ADT 2015) and Logic Programming and Nonmonotonic Reasoning (LPNMR 2015). The conferences will meet in parallel in downtown Lexington, Kentucky. While LPNMR (really, ASP, Answer Set Programming) and ADT (Algorithmic Decision Theory) appear motivated by different domains (one is a tool for finite-domain constraint solving, whereas the other deals with decision and search problems motivated by social choice), there is a significant overlap of interests of both communities. Both deal with the algorithmic solutions to problems generated in AI practice. Moreover, there is a significant intersection of communities. This confluence of conferences creates a unique opportunity to "de-Balkanize" both areas for future ties. The broader impacts of this doctoral consortium will be to provide exposure for the students to research in their own and a closely related area, and to expose their work to members of both communities. The students will receive networking opportunities and personal mentoring from more senior members of their communities. Thus, the next generation of AF practitioners will be encouraged and guided on their research and career paths.