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

• Automata-based Pinpointing for DLs  + (Automata-based Pinpointing for DLs)
• Automata-based Reasoning in Fuzzy Description Logics  + (Automata-based Reasoning in Fuzzy Description Logics)
• Automated Deduction - A Basis for Applications  + (Automated Deduction - A Basis for Applications)
• Automated Performance and Dependability Evaluation Using Model Checking  + (Automated Performance and Dependability Evaluation Using Model Checking)
• Automated Reasoning Support for Process Models using Action Languages  + (Automated Reasoning Support for Process Models using Action Languages)
• Automated Reasoning Support for Process Models using Action Languages  + (Automated Reasoning Support for Process Models using Action Languages)
• Automated Reasoning Support for Standpoint-OWL 2  + (Automated Reasoning Support for Standpoint-OWL 2)
• Automated Reencoding of Boolean Formulas  + (Automated Reencoding of Boolean Formulas)
• Automatentheorie  + (Automatentheorie)
• Automatentheorie: Abgeschlossene Arbeiten  + (Automatentheorie: Abgeschlossene Arbeiten)
• Automatic Extraction of Compositional Matrix-Space Models of Language  + (Automatic Extraction of Compositional Matrix-Space Models of Language)
• Automatic Extraction of Compositional Matrix-Space Models of Language  + (Automatic Extraction of Compositional Matrix-Space Models of Language)
• Automatic Verification of Liveness Properties of Randomized Systems  + (Automatic Verification of Liveness Properties of Randomized Systems)
• Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation  + (Automatic and Interactive Search in Flexible Dispute Derivations for Assumption-Based Argumentation)
• Automatic flow classification using machine learning  + (Automatic flow classification using machine learning)
• Automatic translation of clinical trial eligibility criteria into formal queries  + (Automatic translation of clinical trial eligibility criteria into formal queries)
• Automatic translation of clinical trial eligibility criteria into formal queries  + (Automatic translation of clinical trial eligibility criteria into formal queries)
• Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics  + (Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics)
• Automating Reasoning with Standpoint Logic via Nested Sequents  + (Automating Reasoning with Standpoint Logic via Nested Sequents)
• Autonomous, Model-Based Diagnosis Agents  + (Autonomous, Model-Based Diagnosis Agents)
• Award for German University Coordinators in Erasmus Mundus 2004-2008  + (Award for German University Coordinators in Erasmus Mundus 2004-2008)
• Awards  + (Awards)
• Awards in 2004  + (Awards in 2004)
• Awards in 2004  + (Awards in 2004)
• Awards in 2005  + (Awards in 2005)
• Awards in 2005  + (Awards in 2005)

• Awards in 2006  + (Awards in 2006)
• Awards in 2006  + (Awards in 2006)

• Awards in 2007  + (Awards in 2007)
• Awards in 2007  + (Awards in 2007)
• Awards in 2008  + (Awards in 2008)
• Awards in 2008  + (Awards in 2008)
• Awards in 2009  + (Awards in 2009)
• Awards in 2009  + (Awards in 2009)
• Awards in 2010  + (Awards in 2010)
• Awards in 2010  + (Awards in 2010)
• Awards in 2011  + (Awards in 2011)
• Awards in 2011  + (Awards in 2011)
• Awards in 2012  + (Awards in 2012)
• Awards in 2012  + (Awards in 2012)
• Awards in 2013  + (Awards in 2013)
• Awards in 2013  + (Awards in 2013)
• Awards in 2014  + (Awards in 2014)
• Awards in 2014  + (Awards in 2014)
• Axel Großmann  + (Axel Großmann)
• Axel Großmann  + (Axel Großmann)
• Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition  + (Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition)
• Axiom Pinpointing in General Tableaux  + (Axiom Pinpointing in General Tableaux)
• Axiom Pinpointing in General Tableaux  + (Axiom Pinpointing in General Tableaux)
• Axiom Pinpointing in General Tableaux  + (Axiom Pinpointing in General Tableaux)
• Axiom Pinpointing is Hard  + (Axiom Pinpointing is Hard)
• Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data  + (Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data)