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

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

481 views

1 reply

Topic started by Marcel[Inf]

Last post 2 months ago

Derivation calucli: meta functions vs. substitutions for equality elimination

171 views

1 reply

Topic started by Marcel[Inf]

Last post 2 months ago

BOL -> SFOL semantics: translation for R* insufficient?

206 views

1 reply

Topic started by Marcel[Inf]

Last post 2 months ago

Exam

362 views

8 replies

Topic started by SuMaSLo

Last post 3 months ago

Fragestunde heute

189 views

2 replies

Topic started by blueberry

Last post 3 months ago

Formalizing the abstract definitions of semantics in MMT

227 views

Topic started by Marcel[Inf]

Last post 3 months ago

Zentrale Evaluation

340 views

1 reply

Topic started by Florian Rabe

Last post 3 months ago

Why does Vampire give a refutation for axiom "lecturer(fr)" and conjecture "lecturer(fr)"?

242 views

1 reply

Topic started by Marcel[Inf]

Last post 3 months ago

Exercises

551 views

3 replies

Topic started by Florian Rabe

Last post in Jul 2020

Univis material

359 views

Topic started by Florian Rabe

Last post in Jun 2020

Course materials

648 views

2 replies

Topic started by Florian Rabe

Last post in Jun 2020

Tool for creating database schemas

309 views

Topic started by Marcel[Inf]

Last post in May 2020

Learning Experience from BOL -> FOL in Coq

It's possible in Coq!

403 views

2 replies

Topic started by Marcel[Inf]

Last post in May 2020

Libraries for parsing *.owl and related files

133 views

1 reply

Topic started by Marcel[Inf]

Last post in May 2020

Lecture videos

341 views

Topic started by Florian Rabe

Last post in May 2020

Doodle for rescheduling the exercises

438 views

1 reply

Topic started by Florian Rabe

Last post in Apr 2020

Zoom Lecture Room

591 views

Topic started by Florian Rabe

Last post in Apr 2020

Structure of the course

538 views

2 replies

Topic started by Florian Rabe

Last post in Apr 2020

Go to forum

Thread

Hot thread

Datenschutz | Kontakt