Hybrid-Logical Reasoning in False-Belief Tasks.

Torben Braüner

Published in: TARK (2013)

Keyphrases

logical reasoning
semi supervised
formal semantics
database
neural network
image sequences
multi agent