CICLOPS-WLPE 2014 PAPERS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D E F G H J M N P R S V W Y

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