VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Abseher, Michael	The D-FLAT System for Dynamic Programming on Tree Decompositions
B
Berg, Jeremias	Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability
Bliem, Bernhard	The D-FLAT System for Dynamic Programming on Tree Decompositions
Bogaerts, Bart	Meta-level Representations in the IDP Knowledge Base System: Bootstrapping Inference Engine Development Lazy Model Expansion: Interleaving Grounding with Search
Bruynooghe, Maurice	Meta-level Representations in the IDP Knowledge Base System: Bootstrapping Inference Engine Development Lazy Model Expansion: Interleaving Grounding with Search
C
Charwat, Günther	The D-FLAT System for Dynamic Programming on Tree Decompositions
D
De Cat, Broes	Meta-level Representations in the IDP Knowledge Base System: Bootstrapping Inference Engine Development Lazy Model Expansion: Interleaving Grounding with Search
Demirović, Emir	Modeling High School Timetabling as PartialWeighted maxSAT
Denecker, Marc	Meta-level Representations in the IDP Knowledge Base System: Bootstrapping Inference Engine Development Lazy Model Expansion: Interleaving Grounding with Search
Dusberger, Frederico	The D-FLAT System for Dynamic Programming on Tree Decompositions
H
Hecher, Markus	The D-FLAT System for Dynamic Programming on Tree Decompositions
J
Janhunen, Tomi	Cross-Translating Answer Set Programs
Jansen, Joachim	Meta-level Representations in the IDP Knowledge Base System: Bootstrapping Inference Engine Development
Janssens, Gerda	Meta-level Representations in the IDP Knowledge Base System: Bootstrapping Inference Engine Development
Järvisalo, Matti	Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability
K
Korovin, Konstantin	Instantiation-based reasoning, EPR encodings and all that
L
Lash,	Depart for Workshop Lunch
Lash,	LaSh and QUANTIFY Openings
M
Malone, Brandon	Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability
Musliu, Nysret	Modeling High School Timetabling as PartialWeighted maxSAT
Q
Quantify,	LaSh and QUANTIFY Openings
S
Stuckey, Peter	Laziness is next to Godliness Lazy Model Expansion: Interleaving Grounding with Search
T
Tasharrofi, Shahab	Logical Machinery of Heuristics (Preliminary Report)
Ternovska, Eugenia	Logical Machinery of Heuristics (Preliminary Report)
W
Woltran, Stefan	The D-FLAT System for Dynamic Programming on Tree Decompositions

Disclaimer | Powered by EasyChair Smart Program