Any-time Relational Reasoning: Resource-bounded Induction and Deduction Through Stochastic Matching.

Michèle Sebag Céline Rouveirol

Published in: Mach. Learn. (2000)

Keyphrases

resource bounded
information gathering
meta level
autonomous agents
rational agents
cooperative
object recognition
domain knowledge
dynamic environments
theorem proving
intuitionistic logic