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
- An Ontology Design Pattern for Data Integration in the Library Domain + (An Ontology Design Pattern for Data Integration in the Library Domain)
- An Ontology Design Pattern for Particle Physics Analysis + (An Ontology Design Pattern for Particle Physics Analysis)
- An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. + (An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process.)
- An Overview of Tableau Algorithms for Description Logics + (An Overview of Tableau Algorithms for Description Logics)
- An importance value for temporal logics + (An importance value for temporal logics)
- An importance value for temporal logics + (An importance value for temporal logics)
- An open architecture for multiple case retrieval methods + (An open architecture for multiple case retrieval methods)
- An overview of Datalog boundedness + (An overview of Datalog boundedness)
- An overview of Datalog boundedness + (An overview of Datalog boundedness)
- Ana Ozaki + (Ana Ozaki)
- Ana Ozaki + (Ana Ozaki)
- Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens + (Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens)
- Analyse und Implementierung der scf2 Argumentation Semantik + (Analyse und Implementierung der scf2 Argumentation Semantik)
- Analysis and Implementation of scf2 Argumentation Semantics + (Analysis and Implementation of scf2 Argumentation Semantics)
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory + (Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory)
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory + (Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory)
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory + (Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory)
- Andras Pluhar + (Andras Pluhar)
- Andras Pluhar + (Andras Pluhar)
- Andrea Kühn + (Andrea Kühn)
- Andreas Ecke + (Andreas Ecke)
- Andreas Ecke + (Andreas Ecke)
- Andrei Voronkov + (Andrei Voronkov)
- Andrei Voronkov + (Andrei Voronkov)
- Anforderungen an die FABEL-Sprache + (Anforderungen an die FABEL-Sprache)
- Ankündigung: Themenvergabe für studentische Projekte + (Ankündigung: Themenvergabe für studentische Projekte)
- Anni-Yasmin Turhan + (Anni-Yasmin Turhan)
- Anni-Yasmin Turhan + (Anni-Yasmin Turhan)
- Anomaly-Driven Concept Acquisition + (Anomaly-Driven Concept Acquisition)
- Anouk Michelle Oudshoorn and Nick Leisegang visit the Computational Logic Research Group + (Anouk Michelle Oudshoorn and Nick Leisegang visit the Computational Logic Research Group)
- Anschlus̈bericht über das Verbundvorhaben FABEL + (Anschlus̈bericht über das Verbundvorhaben FABEL)
- Answer Set Navigation alongside Quantitative Reasoning + (Answer Set Navigation alongside Quantitative Reasoning)
- Answer Set Navigation alongside Quantitative Reasoning + (Answer Set Navigation alongside Quantitative Reasoning)
- Answer Set Navigation: Probleme Besser Verstehen + (Answer Set Navigation: Probleme Besser Verstehen)
- Answer Set Programming + (Answer Set Programming)
- Answer Set Programming and Clasp (INFOCOM-6) + (Answer Set Programming and Clasp (INFOCOM-6))
- Answer-Set Programming Encodings for Argumentation Frameworks + (Answer-Set Programming Encodings for Argumentation Frameworks)
- Answer-Set Programming Encodings for Argumentation Frameworks + (Answer-Set Programming Encodings for Argumentation Frameworks)
- Answer-set programming encodings for argumentation frameworks + (Answer-set programming encodings for argumentation frameworks)
- Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract + (Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract)
- Answering EL Queries in the Presence of Preferences + (Answering EL Queries in the Presence of Preferences)
- Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies + (Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies)
- Answering Instance Queries Relaxed by Concept Similarity + (Answering Instance Queries Relaxed by Concept Similarity)
- Answering Queries with Negation over Existential Rules + (Answering Queries with Negation over Existential Rules)
- Answering Queries with Negation over Existential Rules + (Answering Queries with Negation over Existential Rules)
- Answering Queries with Negation over Existential Rules + (Answering Queries with Negation over Existential Rules)
- Answering Temporal Conjunctive Queries over DL Ontologies + (Answering Temporal Conjunctive Queries over DL Ontologies)
- Answering Temporal Conjunctive Queries over DL Ontologies + (Answering Temporal Conjunctive Queries over DL Ontologies)
- Answering conjunctive queries in the SHIQ description logic + (Answering conjunctive queries in the SHIQ description logic)
- Answering conjunctive queries in the SHIQ description logic + (Answering conjunctive queries in the SHIQ description logic)
- Antonis Kakas + (Antonis Kakas)