CICLOPS-WLPE 2014 PAPERS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A C D E F G I L O P R S T V

A
abnormal behavior detection	Intelligent Visual Surveillance Logic Programming: Implementation Issues (PDF, talk)
Actor Prolog	Intelligent Visual Surveillance Logic Programming: Implementation Issues (PDF, talk)
anomalous human activity	Intelligent Visual Surveillance Logic Programming: Implementation Issues (PDF, talk)
applications	SWI-Prolog version 7 extensions (PDF, talk)
C
complex events recognition	Intelligent Visual Surveillance Logic Programming: Implementation Issues (PDF, talk)
computer vision	Intelligent Visual Surveillance Logic Programming: Implementation Issues (PDF, talk)
concurrent logic programming	Intelligent Visual Surveillance Logic Programming: Implementation Issues (PDF, talk)
Constraint Logic Programming	Extending the Finite Domain Solver of GNU Prolog (PDF, talk)
Constraints	Extending the Finite Domain Solver of GNU Prolog (PDF, talk)
CSP	A System for Embedding Global Constraints into SAT (PDF, talk)
D
Declarative modeling	Refining definitions with unknown opens using XSB for IDP3 (PDF, talk)
Definition evaluation	Refining definitions with unknown opens using XSB for IDP3 (PDF, talk)
Definition refining	Refining definitions with unknown opens using XSB for IDP3 (PDF, talk)
dependently typed lambda calculus	A Lambda Prolog Based Animation of Twelf Specifications (PDF, talk)
dict	SWI-Prolog version 7 extensions (PDF, talk)
E
embedding	A System for Embedding Global Constraints into SAT (PDF, talk)
F
Finite Domain Solver	Extending the Finite Domain Solver of GNU Prolog (PDF, talk)
functional notation	SWI-Prolog version 7 extensions (PDF, talk)
G
Global Constraints	A System for Embedding Global Constraints into SAT (PDF, talk)
I
IDP3	Refining definitions with unknown opens using XSB for IDP3 (PDF, talk)
Implementation	Extending the Finite Domain Solver of GNU Prolog (PDF, talk) A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs (PDF, talk) A Portable Prolog Predicate for Printing Rational Terms (PDF, talk)
indexing	Towards Pre-Indexed Terms (PDF, talk)
Integration	A System for Embedding Global Constraints into SAT (PDF, talk)
intelligent visual surveillance	Intelligent Visual Surveillance Logic Programming: Implementation Issues (PDF, talk)
L
linear logic	A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs (PDF, talk)
linear logic programming	A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs (PDF, talk)
Logic Programming	A Lambda Prolog Based Animation of Twelf Specifications (PDF, talk) A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs (PDF, talk)
O
object-oriented logic programming	Intelligent Visual Surveillance Logic Programming: Implementation Issues (PDF, talk)
optimization	Towards Pre-Indexed Terms (PDF, talk)
P
parallel programming	A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs (PDF, talk)
Portability	A Portable Prolog Predicate for Printing Rational Terms (PDF, talk)
Prolog	Extending the Finite Domain Solver of GNU Prolog (PDF, talk) Towards Pre-Indexed Terms (PDF, talk) SWI-Prolog version 7 extensions (PDF, talk) A Portable Prolog Predicate for Printing Rational Terms (PDF, talk)
Prolog to Java translation	Intelligent Visual Surveillance Logic Programming: Implementation Issues (PDF, talk)
R
Rational Terms	A Portable Prolog Predicate for Printing Rational Terms (PDF, talk)
Refining partial structures	Refining definitions with unknown opens using XSB for IDP3 (PDF, talk)
S
SAT	A System for Embedding Global Constraints into SAT (PDF, talk)
simply typed lambda calculus	A Lambda Prolog Based Animation of Twelf Specifications (PDF, talk)
string	SWI-Prolog version 7 extensions (PDF, talk)
T
technical vision	Intelligent Visual Surveillance Logic Programming: Implementation Issues (PDF, talk)
teyjus system	A Lambda Prolog Based Animation of Twelf Specifications (PDF, talk)
twelf	A Lambda Prolog Based Animation of Twelf Specifications (PDF, talk)
V
virtual machine	A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs (PDF, talk)