@TECHREPORT{HustadtNonnengartSchmidtTimm92,
AUTHOR = {Hustadt, U. and Nonnengart, A. and Schmidt, R. A. and Timm, J.},
MONTH = {June},
YEAR = {1992},
TITLE = {{\sc motel} User Manual},
TYPE = {Technical Report},
NUMBER = {MPI-I-92-236},
INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
ADDRESS = {Saarbr{\"u}cken},
ABSTRACT = {{\sc motel} is a logic-based knowledge representation
languages of th e KL-ONE family. It contains as a kernel the ${\cal
KRIS}$ language which is a decidable sublanguage of first-order
predicate logic (see Baader and Hollunder (1990)).

Whereas ${\cal KRIS}$ is a single-agent knowledge representation system,
i. e.\ ${\cal KRIS}$ is only able to represent general world knowledge
or the knowledge of one agent about the world, {\sc motel} is a
multi-agent knowledge representation system. The {\sc motel} language
allows modal contexts and modal concept forming operators which allow to
represent and reason about the believes and wishes of multiple agents.
Furthermore it is possible to represent defaults and stereotypes. 

Beside the basic resoning facilities for consistency checking,
classification, and realization, {\sc motel} provides an abductive
inference mechanism.  Furthermore it is able to give explanations for
its inferences.}
URL = {http://www.cs.man.ac.uk/~schmidt/publications/MPI-I-92-236.dvi.gz, http://www.cs.man.ac.uk/~schmidt/publications/MPI-I-92-236.ps.gz},
}