This half-day workshop is devoted to analysing all aspects of logic programs and deductive databases from the complexity and recursion-theoretic perspective. Authors are encouraged to submit papers -- perhaps more specialized than the papers normally accepted by symposia and conferences on Logic Programming, as well as papers discussing research in progress -- devoted to the area. Specific examples of topics include, but are not limited to: expressive power, deductive computational complexity, tractible fragments, representative fragments, linear/mathematical programming techniques, and topological and game-theoretic approaches.
Organizers: Victor Marek (University of Kentucky, USA) Howard A. Blair (Syracuse University, USA) Anil Nerode (Cornell University, USA) Jeffrey Remmel (University of California at San Diego, USA)
Contact person: Victor MarekCopyright © Sat May 16 23:41:36 2009 by Michael Ley (email@example.com)