Pages with the fewest revisions
From International Center for Computational Logic
Showing below up to 50 results in range #1 to #50.
- Theofilos Mailis/Publikationen/en (1 revision)
- Dmitrii V. Vinogradov/Abschlussarbeiten/en (1 revision)
- Diana Troancă/Publikationen (1 revision)
- International Center for Computational Logic new/en (1 revision)
- Efficient Dependency Analysis for Rule-Based Ontologies/en (1 revision)
- Characterization of the Expressivity of Existential Rule Queries/en (1 revision)
- Jens Claßen/en (1 revision)
- Formale Systeme (WS2021)/en (1 revision)
- CeTI/en (1 revision)
- Seminar "Learning in Description Logics" (WS2018) (1 revision)
- Aktivitaet2060 (1 revision)
- Philippe de Groote (1 revision)
- Van Hau Nguyen/Publikationen/en (1 revision)
- Catalin Buiu/Abschlussarbeiten/en (1 revision)
- Thomas Hinze/Publikationen (1 revision)
- Stellenausschreibung9/en (1 revision)
- To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence/en (1 revision)
- Inconsistency Handling in Ontology-Mediated Query Answering/en (1 revision)
- Julian Mendez/en (1 revision)
- News67/en (1 revision)
- Science of Computational Logic (WS2014)/en (1 revision)
- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic (1 revision)
- IASCAR: Incremental Answer Set Counting by Anytime Refinement (1 revision)
- Sebastian Bader (1 revision)
- Lucas Kahlert/Publikationen/en (1 revision)
- Daniel Borchmann/Abschlussarbeiten/en (1 revision)
- Francisco Martín-Recuerda/Publikationen (1 revision)
- Job23/en (1 revision)
- Answer Set Navigation alongside Quantitative Reasoning/en (1 revision)
- Ontologies for Knowledge Graphs: Breaking the Rules/en (1 revision)
- Rui Zhang/en (1 revision)
- News69/en (1 revision)
- News19/en (1 revision)
- Strong Equivalence in Non-monotonic Reasoning (1 revision)
- Article3114 (1 revision)
- Phdthesis3018 (1 revision)
- ScaDS.AI/Publication report KBS/en (1 revision)
- Pedro Barahona/Publikationen/en (1 revision)
- Marcos Cramer/Abschlussarbeiten/en (1 revision)
- Benjamin Zarrieß/Publikationen (1 revision)
- Long Cheng/Abschlussarbeiten (1 revision)
- Winning Snake: Design Choices in Multi-Shot ASP/en (1 revision)
- Decomposation of regular languages/en (1 revision)
- Michael Thielscher/en (1 revision)
- Finite and algorithmic model theory (22/23) (WS2022)/en (1 revision)
- Advanced Topics in Complexity Theory (SS2016)/en (1 revision)
- A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment (1 revision)
- WVPub7 (1 revision)
- Werner Stephan/Publikationen/en (1 revision)
- Algebra und Diskrete Strukturen/Abgeschlossene Studienarbeiten (1 revision)