VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program