Not logged in. · Lost password · Register

Forum: Master / Vertiefung › Professur für Wissensrepräsentation und -verarbeitung › Wissensrepräsentation und -Verarbeitung RSS

Announcement

2018-10-23, 13:22 by unaimed
Subject: Bitte keine Passwörter öffentlich posten.
Bitte keine Passwörter für Vorlesungen/Kurse/Seminare öffentlich posten.
Anfragen können z.B. mit Nachrichtenfunktion beantwortet werden
- eure Forenadmins

Topics

Zoom lecture room
2489 views Topic started by Florian Rabe Last post in Apr 2021
Various questions
2250 views 1 reply Topic started by Marcel[Inf] Last post in Aug 2020
Derivation calucli: meta functions vs. substitutions for equality elimination
1246 views 1 reply Topic started by Marcel[Inf] Last post in Aug 2020
BOL -> SFOL semantics: translation for R* insufficient?
1206 views 1 reply Topic started by Marcel[Inf] Last post in Aug 2020
Exam
1401 views 8 replies Topic started by SuMaSLo Last post in Aug 2020
Fragestunde heute
1144 views 2 replies Topic started by blueberry Last post in Aug 2020
Formalizing the abstract definitions of semantics in MMT
1256 views Topic started by Marcel[Inf] Last post in Jul 2020
Zentrale Evaluation
1310 views 1 reply Topic started by Florian Rabe Last post in Jul 2020
Why does Vampire give a refutation for axiom "lecturer(fr)" and conjecture "lecturer(fr)"?
1329 views 1 reply Topic started by Marcel[Inf] Last post in Jul 2020
Exercises
1687 views 3 replies Topic started by Florian Rabe Last post in Jul 2020
Univis material
1325 views Topic started by Florian Rabe Last post in Jun 2020
Course materials
1795 views 2 replies Topic started by Florian Rabe Last post in Jun 2020
Tool for creating database schemas
1419 views Topic started by Marcel[Inf] Last post in May 2020
Learning Experience from BOL -> FOL in Coq
It's possible in Coq! 1471 views 2 replies Topic started by Marcel[Inf] Last post in May 2020
Libraries for parsing *.owl and related files
468 views 1 reply Topic started by Marcel[Inf] Last post in May 2020
Lecture videos
1464 views Topic started by Florian Rabe Last post in May 2020
Doodle for rescheduling the exercises
1531 views 1 reply Topic started by Florian Rabe Last post in Apr 2020
Zoom Lecture Room
1642 views Topic started by Florian Rabe Last post in Apr 2020
Structure of the course
1587 views 2 replies Topic started by Florian Rabe Last post in Apr 2020

Go to forum
Thread   Hot thread
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen