Pages with the fewest revisions

Showing below up to 50 results in range #1 to #50.

1. WVPub36 (1 revision)
2. Model Checking Linear Temporal Logic with Standpoint Modalities (1 revision)
3. WVPub278 (1 revision)
4. Profilprojekt „Forschungsprojekt Formale Methoden“ (1 revision)
5. Robert Hein (1 revision)
6. Taufiq Hidayat/Publikationen/en (1 revision)
7. Maria Paola Bonacina/Abschlussarbeiten/en (1 revision)
8. Hongkai Liu/Publikationen (1 revision)
9. Stellenausschreibung12/en (1 revision)
10. Thema3512 (1 revision)
11. Notation3 as an Existential Rule Language/en (1 revision)
12. Structural Subsumption Based Similarity Measures: applications with a medical ontology and in image object recognition/en (1 revision)
13. Julia Koppenhagen/en (1 revision)
14. Complexity Theory (WS2022)/en (1 revision)
15. Knowledge Representation and Reasoning Seminar (WS2015)/en (1 revision)
16. WVPub274 (1 revision)
17. Aktivitaet2066 (1 revision)
18. Article3015 (1 revision)
19. Aktivitaet2120 (1 revision)
20. Ye Yuxin (1 revision)
21. Prof. Sergei Obiedkov/Publikationen/en (1 revision)
22. Wissensbasierte Systeme/Abgeschlossene Studienarbeiten (1 revision)
23. Xia Wu/Publikationen (1 revision)
24. Automatentheorie/en (1 revision)
25. A SHACL primer for KR researchers/en (1 revision)
26. Towards Breaking the Language and Modality Barrier: Learning Cross-lingual Cross-modal Semantic Representations/en (1 revision)
27. Robert Hein/en (1 revision)
28. News83/en (1 revision)
29. Knowledge Representation and Reasoning Seminar (WS2016)/en (1 revision)
30. WVPub20 (1 revision)
31. Inproceedings3448 (1 revision)
32. Aktivitaet2130 (1 revision)
33. Aktivitaet2115 (1 revision)
34. Andras Pluhar/Publikationen/en (1 revision)
35. Bartosz Bednarczyk/en/Abschlussarbeiten/en (1 revision)
36. Peter Steinke/Publikationen (1 revision)
37. Sebastian Rudolph/Abschlussarbeiten (1 revision)
38. GPTKB: Comprehensively Materializing Factual LLM Knowledge/en (1 revision)
39. Metric Temporal Description Logics with Interval-Rigid Names/en (1 revision)
40. Chunping Li/en (1 revision)
41. Formale Systeme (WS2023)/en (1 revision)
42. Introduction to Formal Concept Analysis (WS2016)/en (1 revision)
43. Approximation Fixpoint Theory – A Unifying Framework for Non-monotonic Semantics Part 2 (1 revision)
44. WVPub284 (1 revision)
45. Jim Lipton/Publikationen/en (1 revision)
46. Lukas Gerlach/Abschlussarbeiten/en (1 revision)
47. Robert Hein/Publikationen (1 revision)
48. Sebastian Bader/Abschlussarbeiten (1 revision)
49. Software Verification in Ada/SPARK/en (1 revision)
50. 12th EMCL Workshop/en (1 revision)