RCRA 2014 PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D E F G H I L M N P R S T W

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