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