Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)