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
- Publikationen von Simon Meusel + (Publikationen von Simon Meusel)
- Publikationen von Simon Razniewski + (Publikationen von Simon Razniewski)
- Publikationen von Stefan Borgwardt + (Publikationen von Stefan Borgwardt)
- Publikationen von Stefan Ellmauthaler + (Publikationen von Stefan Ellmauthaler)
- Publikationen von Steffen Hölldobler + (Publikationen von Steffen Hölldobler)
- Publikationen von Stephan Böhme + (Publikationen von Stephan Böhme)
- Publikationen von Taufiq Hidayat + (Publikationen von Taufiq Hidayat)
- Publikationen von Theofilos Mailis + (Publikationen von Theofilos Mailis)
- Publikationen von Thomas Feller + (Publikationen von Thomas Feller)
- Publikationen von Thomas Hinze + (Publikationen von Thomas Hinze)
- Publikationen von Tim Lyon + (Publikationen von Tim Lyon)
- Publikationen von Timm Spork + (Publikationen von Timm Spork)
- Publikationen von Tingting Zou + (Publikationen von Tingting Zou)
- Publikationen von Tobias Philipp + (Publikationen von Tobias Philipp)
- Publikationen von Tobias Pietzsch + (Publikationen von Tobias Pietzsch)
- Publikationen von Tomas Masopust + (Publikationen von Tomas Masopust)
- Publikationen von Tomáš Masopust + (Publikationen von Tomáš Masopust)
- Publikationen von Ulrike Sattler + (Publikationen von Ulrike Sattler)
- Publikationen von Ursula Hans + (Publikationen von Ursula Hans)
- Publikationen von Van Hau Nguyen + (Publikationen von Van Hau Nguyen)
- Publikationen von Veronika Thost + (Publikationen von Veronika Thost)
- Publikationen von Victoriia Korsak + (Publikationen von Victoriia Korsak)
- Publikationen von Walter Forkel + (Publikationen von Walter Forkel)
- Publikationen von Werner Stephan + (Publikationen von Werner Stephan)
- Publikationen von Xia Wu + (Publikationen von Xia Wu)
- Publikationen von Ye Yuxin + (Publikationen von Ye Yuxin)
- Publikationen von Yue Ma + (Publikationen von Yue Ma)
- Publikationen von Zoltan Esik + (Publikationen von Zoltan Esik)
- Publikationen von İsmail İlkan Ceylan + (Publikationen von İsmail İlkan Ceylan)
- Pushing Doors for Modeling Contexts with OWL DL –a Case Study + (Pushing Doors for Modeling Contexts with OWL DL –a Case Study)
- Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+ + (Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+)
- Pushing the Boundaries of Tractable Ontology Reasoning. + (Pushing the Boundaries of Tractable Ontology Reasoning.)
- Pushing the EL Envelope + (Pushing the EL Envelope)
- Pushing the EL Envelope + (Pushing the EL Envelope)
- Pushing the EL Envelope Further + (Pushing the EL Envelope Further)
- Pushing the SONIC border — SONIC 1.0 + (Pushing the SONIC border — SONIC 1.0)
- Putting ABox Updates into Action + (Putting ABox Updates into Action)
- Putting ABox Updates into Action + (Putting ABox Updates into Action)
- Putting ABox Updates into Action + (Putting ABox Updates into Action)
- QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios + (QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios)
- QbDJ: A Novel Framework for Handling Skew in Parallel Join Processing on Distributed Memory + (QbDJ: A Novel Framework for Handling Skew in Parallel Join Processing on Distributed Memory)
- Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding + (Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding)
- Qualifying Number Restrictions in Concept Languages + (Qualifying Number Restrictions in Concept Languages)
- Qualifying Number Restrictions in Concept Languages + (Qualifying Number Restrictions in Concept Languages)
- Quality Assessment of Design Cases within the DOM Environment + (Quality Assessment of Design Cases within the DOM Environment)
- QuantLA + (QuantLA)
- QuantLA + (QuantLA)
- Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking + (Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking)
- Quantitative Analysis of Communication Scenarios + (Quantitative Analysis of Communication Scenarios)
- Quantitative Analysis of Distributed Randomized Protocols + (Quantitative Analysis of Distributed Randomized Protocols)
- Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata + (Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata)
