VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

Disclaimer | Powered by EasyChair Smart Program