Within STEM domains, physics is considered to be one of the most difficult topics to master,
in part because many of the underlying principles are counter-intuitive. Effective teaching …

We present BEETLE II, a tutorial dialogue system designed to accept unrestricted language
input and support experimentation with different tutorial planning and dialogue strategies …

We present Beetle II, a tutorial dialogue system designed to accept unrestricted language
input and support experimentation with different tutorial planning and dialogue strategies …

навчально-методичному посібнику оглянуто основні поняття комп'ютерної лінгвістики-
сучасної галузі знання, метою якої є вивчення природної мови із точки зору …

Energy management in buildings is about operating and maintaining many complex energy
systems used by buildings' occupants. The generation and collection of energy-related …

We present BEETLE II, a tutorial dialogue system which accepts unrestricted language input
and supports experimentation with different dialogue strategies. Our first system evaluation …

Understanding answers to open-ended explanation questions is important in intelligent
tutoring systems. Existing systems use natural language techniques in essay analysis, but …

Since the inception of AI research, great strides have been made towards achieving the goal
of extending natural language conversation as a medium of interaction with machines …

This book presents new techniques that allow the automatic verification and generation of
abstract human-style proofs. The core of this approach builds an efficient calculus that works …

Intelligent tutoring systems (ITSs) are computer programs that model individual learners and
adapt instruction to help each learner differently. One way ITSs differ from human tutors is …