Abduction by Non-Experts.

Nikolaj Bjørner Dejan Jovanovic Tancrède Lepoint Philipp Rümmer Martin Schäf

Published in: LPAR (Short Presentations) (2017)

Keyphrases

logic programming
background knowledge
expert advice
expert finding

case study
team formation
databases
image sequences

information technology
evolutionary algorithm
special case

probabilistic model
causal networks
abductive logic programming