VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

A
Answer Set Programming
Argumentation
autonomy oriented computing
B
Backtracking
Benchmarking
Boolean optimization
C
cognitive robotics
Combinatorial optimization
complex networks
compression
Concept Learning
Constraint satisfaction problems
Cutting and Packing
D
data visualization
declarative specification
Differential Evolution
dispensability
distributed search
E
Experimental Evaluation
F
feasibility checks
G
Generalized Hypertree Decomposition
Genetic algorithms
graph property
Guillotine Constraint
H
Heuristics
hybrid algorithm
I
Immunization strategy
L
Latin square
local consistency
local optimum
M
MapReduce Framework
Maximal Falsifiability
Maximum Falsifiability
Maximum satisfiability
Minimal hitting set dualization
Minimum Satisfiability
Monte-Carlo Tree Search
N
neighborhood embedding
nonmonotonic reasoning
P
Parallel Reasoning
Permutation Flowshop Scheduling Problem
premature convergence
Probabilistic Model Checking
Probabilistic Model Checking Case Studies
R
Randomized Bubble Sort
S
SAT solving
self organization
self regulation
singleton arc consistency
substitutability
sudoku puzzle
T
task planning
W
Well-Founded Semantics