slides - Kwarc
slides - Kwarc
slides - Kwarc
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Conclusion<br />
◮ Mmt simple, scalable, but expressive representation language<br />
for logical knowledge<br />
◮ Meaningful representations while abstracting from foundations<br />
◮ Integration of model and proof theory-based frameworks<br />
◮ Abstraction layer on top of logical systems<br />
◮ connects logical systems and LKM services<br />
◮ facilitates translations between logical systems<br />
50