CICLOPS-WLPE 2014 PAPERS

Editors: Thomas Stroeder and Terrance Swift

Authors	Title	Paper	Talk
Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes and Carsten Fuhs	Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs		Jul 18 14:30
Michael Codish, Luís Cruz-Filipe, Michael Frank and Peter Schneider-Kamp	Proofs for Optimality of Sorting Networks by Logic Programming		Jul 17 08:45
Joachim Jansen and Gerda Janssens	Refining definitions with unknown opens using XSB for IDP3		Jul 17 10:45
Alexei A. Morozov and Alexander F. Polupanov	Intelligent Visual Surveillance Logic Programming: Implementation Issues		Jul 18 16:30
Vincent Bloemen, Daniel Diaz, Machiel van der Bijl and Salvador Abreu	Extending the Finite Domain Solver of GNU Prolog		Jul 17 14:30
Gopalan Nadathur and Mary Southern	A Lambda Prolog Based Animation of Twelf Specifications		Jul 17 11:15
Jose F. Morales and Manuel V. Hermenegildo	Towards Pre-Indexed Terms		Jul 17 12:15
Md Solimul Chowdhury and Jia-Huai You	A System for Embedding Global Constraints into SAT		Jul 17 11:45
Jan Wielemaker	SWI-Prolog version 7 extensions		Jul 17 15:00
Flavio Cruz, Ricardo Rocha and Seth Goldstein	A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs		Jul 18 17:00
Theofrastos Mantadelis and Ricardo Rocha	A Portable Prolog Predicate for Printing Rational Terms		Jul 17 15:30