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

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

Various questions

4 views

Topic started by Marcel[Inf]

Last post Today, 18:02

Derivation calucli: meta functions vs. substitutions for equality elimination

4 views

Topic started by Marcel[Inf]

Last post Today, 17:13

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

41 views

Topic started by Marcel[Inf]

Last post some days ago

Exam

217 views

8 replies

Topic started by SuMaSLo

Last post a week ago

Fragestunde heute

55 views

2 replies

Topic started by blueberry

Last post a week ago

Formalizing the abstract definitions of semantics in MMT

97 views

Topic started by Marcel[Inf]

Last post 2 weeks ago

Zentrale Evaluation

211 views

1 reply

Topic started by Florian Rabe

Last post 2 weeks ago

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

109 views

1 reply

Topic started by Marcel[Inf]

Last post a month ago

Exercises

414 views

3 replies

Topic started by Florian Rabe

Last post a month ago

Univis material

234 views

Topic started by Florian Rabe

Last post 2 months ago

Course materials

510 views

2 replies

Topic started by Florian Rabe

Last post 2 months ago

Tool for creating database schemas

182 views

Topic started by Marcel[Inf]

Last post 2 months ago

Learning Experience from BOL -> FOL in Coq

It's possible in Coq!

268 views

2 replies

Topic started by Marcel[Inf]

Last post 3 months ago

Libraries for parsing *.owl and related files

113 views

1 reply

Topic started by Marcel[Inf]

Last post 3 months ago

Lecture videos

203 views

Topic started by Florian Rabe

Last post 3 months ago

Doodle for rescheduling the exercises

310 views

1 reply

Topic started by Florian Rabe

Last post 3 months ago

Zoom Lecture Room

464 views

Topic started by Florian Rabe

Last post in Apr 2020

Structure of the course

412 views

2 replies

Topic started by Florian Rabe

Last post in Apr 2020

Go to forum

Thread

Hot thread

Datenschutz | Kontakt