VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Abou-Msabah, Slimane	An Enhanced Genetic Algorithm of the BLF2G Guillotine Placement Heuristic for the Orthogonal Cutting-Stock Problem
Alviano, Mario	Declarative Specification of Benchmark Sessions via ASP
Antoniou, Grigoris	Efficient Computation of the Well-Founded Semantics over Big Data
B
Baioletti, Marco	A Discrete Differential Evolution Algorithm for the Total Flowtime Flowshop Scheduling Problem
Berg, Jeremias	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
Bunte, Kerstin	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
C
Caianiello, Pasquale	Concept Learning by a Monte-Carlo Tree Search of Argumentations
Chiancone, Andrea	Self Regulating Mechanisms for Network Immunization
Costantini, Stefania	Concept Learning by a Monte-Carlo Tree Search of Argumentations
Cuteri, Bernardo	Declarative Specification of Benchmark Sessions via ASP
D
Draief, Moez	Concept Learning by a Monte-Carlo Tree Search of Argumentations
E
Erdem, Esra	A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks
F
Faber, Wolfgang	Efficient Computation of the Well-Founded Semantics over Big Data
Freuder, Eugene	Dispensable Instantiations in Constraint Satisfaction Problems
G
Grimes, Diarmuid	Dispensable Instantiations in Constraint Satisfaction Problems
I
Ignatiev, Alexey	Maximal Falsifiability: Definitions, Algorithms, and Applications
J
Järvisalo, Matti	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
K
Kamal, Amroun	A compression algorithm to improve generalized hypertree decomposition-based solving approaches for large extensional non binary CSP
Kaski, Samuel	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
M
Mancini, Luca	Self Regulating Mechanisms for Network Immunization
Marques-Silva, Joao	Maximal Falsifiability: Definitions, Algorithms, and Applications
Milani, Alfedo	A Discrete Differential Evolution Algorithm for the Total Flowtime Flowshop Scheduling Problem
Milani, Alfredo	Self Regulating Mechanisms for Network Immunization
Morgado, Antonio	Maximal Falsifiability: Definitions, Algorithms, and Applications
Myllymäki, Petri	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
P
Pathak, Shashank	Evaluating Probabilistic Model Checking Tools for Verification of Robot Control Policies
Patoglu, Volkan	A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks
Peltonen, Jaakko	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
Planes, Jordi	Maximal Falsifiability: Definitions, Algorithms, and Applications
Poggioni, Valentina	Self Regulating Mechanisms for Network Immunization
Pulina, Luca	Evaluating Probabilistic Model Checking Tools for Verification of Robot Control Policies
R
Ricca, Francesco	Declarative Specification of Benchmark Sessions via ASP
Riveret, Regis	Concept Learning by a Monte-Carlo Tree Search of Argumentations
S
Santucci, Valentino	A Discrete Differential Evolution Algorithm for the Total Flowtime Flowshop Scheduling Problem
Schüller, Peter	A Systematic Analysis of Levels of Integration between High-Level Task Planning and Low-Level Feasibility Checks
T
Tacchella, Armando	Evaluating Probabilistic Model Checking Tools for Verification of Robot Control Policies
Tachmazidis, Ilias	Efficient Computation of the Well-Founded Semantics over Big Data
W
Wallace, Richard	Dispensable Instantiations in Constraint Satisfaction Problems Neighbourhood SAC for Preprocessing and Search
Wassila, Aggoune-Mtalaa	A compression algorithm to improve generalized hypertree decomposition-based solving approaches for large extensional non binary CSP
Z
Zantema, Hans	Latin Squares with Graph Properties
Zineb, Habbas	A compression algorithm to improve generalized hypertree decomposition-based solving approaches for large extensional non binary CSP

Disclaimer | Powered by EasyChair Smart Program