LASH 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D H J K M S T W

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