We present a reinforcement learning game player that can interact with a General Game Playing system and transfer knowledge learned in one game to expedite learning in many other ...
The paper discusses the issues concerning monitoring and diagnosis of a multi-robot system involving a team of mobile robots providing services in an environment which is partiall...
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
The ALPS project (Active Learning in Problem Solving) is building and evaluating an educational technology that combines cognitive tutors with a novel interactive questioning envi...
Scott M. Stevens, Albert T. Corbett, Kenneth R. Ko...