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 Marek
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.