LASH 2014 PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: B D F H I K M P S T

B
Bayesian networks	Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability (PDF, talk)
Boolean optimization	Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability (PDF, talk)
Bootstrapping	Meta-level Representations in the IDP Knowledge Base System: Bootstrapping Inference Engine Development (PDF, talk)
D
Declarative systems	Meta-level Representations in the IDP Knowledge Base System: Bootstrapping Inference Engine Development (PDF, talk)
F
FO(.)	Meta-level Representations in the IDP Knowledge Base System: Bootstrapping Inference Engine Development (PDF, talk)
H
Heuristics	Logical Machinery of Heuristics (Preliminary Report) (PDF, talk)
High School Timetabling	Modeling High School Timetabling as PartialWeighted maxSAT (PDF, talk)
I
idp	Meta-level Representations in the IDP Knowledge Base System: Bootstrapping Inference Engine Development (PDF, talk)
K
Knowledge Representation and Reasoning	Logical Machinery of Heuristics (Preliminary Report) (PDF, talk)
M
Maximum satisfiability	Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability (PDF, talk)
MaxSAT	Modeling High School Timetabling as PartialWeighted maxSAT (PDF, talk)
Meta	Meta-level Representations in the IDP Knowledge Base System: Bootstrapping Inference Engine Development (PDF, talk)
Modelling	Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability (PDF, talk)
P
Proble-specific Solver	Logical Machinery of Heuristics (Preliminary Report) (PDF, talk)
S
sat encodings	Modeling High School Timetabling as PartialWeighted maxSAT (PDF, talk)
Solver Construction	Logical Machinery of Heuristics (Preliminary Report) (PDF, talk)
Solvers	Logical Machinery of Heuristics (Preliminary Report) (PDF, talk)
structure learning	Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability (PDF, talk)
T
treewidth	Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability (PDF, talk)