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