VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: ACDEFGILOPRSTV
A
abnormal behavior detection
Actor Prolog
anomalous human activity
applications
C
complex events recognition
computer vision
concurrent logic programming
Constraint Logic Programming
Constraints
CSP
D
declarative modeling
Definition evaluation
Definition refining
dependently typed lambda calculus
dict
E
embedding
F
Finite Domain Solver
functional notation
G
Global Constraints
I
IDP3
Implementation
indexing
Integration
intelligent visual surveillance
L
linear logic
linear logic programming
logic programming
O
object-oriented logic programming
optimization
P
parallel programming
Portability
Prolog
Prolog to Java translation
R
Rational Terms
Refining partial structures
S
SAT
simply typed lambda calculus
string
T
technical vision
teyjus system
twelf
V
virtual machine