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
103 views Topic started by Florian Rabe Last post a week ago
Various questions
1537 views 1 reply Topic started by Marcel[Inf] Last post in Aug 2020
Derivation calucli: meta functions vs. substitutions for equality elimination
542 views 1 reply Topic started by Marcel[Inf] Last post in Aug 2020
BOL -> SFOL semantics: translation for R* insufficient?
555 views 1 reply Topic started by Marcel[Inf] Last post in Aug 2020
Exam
737 views 8 replies Topic started by SuMaSLo Last post in Aug 2020
Fragestunde heute
551 views 2 replies Topic started by blueberry Last post in Aug 2020
Formalizing the abstract definitions of semantics in MMT
587 views Topic started by Marcel[Inf] Last post in Jul 2020
Zentrale Evaluation
691 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)"?
630 views 1 reply Topic started by Marcel[Inf] Last post in Jul 2020
Exercises
942 views 3 replies Topic started by Florian Rabe Last post in Jul 2020
Univis material
716 views Topic started by Florian Rabe Last post in Jun 2020
Course materials
1062 views 2 replies Topic started by Florian Rabe Last post in Jun 2020
Tool for creating database schemas
708 views Topic started by Marcel[Inf] Last post in May 2020
Learning Experience from BOL -> FOL in Coq
It's possible in Coq! 823 views 2 replies Topic started by Marcel[Inf] Last post in May 2020
Libraries for parsing *.owl and related files
229 views 1 reply Topic started by Marcel[Inf] Last post in May 2020
Lecture videos
766 views Topic started by Florian Rabe Last post in May 2020
Doodle for rescheduling the exercises
830 views 1 reply Topic started by Florian Rabe Last post in Apr 2020
Zoom Lecture Room
986 views Topic started by Florian Rabe Last post in Apr 2020
Structure of the course
931 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