Search by property
From International Center for Computational Logic
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
- Veröffentlichungen in 2005 + (Veröffentlichungen in 2005)
- Veröffentlichungen in 2006 + (Veröffentlichungen in 2006)
- Veröffentlichungen in 2007 + (Veröffentlichungen in 2007)
- Veröffentlichungen in 2008 + (Veröffentlichungen in 2008)
- Veröffentlichungen in 2009 + (Veröffentlichungen in 2009)
- Veröffentlichungen in 2010 + (Veröffentlichungen in 2010)
- Veröffentlichungen in 2011 + (Veröffentlichungen in 2011)
- Veröffentlichungen in 2012 + (Veröffentlichungen in 2012)
- Veröffentlichungen in 2013 + (Veröffentlichungen in 2013)
- Veröffentlichungen in 2014 + (Veröffentlichungen in 2014)
- Veröffentlichungen in 2015 + (Veröffentlichungen in 2015)
- Veröffentlichungen in 2016 + (Veröffentlichungen in 2016)
- Veröffentlichungen in 2017 + (Veröffentlichungen in 2017)
- Veröffentlichungen in 2018 + (Veröffentlichungen in 2018)
- Veröffentlichungen in 2019 + (Veröffentlichungen in 2019)
- Veröffentlichungen in 2020 + (Veröffentlichungen in 2020)
- Veröffentlichungen in 2021 + (Veröffentlichungen in 2021)
- Veröffentlichungen in 2022 + (Veröffentlichungen in 2022)
- Veröffentlichungen in 2023 + (Veröffentlichungen in 2023)
- Veröffentlichungen in 2024 + (Veröffentlichungen in 2024)
- Veröffentlichungen in 2025 + (Veröffentlichungen in 2025)
- Vice World Champion in the AI Birds Challenge! + (Vice World Champion in the AI Birds Challenge!)
- Vice World Champion in the AI Birds Challenge! + (Vice World Champion in the AI Birds Challenge!)
- Victoriia Korsak + (Victoriia Korsak)
- Victoriia Korsak + (Victoriia Korsak)
- Visa Information + (Visa Information)
- Visualisierung räumlich-zeitlicher Inhalte aus Wikidata + (Visualisierung räumlich-zeitlicher Inhalte aus Wikidata)
- Visualisierung räumlich-zeitlicher Inhalte aus Wikidata + (Visualisierung räumlich-zeitlicher Inhalte aus Wikidata)
- Visualisierung räumlich-zeitlicher Inhalte aus Wikidata + (Visualisierung räumlich-zeitlicher Inhalte aus Wikidata)
- Visualisierung von Lösungen in Abstrakten Argumentation Frameworks + (Visualisierung von Lösungen in Abstrakten Argumentation Frameworks)
- Visualization and navigation paradigms for triadic formal concept analysis + (Visualization and navigation paradigms for triadic formal concept analysis)
- Visualization and navigation paradigms for triadic formal concept analysis + (Visualization and navigation paradigms for triadic formal concept analysis)
- Visualization of Solutions in Abstract Argumentation Frameworks + (Visualization of Solutions in Abstract Argumentation Frameworks)
- Visualization of Statistical Information in Concept Lattice Diagrams + (Visualization of Statistical Information in Concept Lattice Diagrams)
- Visualization of spacio-temporal data from Wikidata + (Visualization of spacio-temporal data from Wikidata)
- Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods + (Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods)
- Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods + (Visualizing the Extension Space of Abstract Argumentation Frameworks Using Clustering Methods)
- Vorlage:DisplayAbschlussarbeit (example title) + (Vorlage:DisplayAbschlussarbeit (example title))
- Vorlage:DisplayMitarbeiter (example name) + (Vorlage:DisplayMitarbeiter (example name))
- Vorverarbeitung für Pseudo Boolean Probleme + (Vorverarbeitung für Pseudo Boolean Probleme)
- Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem + (Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem)
- Waiting for Locks: How Long Does It Usually Take? + (Waiting for Locks: How Long Does It Usually Take?)
- Walking the Complexity Lines for Generalized Guarded Existential Rules + (Walking the Complexity Lines for Generalized Guarded Existential Rules)
- Walter Forkel + (Walter Forkel)
- Walter Forkel + (Walter Forkel)
- Weak Bisimulation for Fully Probabilistic Processes + (Weak Bisimulation for Fully Probabilistic Processes)
- Weak Bisimulation for Fully Probabilistic Processes + (Weak Bisimulation for Fully Probabilistic Processes)
- Web Reasoning and Rule Systems - 5th International Conference (RR 2011) + (Web Reasoning and Rule Systems - 5th International Conference (RR 2011))
- Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceeding + (Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceeding)
- Web-Mining Defeasible Knowledge from Concessional Statements + (Web-Mining Defeasible Knowledge from Concessional Statements)
- Webpage of ICCL Summer School 2015 on Reasoning online now + (Webpage of ICCL Summer School 2015 on Reasoning online now)
- Webseite der ICCL Sommerschule 2015 über "Reasoning" ist online + (Webseite der ICCL Sommerschule 2015 über "Reasoning" ist online)
- Weight Monitoring with Linear Temporal Logic: Complexity and Decidability + (Weight Monitoring with Linear Temporal Logic: Complexity and Decidability)