Germany / Switzerland / United States / Portugal / / /
Facility
Reasoning pipeline / University of Tartu / University of Manitoba / University of Bremen / University of Zurich / /
IndustryTerm
Web Language / Web Ontologies / semantic web / automatic theorem proving software / Web Conference / /
Organization
University of Tartu / University of Bremen / Faculty of Mathematics and Computer Science / University of Manitoba / Department of Informatics / European Union / University of Zurich / Zurich / Association for Computational Linguistics / /
Position
robotic assistant / PRAC model for the action core ’flipping’ / /
ProgrammingLanguage
Controlled Natural Language / /
ProvinceOrState
Manitoba / /
PublishedMedium
Computational Linguistics / Machine Learning / Communications of the ACM / Lecture Notes in Computer Science / /