Pages with the fewest revisions

From International Center for Computational Logic

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

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)

  1. Rui Zhang/Abschlussarbeiten (1 revision)
  2. Formalizing Possibly Infinite Trees of Bounded Degree/en (1 revision)
  3. The Identity Problem in Description Logic Ontologies/en (1 revision)
  4. Gregory R. Wheeler/en (1 revision)
  5. News84/en (1 revision)
  6. Foundations of Semantic Web Technologies (SS2016)/en (1 revision)
  7. WVPub207 (1 revision)
  8. WVPub72 (1 revision)
  9. Claudia Carapelle/Publikationen/en (1 revision)
  10. Johannes Lehmann/Abschlussarbeiten/en (1 revision)
  11. Lim Yohanes Stefanus/Publikationen (1 revision)
  12. Lucas Kahlert/Abschlussarbeiten (1 revision)
  13. Grounding Rule-Based Argumentation Using Datalog/en (1 revision)
  14. VLog: A Column-oriented Rule-Based Engine/en (1 revision)
  15. Petros Kefalas/en (1 revision)
  16. An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation (1 revision)
  17. News89/en (1 revision)
  18. News28/en (1 revision)
  19. WVPub323 (1 revision)
  20. WVPub80 (1 revision)
  21. Camille Bourgaux/Publikationen/en (1 revision)
  22. Automatentheorie/Publikationen (1 revision)
  23. Alessio Lomuscio/Publikationen (1 revision)
  24. Pedro Barahona/Abschlussarbeiten (1 revision)
  25. TBA10/en (1 revision)
  26. A Single Approach to Decide Chase Termination on Linear Existential Rules/en (1 revision)
  27. Georg Wild/en (1 revision)
  28. Seminar Logic-Based Knowledge Representation (SS2024)/en (1 revision)
  29. Complexity Theory (WS2017/18)/en (1 revision)
  30. Benno Fünfstück/Publikationen/en (1 revision)
  31. Jörg Siekmann/Publikationen (1 revision)
  32. Werner Stephan/Abschlussarbeiten (1 revision)
  33. Thema3425/en (1 revision)
  34. From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment/en (1 revision)
  35. Satyadharma Tirtarasa/en (1 revision)
  36. Behind the secrets of large language models (WS2024)/en (1 revision)
  37. Model Checking Linear Temporal Logic with Standpoint Modalities (1 revision)
  38. Practical Planning for Angry Birds (WS2017)/en (1 revision)
  39. APB 2039 (1 revision)
  40. Proceedings3025 (1 revision)
  41. Description Logic (WS2014) (1 revision)
  42. Felix Distel (1 revision)
  43. Philipp Hanisch/Publikationen/en (1 revision)
  44. Veröffentlichungen/1991 (1 revision)
  45. Faiq Miftakhul Falakh/Publikationen (1 revision)
  46. Shima Asaadi/Abschlussarbeiten (1 revision)
  47. Inproceedings3186 (1 revision)
  48. Thema3440/en (1 revision)
  49. Closed-World Semantics for Conjunctive Queries with Negation over ELH bottom Ontologies/en (1 revision)
  50. Marcos Cramer/en (1 revision)

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)