Abductive Synthesis of the Mediator Scenario with jABC and GEM.

Christian Kubczak Tiziana Margaria Matthias Kaiser Jens Lemcke Bjoern Knuth

Published in: EON (2008)

Keyphrases

real world
program synthesis
data sources
data mining
case study
constraint logic programming
logic programming
texture synthesis
logic programs
abductive logic programming
abductive reasoning
application scenarios
plan recognition
databases
information extraction
multiscale
computer vision
neural network