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
- 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)
- Quantitative Characterization of Reconfigurable Transistor Logic Gates + (Quantitative Characterization of Reconfigurable Transistor Logic Gates)
- Quantitative Temporal Logics: PSpace and below + (Quantitative Temporal Logics: PSpace and below)
- Quantitative Temporal Logics: PSpace and below + (Quantitative Temporal Logics: PSpace and below)
- Quantitative Temporal Logics: PSpace and below + (Quantitative Temporal Logics: PSpace and below)
- Quantitative Versions of the Chomsky-Schützenberger Theorem + (Quantitative Versions of the Chomsky-Schützenberger Theorem)
- Quantitative Versions of the Chomsky-Schützenberger Theorem + (Quantitative Versions of the Chomsky-Schützenberger Theorem)
- Quantitative analysis under fairness constraints + (Quantitative analysis under fairness constraints)
- Quantum Computing and the Limits of the Efficiently Computable + (Quantum Computing and the Limits of the Efficiently Computable)
- Quantum Computing and the Limits of the Efficiently Computable + (Quantum Computing and the Limits of the Efficiently Computable)
- Queries in Fuzzy Deductive Databases Using Medical Information + (Queries in Fuzzy Deductive Databases Using Medical Information)
- Query Answering in Bayesian Description Logics + (Query Answering in Bayesian Description Logics)
- Query Answering in Ontologies under Preference Rankings + (Query Answering in Ontologies under Preference Rankings)
- Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ + (Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ)
- Query Containment Using a DLR ABox + (Query Containment Using a DLR ABox)
- Query Containment for Highly Expressive Datalog Fragments + (Query Containment for Highly Expressive Datalog Fragments)
- Query Containment in Very Expressive XPath dialects + (Query Containment in Very Expressive XPath dialects)
- Query Matching for Report Recommendation + (Query Matching for Report Recommendation)
- Query Rewriting for DL-Lite with n-ary Concrete Domains + (Query Rewriting for DL-Lite with n-ary Concrete Domains)
- Query Rewriting for DL-Lite with n-ary Concrete Domains + (Query Rewriting for DL-Lite with n-ary Concrete Domains)
- Query Rewriting for DL-Lite with n-ary Concrete Domains + (Query Rewriting for DL-Lite with n-ary Concrete Domains)
- Query Stability in Data-aware Business Processes + (Query Stability in Data-aware Business Processes)
- Query Stability in Data-aware Business Processes + (Query Stability in Data-aware Business Processes)
- Query and Predicate Emptiness in Description Logics + (Query and Predicate Emptiness in Description Logics)
- Query-Based Access Control for Ontologies + (Query-Based Access Control for Ontologies)
- Querying Probabilistic Ontologies + (Querying Probabilistic Ontologies)
- Querying Probabilistic Ontologies + (Querying Probabilistic Ontologies)