Pages with the fewest revisions
From International Center for Computational Logic
Showing below up to 50 results in range #1 to #50.
- Rui Zhang/Abschlussarbeiten (1 revision)
- Formalizing Possibly Infinite Trees of Bounded Degree/en (1 revision)
- The Identity Problem in Description Logic Ontologies/en (1 revision)
- Gregory R. Wheeler/en (1 revision)
- News84/en (1 revision)
- Foundations of Semantic Web Technologies (SS2016)/en (1 revision)
- WVPub207 (1 revision)
- WVPub72 (1 revision)
- Claudia Carapelle/Publikationen/en (1 revision)
- Johannes Lehmann/Abschlussarbeiten/en (1 revision)
- Lim Yohanes Stefanus/Publikationen (1 revision)
- Lucas Kahlert/Abschlussarbeiten (1 revision)
- Grounding Rule-Based Argumentation Using Datalog/en (1 revision)
- VLog: A Column-oriented Rule-Based Engine/en (1 revision)
- Petros Kefalas/en (1 revision)
- An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation (1 revision)
- News89/en (1 revision)
- News28/en (1 revision)
- WVPub323 (1 revision)
- WVPub80 (1 revision)
- Camille Bourgaux/Publikationen/en (1 revision)
- Automatentheorie/Publikationen (1 revision)
- Alessio Lomuscio/Publikationen (1 revision)
- Pedro Barahona/Abschlussarbeiten (1 revision)
- TBA10/en (1 revision)
- A Single Approach to Decide Chase Termination on Linear Existential Rules/en (1 revision)
- Georg Wild/en (1 revision)
- Seminar Logic-Based Knowledge Representation (SS2024)/en (1 revision)
- Complexity Theory (WS2017/18)/en (1 revision)
- Benno Fünfstück/Publikationen/en (1 revision)
- Jörg Siekmann/Publikationen (1 revision)
- Werner Stephan/Abschlussarbeiten (1 revision)
- Thema3425/en (1 revision)
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment/en (1 revision)
- Satyadharma Tirtarasa/en (1 revision)
- Behind the secrets of large language models (WS2024)/en (1 revision)
- Model Checking Linear Temporal Logic with Standpoint Modalities (1 revision)
- Practical Planning for Angry Birds (WS2017)/en (1 revision)
- APB 2039 (1 revision)
- Proceedings3025 (1 revision)
- Description Logic (WS2014) (1 revision)
- Felix Distel (1 revision)
- Philipp Hanisch/Publikationen/en (1 revision)
- Veröffentlichungen/1991 (1 revision)
- Faiq Miftakhul Falakh/Publikationen (1 revision)
- Shima Asaadi/Abschlussarbeiten (1 revision)
- Inproceedings3186 (1 revision)
- Thema3440/en (1 revision)
- Closed-World Semantics for Conjunctive Queries with Negation over ELH bottom Ontologies/en (1 revision)
- Marcos Cramer/en (1 revision)