Login / Signup
: The Deductive Way.
Rayna Dimitrova
Luis María Ferrer Fioriti
Holger Hermanns
Rupak Majumdar
Published in:
TACAS (2016)
Keyphrases
</>
abductive inference
artificial intelligence
object oriented
deductive reasoning
search engine
multi agent systems
email
probabilistic model
hypothesis formation