VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

A
Answer Set Programming	Declarative Specification of Benchmark Sessions via ASP A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks
Argumentation	Concept Learning by a Monte-Carlo Tree Search of Argumentations
autonomy oriented computing	Self Regulating Mechanisms for Network Immunization
B
Backtracking	A compression algorithm to improve generalized hypertree decomposition-based solving approaches for large extensional non binary CSP
Benchmarking	Declarative Specification of Benchmark Sessions via ASP
Boolean optimization	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
C
cognitive robotics	A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks
Combinatorial optimization	An Enhanced Genetic Algorithm of the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem
complex networks	Self Regulating Mechanisms for Network Immunization
compression	A compression algorithm to improve generalized hypertree decomposition-based solving approaches for large extensional non binary CSP
Concept Learning	Concept Learning by a Monte-Carlo Tree Search of Argumentations
Constraint satisfaction problems	Dispensable Instantiations in Constraint Satisfaction Problems A compression algorithm to improve generalized hypertree decomposition-based solving approaches for large extensional non binary CSP
Cutting and Packing	An Enhanced Genetic Algorithm of the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem
D
data visualization	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
declarative specification	Declarative Specification of Benchmark Sessions via ASP
Differential Evolution	A Discrete Differential Evolution Algorithm for the Total Flowtime Flowshop Scheduling Problem
dispensability	Dispensable Instantiations in Constraint Satisfaction Problems
distributed search	Self Regulating Mechanisms for Network Immunization
E
Experimental Evaluation	Evaluating Probabilistic Model Checking Tools for Verification of Robot Control Policies
F
feasibility checks	A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks
G
Generalized Hypertree Decomposition	A compression algorithm to improve generalized hypertree decomposition-based solving approaches for large extensional non binary CSP
Genetic algorithms	An Enhanced Genetic Algorithm of the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem
graph property	Latin Squares with Graph Properties
Guillotine Constraint	An Enhanced Genetic Algorithm of the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem
H
Heuristics	An Enhanced Genetic Algorithm of the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem
hybrid algorithm	Neighbourhood SAC for Preprocessing and Search
I
Immunization strategy	Self Regulating Mechanisms for Network Immunization
L
Latin square	Latin Squares with Graph Properties
local consistency	Neighbourhood SAC for Preprocessing and Search
local optimum	An Enhanced Genetic Algorithm of the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem
M
MapReduce Framework	Efficient Computation of the Well-Founded Semantics over Big Data
Maximal Falsifiability	Maximal Falsifiability: Definitions, Algorithms, and Applications
Maximum Falsifiability	Maximal Falsifiability: Definitions, Algorithms, and Applications
Maximum satisfiability	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
Minimal hitting set dualization	Maximal Falsifiability: Definitions, Algorithms, and Applications
Minimum Satisfiability	Maximal Falsifiability: Definitions, Algorithms, and Applications
Monte-Carlo Tree Search	Concept Learning by a Monte-Carlo Tree Search of Argumentations
N
neighborhood embedding	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
nonmonotonic reasoning	Efficient Computation of the Well-Founded Semantics over Big Data
P
Parallel Reasoning	Efficient Computation of the Well-Founded Semantics over Big Data
Permutation Flowshop Scheduling Problem	A Discrete Differential Evolution Algorithm for the Total Flowtime Flowshop Scheduling Problem
premature convergence	An Enhanced Genetic Algorithm of the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem
Probabilistic Model Checking	Evaluating Probabilistic Model Checking Tools for Verification of Robot Control Policies
Probabilistic Model Checking Case Studies	Evaluating Probabilistic Model Checking Tools for Verification of Robot Control Policies
R
Randomized Bubble Sort	A Discrete Differential Evolution Algorithm for the Total Flowtime Flowshop Scheduling Problem
S
SAT solving	Latin Squares with Graph Properties
self organization	Self Regulating Mechanisms for Network Immunization
self regulation	Self Regulating Mechanisms for Network Immunization
singleton arc consistency	Neighbourhood SAC for Preprocessing and Search
substitutability	Dispensable Instantiations in Constraint Satisfaction Problems
sudoku puzzle	Latin Squares with Graph Properties
T
task planning	A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks
W
Well-Founded Semantics	Efficient Computation of the Well-Founded Semantics over Big Data

Disclaimer | Powered by EasyChair Smart Program