../code/conceptPage.scroll id kris name KRIS appeared 1991 tags pl lab Deutsches Forschungszentrum für Künstliche Intelligenz country Germany reference https://semanticscholar.org/paper/c34199349a86a336f43a1b21d43d13067fa0eb5b hopl https://hopl.info/showlanguage.prx?exp=7714 semanticScholar 0