Login / Signup
Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer)
Simon Kramer
Published in:
CoRR (2012)
Keyphrases
</>
formal theory
knowledge transfer
knowledge sharing
commonsense reasoning
transfer learning
cross domain
spatial reasoning
theorem prover
information systems
learning tasks
case study
object recognition
information technology
object oriented
transfer knowledge