Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Foundations of Knowledge Representation + (Fkr-04-2024.pdf)
- Foundations of Knowledge Representation + (Fkr-05-2024.pdf)
- Foundations of Knowledge Representation + (Fkr-06-2024.pdf)
- Foundations of Knowledge Representation + (Fkr-07-2024.pdf)
- Foundations of Knowledge Representation + (Fkr-08-2024.pdf)
- Foundations of Knowledge Representation + (Fkr-09-2024.pdf)
- Foundations of Knowledge Representation + (Fkr-1-2024.pdf)
- Foundations of Knowledge Representation + (Fkr-10-2024.pdf)
- Foundations of Knowledge Representation + (Fkr-11-2024.pdf)
- flexABle – System Description for ICCMA 2023 + (Flex-iccma-descrip.pdf)
- Finite and algorithmic model theory (22/23) + (Fmt exercises.pdf)
- Finite and algorithmic model theory + (Fmt-lecture-2.pdf)
- Formale Systeme + (FoSys23-Blatt01.pdf)
- Formale Systeme + (FoSys23-Blatt02.pdf)
- Formale Systeme + (FoSys23-Blatt03.pdf)
- Formale Systeme + (FoSys23-Blatt04.pdf)
- Formale Systeme + (FoSys23-Blatt05.pdf)
- Formale Systeme + (FoSys23-Blatt06.pdf)
- Formale Systeme + (FoSys23-Blatt07.pdf)
- Formale Systeme + (FoSys23-Blatt08.pdf)
- Formale Systeme + (FoSys23-Blatt09.pdf)
- Formale Systeme + (FoSys23-Blatt10.pdf)
- Formale Systeme + (FoSys23-Blatt11.pdf)
- Formale Systeme + (FoSys23-Blatt12.pdf)
- Formale Systeme + (FoSys23-Blatt13.pdf)
- Formale Systeme + (FoSys23-Blatt14.pdf)
- Formale Systeme + (FoSys23-Probeklausur.pdf)
- Formale Systeme + (FoSys23-Repetitorium-01-overlay.pdf)
- Logic + (Fol2015-update.pdf)
- Logic + (Fol2015-update2.pdf)
- Logic + (Fol2015.pdf)
- Forschungslinie + (Forschungslinie2015-Graphs.tar.gz)
- Parsing of Lexicalised Linear Context-Free Rewriting Systems via Supertagging + (Forschungsprojekt-Alex-Ivliev.pdf)
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report + (FranconiSattler-AIIA99.ps.gz)
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation + (FranconiSattler-DMDW99.ps.gz)
- From Display to Labelled Proofs for Tense Logics + (From Display to Labelled Proofs for Tense Logics (PrePrint).pdf)
- A Probability Theoretic Analysis of Score Systems + (Fronhoefer:01:01.pdf)
- Adding Context to Tableaux for DLs + (FuPe-DL12.pdf)
- A Framework For Evaluating Visual SLAM + (Funke:08:BMVC.pdf)
- On Metric Temporal Description Logics + (GJO16.pdf)
- Design and results of the second international competition on computational models of argumentation + (GLMW19.pdf)
- Summary Report of the Second International Competition on Computational Models of Argumentation + (GLMW2018.pdf)
- Design and Results of the Second International Competition on Computational Models of Argumentation + (GLMW2019.pdf)
- Status QIO: Conjunctive Query Entailment is Decidable + (GR-KR2010-CQ4OIQ.pdf)
- Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract + (GRS AMW2017.pdf)
- Expressiveness of guarded existential rule languages + (GRS2014.pdf)
- Integrated Metamodeling and Diagnosis in OWL 2 + (GRV2010-ISWC.pdf)
