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
- Knowledge-Based Systems Win Best Paper Award at the International Semantic Web Conference + (Knowledge-Based Systems Win Best Paper Award at the International Semantic Web Conference)
- Knowledge-Based Systems Win Best Paper Award at the International Semantic Web Conference + (Knowledge-Based Systems Win Best Paper Award at the International Semantic Web Conference)
- Knowledge-Based Systems Win Best Paper Award at the International Semantic Web Conference + (Knowledge-Based Systems Win Best Paper Award at the International Semantic Web Conference)
- Knowledge-Based Systems: Completed Theses + (Knowledge-Based Systems: Completed Theses)
- Knowledge-aware Artificial Intelligence + (Knowledge-aware Artificial Intelligence)
- Knowledge-aware Artificial Intelligence + (Knowledge-aware Artificial Intelligence)
- Knowledge-aware Artificial Intelligence: Abgeschlossene Arbeiten + (Knowledge-aware Artificial Intelligence: Abgeschlossene Arbeiten)
- Knut Berling + (Knut Berling)
- Komplexpraktikum „Modellierung und quantitative Systemanalyse II“ + (Komplexpraktikum „Modellierung und quantitative Systemanalyse II“)
- Komplexpraktikum „Modellierung und quantitative Systemanalyse I“ + (Komplexpraktikum „Modellierung und quantitative Systemanalyse I“)
- Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“ + (Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“)
- Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“ + (Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅰ“)
- Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅱ“ + (Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅱ“)
- Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅱ“ + (Komplexpraktikum „Modellierung und quantitative Systemanalyse Ⅱ“)
- Konstruktion eines massiv parallelen Planers auf der Grundlage von AC + (Konstruktion eines massiv parallelen Planers auf der Grundlage von AC)
- Konstruktion eines massiv parallelen Planers auf der Grundlage von AC + (Konstruktion eines massiv parallelen Planers auf der Grundlage von AC)
- Kontakt + (Kontakt)
- Kontraktionssätze auf verallgemeinerten metrischen Räumen + (Kontraktionssätze auf verallgemeinerten metrischen Räumen)
- Künstliche Intelligenz, quo vadis? + (Künstliche Intelligenz, quo vadis?)
- LIFT-UP: Lifted First-Order Planning Under Uncertainty + (LIFT-UP: Lifted First-Order Planning Under Uncertainty)
- LODifier: Generating Linked Data from Unstructured Text + (LODifier: Generating Linked Data from Unstructured Text)
- LTL over Description Logic Axioms + (LTL over Description Logic Axioms)
- LTL over Description Logic Axioms + (LTL over Description Logic Axioms)
- LTL over Description Logic Axioms + (LTL over Description Logic Axioms)
- LTL over Description Logic Axioms + (LTL over Description Logic Axioms)
- LTL over EL Axioms + (LTL over EL Axioms)
- LTL to Deterministic Emerson-Lei Automata + (LTL to Deterministic Emerson-Lei Automata)
- Lab Course “Modeling and Automated Verification” + (Lab Course “Modeling and Automated Verification”)
- Lab Course “Modeling and Automated Verification” + (Lab Course “Modeling and Automated Verification”)
- Lab Course “Modeling and Automated Verification” + (Lab Course “Modeling and Automated Verification”)
- Lab Course “Modeling and Automated Verification” + (Lab Course “Modeling and Automated Verification”)
- Lab Course “Modeling and Automated Verification” + (Lab Course “Modeling and Automated Verification”)
- Language Tests + (Language Tests)
- Languages, Decidability, and Complexity + (Languages, Decidability, and Complexity)
- Larry González + (Larry González)
- Larry González + (Larry González)
- Laufende Abschlussarbeiten der Forschungsgruppe {{{1}}} + (Laufende Abschlussarbeiten der Forschungsgruppe {{{1}}})
- Laufende Studienarbeiten + (Laufende Studienarbeiten)
- Lazy model checking for recursive state machines + (Lazy model checking for recursive state machines)
- Learning Description Logic Ontologies via Queries + (Learning Description Logic Ontologies via Queries)
- Learning Description Logic Ontologies via Queries + (Learning Description Logic Ontologies via Queries)
- Learning Formal Definitions for Biomedical Concepts + (Learning Formal Definitions for Biomedical Concepts)
- Learning Formal Definitions for Snomed CT from Text + (Learning Formal Definitions for Snomed CT from Text)
- Learning Formal Definitions for Snomed CT from Text + (Learning Formal Definitions for Snomed CT from Text)
- Learning Ontologies with Epistemic Reasoning: The EL Case + (Learning Ontologies with Epistemic Reasoning: The EL Case)
- Learning Ontologies with Epistemic Reasoning: The EL Case + (Learning Ontologies with Epistemic Reasoning: The EL Case)
- Learning Terminological Knowledge with High Confidence from Erroneous Data + (Learning Terminological Knowledge with High Confidence from Erroneous Data)
- Learning Terminological Knowledge with High Confidence from Erroneous Data + (Learning Terminological Knowledge with High Confidence from Erroneous Data)
- Learning Word Representation in Compositional Matrix-Space Models + (Learning Word Representation in Compositional Matrix-Space Models)
- Learning Word Representation in Compositional Matrix-Space Models + (Learning Word Representation in Compositional Matrix-Space Models)
- Learning in Fuzzy Description Logics + (Learning in Fuzzy Description Logics)
- Learning in Fuzzy Description Logics + (Learning in Fuzzy Description Logics)
- Learning in the context of a formal calculus for the boolean satisfiability problem. + (Learning in the context of a formal calculus for the boolean satisfiability problem.)
- Learning in the context of a formal calculus for the boolean satisfiability problem. + (Learning in the context of a formal calculus for the boolean satisfiability problem.)
- Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles + (Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles)
