VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

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

Disclaimer | Powered by EasyChair Smart Program