@TECHREPORT{Hustadt+Nonnengart+Schmidt+Timm@MPII-TR1992,
 AUTHOR      = {Hustadt, U. and Nonnengart, A. and Schmidt, R. and Timm, J.}, 
 TITLE       = {MOTEL User Manual},
 YEAR        = {1992},
 INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
 NUMBER      = {MPI-I-92-236},
 TYPE        = {Technical Report},
 URL         = {Hustadt+Nonnengart+Schmidt+Timm@MPII-TR1993.pdf},
 ABSTRACT    = {MOTEL is a logic-based knowledge representation languages 
     of the KL-ONE family. It contains as a kernel the KRIS
     language which is a decidable sublanguage of first-order 
     predicate logic (see Baader and Hollunder (1990)). Whereas 
     KRIS is a single-agent knowledge representation 
     system, i.e. KRIS is only able to represent general 
     world knowledge or the knowledge of one agent about the 
     world, MOTEL is a multi-agent knowledge representation 
     system. The 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, MOTEL provides an abductive 
     inference mechanism. Furthermore it is able to give explanations 
     for its inferences.},
}

{"_id":"2PBh8uLJGbZuoyKtJ","bibbaseid":"hustadt-nonnengart-schmidt-timm-motelusermanual-1992","author_short":["Hustadt, U.","Nonnengart, A.","Schmidt, R.","Timm, J."],"bibdata":{"bibtype":"techreport","type":"Technical Report","author":[{"propositions":[],"lastnames":["Hustadt"],"firstnames":["U."],"suffixes":[]},{"propositions":[],"lastnames":["Nonnengart"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Schmidt"],"firstnames":["R."],"suffixes":[]},{"propositions":[],"lastnames":["Timm"],"firstnames":["J."],"suffixes":[]}],"title":"MOTEL User Manual","year":"1992","institution":"Max-Planck-Institut für Informatik","number":"MPI-I-92-236","url":"Hustadt+Nonnengart+Schmidt+Timm@MPII-TR1993.pdf","abstract":"MOTEL is a logic-based knowledge representation languages of the KL-ONE family. It contains as a kernel the KRIS language which is a decidable sublanguage of first-order predicate logic (see Baader and Hollunder (1990)). Whereas KRIS is a single-agent knowledge representation system, i.e. KRIS is only able to represent general world knowledge or the knowledge of one agent about the world, MOTEL is a multi-agent knowledge representation system. The 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, MOTEL provides an abductive inference mechanism. Furthermore it is able to give explanations for its inferences.","bibtex":"@TECHREPORT{Hustadt+Nonnengart+Schmidt+Timm@MPII-TR1992,\n AUTHOR = {Hustadt, U. and Nonnengart, A. and Schmidt, R. and Timm, J.}, \n TITLE = {MOTEL User Manual},\n YEAR = {1992},\n INSTITUTION = {Max-Planck-Institut f{\\\"u}r Informatik},\n NUMBER = {MPI-I-92-236},\n TYPE = {Technical Report},\n URL = {Hustadt+Nonnengart+Schmidt+Timm@MPII-TR1993.pdf},\n ABSTRACT = {MOTEL is a logic-based knowledge representation languages \n of the KL-ONE family. It contains as a kernel the KRIS\n language which is a decidable sublanguage of first-order \n predicate logic (see Baader and Hollunder (1990)). Whereas \n KRIS is a single-agent knowledge representation \n system, i.e. KRIS is only able to represent general \n world knowledge or the knowledge of one agent about the \n world, MOTEL is a multi-agent knowledge representation \n system. The MOTEL language allows modal contexts and modal \n concept forming operators which allow to represent and \n reason about the believes and wishes of multiple agents. \n Furthermore it is possible to represent defaults and stereotypes. \n Beside the basic resoning facilities for consistency checking, \n classification, and realization, MOTEL provides an abductive \n inference mechanism. Furthermore it is able to give explanations \n for its inferences.},\n}\n","author_short":["Hustadt, U.","Nonnengart, A.","Schmidt, R.","Timm, J."],"key":"Hustadt+Nonnengart+Schmidt+Timm@MPII-TR1992","id":"Hustadt+Nonnengart+Schmidt+Timm@MPII-TR1992","bibbaseid":"hustadt-nonnengart-schmidt-timm-motelusermanual-1992","role":"author","urls":{"Paper":"http://cgi.csc.liv.ac.uk/~ullrich/publications/Hustadt+Nonnengart+Schmidt+Timm@MPII-TR1993.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["motel","user","manual","hustadt","nonnengart","schmidt","timm"],"title":"MOTEL User Manual","year":1992}