Student Project: Season 4
Published:
Published:
Published:
KnowRob is a knowledge processing system that combines knowledge representation and reasoning methods with techniques for acquiring knowledge and for grounding the knowledge in a physical system
Published:
openEASE is a web-based knowledge service providing robot and human activity data
Published in In Proc. 31st DL, vol. 2211 of CEUR, 2018
We revisit the technique for partitioning ontologies using E-connections introduced by Cuenca Grau et al. (2006).
Recommended citation: S. Jongebloed and T. Schneider: Ontology Partitioning Using E-Connections Revisited. In Proc. 31st DL, vol. 2211 of CEUR, 2018.
Published in arXiv preprint arXiv:2110.01284., 2021
We propose a new database querying language called Mongolog which is syntactically a subset of the Prolog language, and we define its operational semantics through translations into MongoDB aggregation pipelines.
Recommended citation: Beßler, D., Jongebloed, S., & Beetz, M. (2021). Prolog as a Querying Language for MongoDB. arXiv preprint arXiv:2110.01284.
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
Tutor, University of Bremen, Winter 2015
The course Practical Computer Science 1 deals with the foundations of imperative programming and object orientation. Further details (in german) can be found in the module handbook of the computer science program of the University of Bremen.
Tutor, University of Bremen, Summer 2016
The course Practical Computer Science 2 covers fundamental algorithms (e.g. search and sort algorithms) and data structures (e.g. maps). Further details (in german) can be found in the module handbook of the computer science program of the University of Bremen.
Tutor, University of Bremen, Winter 2016
The course Theoretical Computer Science 1 deals with the fundamentals of automata theory and formal languages. Further details (in german) can be found on the corresponding website.
Tutor, University of Bremen, Summer 2017
The course Theoretical Computer Science 2 deals with the fundamentals of computability and complexity. Further details (in german) can be found on the corresponding website.
Tutor, University of Bremen, Winter 2020
The project SUTURO is a master project at the University of Bremen. The goal of the project is to use a robot for household tasks. Further details (in german) can be found on the corresponding website.
Seminar, University of Bremen, Summer 2021
The seminar “AI-based robot control” prepares students for the bachlor project “SUTURO” at the University of Bremen. The seminar gives the students a first theoretical and practical insight into the foundations of ai-based robot control. In the seminar I gave lectures and tutorials about knowledge representation and reasoning for robots. Further details (in german) can be found on the corresponding website.
Tutor, University of Bremen, Winter 2021
The project SUTURO is a bachelor project at the University of Bremen. The goal of the project is to use a robot for household tasks. Further details (in german) can be found on the corresponding website.