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, 14: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

Various questions
1045 views 1 reply Topic started by Marcel[Inf] Last post in Aug 2020
Derivation calucli: meta functions vs. substitutions for equality elimination
392 views 1 reply Topic started by Marcel[Inf] Last post in Aug 2020
BOL -> SFOL semantics: translation for R* insufficient?
418 views 1 reply Topic started by Marcel[Inf] Last post in Aug 2020
Exam
574 views 8 replies Topic started by SuMaSLo Last post in Aug 2020
Fragestunde heute
405 views 2 replies Topic started by blueberry Last post in Aug 2020
Formalizing the abstract definitions of semantics in MMT
449 views Topic started by Marcel[Inf] Last post in Jul 2020
Zentrale Evaluation
553 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)"?
472 views 1 reply Topic started by Marcel[Inf] Last post in Jul 2020
Exercises
779 views 3 replies Topic started by Florian Rabe Last post in Jul 2020
Univis material
569 views Topic started by Florian Rabe Last post in Jun 2020
Course materials
887 views 2 replies Topic started by Florian Rabe Last post in Jun 2020
Tool for creating database schemas
545 views Topic started by Marcel[Inf] Last post in May 2020
Learning Experience from BOL -> FOL in Coq
It's possible in Coq! 634 views 2 replies Topic started by Marcel[Inf] Last post in May 2020
Libraries for parsing *.owl and related files
179 views 1 reply Topic started by Marcel[Inf] Last post in May 2020
Lecture videos
585 views Topic started by Florian Rabe Last post in May 2020
Doodle for rescheduling the exercises
668 views 1 reply Topic started by Florian Rabe Last post in Apr 2020
Zoom Lecture Room
818 views Topic started by Florian Rabe Last post in Apr 2020
Structure of the course
758 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