WFLP/WLP 2013 Accepted Papers

James Gil de Lamadrid. FOBS-X: An Extensible Hybrid Functional-Object-Oriented Scripting Language
Marcus Ermler. Towards a Verification Framework for Haskell by Combining Graph Transformation Units and SAT Solving
Nikita Danilenko. And... Action! - Monoid Acts and (Pre)orders
Chiaki Sakama. Debate Games in Logic Programming
Alexander Bau and Johannes Waldmann. Propositional Encoding of Constraints over Tree-Shaped Data
Marcus Ermler. A SAT-Based Graph Rewriting and Verification Tool implemented in Haskell
Carlos Alberto Martínez-Angeles, Ines Dutra, Vítor Santos-Costa and Jorge Buenabad-Chavez. A Datalog Engine for GPUs
Mingmin Chen, Shizhuo Yu, Nico Franz, Shawn Bowers and Bertram Ludascher. Euler/X: A Toolkit for Logic-based Taxonomy Integration
Jomu George Mani Paret and Otmane Ait Mohamed. Coverage Driven Test Generation and Consistency Algorithm
Alexander Šimko. Extension of Gelfond-Lifschitz Reduction for Preferred Answer Sets : Preliminary Report
Christoph Beierle and Udo Lelitko. On an Approach to Implementing Exact Real Arithmetic in Curry
Claus Zinn. Heuristic Search Over Program Transformations
Baltasar Trancón Y Widemann and Markus Lepper. Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley
Ella Albrecht, Patrick Krümpelmann and Gabriele Kern-Isberner. Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs