Suche mittels Attribut

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

• Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator  + (Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator)
• System BV is NP-complete  + (System BV is NP-complete)
• System BV without the Equalities for Unit  + (System BV without the Equalities for Unit)
• System NEL is Undecidable  + (System NEL is Undecidable)
• TBoxes do not yield a compact representation of least common subsumers  + (TBoxes do not yield a compact representation of least common subsumers)
• TE-ETH: Lower Bounds for QBFs of Bounded Treewidth  + (TE-ETH: Lower Bounds for QBFs of Bounded Treewidth)
• TE-ETH: Lower Bounds for QBFs of Bounded Treewidth  + (TE-ETH: Lower Bounds for QBFs of Bounded Treewidth)
• TU Dresden Reviewers Honoured at Leading AI Conference  + (TU Dresden Reviewers Honoured at Leading AI Conference)
• TU Dresden and Computer Science  + (TU Dresden and Computer Science)
• TU Dresden errichtet School of AI mit dem ICCL  + (TU Dresden errichtet School of AI mit dem ICCL)
• Tableau Algorithms for Description Logics  + (Tableau Algorithms for Description Logics)
• Tableau Systems for SHIO and SHIQ  + (Tableau Systems for SHIO and SHIQ)
• Tableaux for Projection Computation and Knowledge Compilation  + (Tableaux for Projection Computation and Knowledge Compilation)
• Tableaux for Temporal Description Logic with Constant Domain  + (Tableaux for Temporal Description Logic with Constant Domain)
• Tableaux for Verification of Data-Centric Processes  + (Tableaux for Verification of Data-Centric Processes)
• Tabu Search Revisited  + (Tabu Search Revisited)
• Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents  + (Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents)
• Talking about Forests: an Example of Sharing Information Expressed with Vague Terms  + (Talking about Forests: an Example of Sharing Information Expressed with Vague Terms)
• Taming Dilation in Imprecise Pooling  + (Taming Dilation in Imprecise Pooling)
• Tarakos GmbH  + (Tarakos GmbH)
• Tarakos GmbH  + (Tarakos GmbH)
• Taschenbuch der Informatik  + (Taschenbuch der Informatik)
• Taufiq Hidayat  + (Taufiq Hidayat)
• Taufiq Hidayat  + (Taufiq Hidayat)
• Teaching Staff  + (Teaching Staff)
• Teaching, Examinations, and Learning During the COVID-19 Pandemic  + (Teaching, Examinations, and Learning During the COVID-19 Pandemic)

• Team Project “Model Checking”  + (Team Project “Model Checking”)
• Team Project “Model Checking”  + (Team Project “Model Checking”)
• Team Project “Model Checking”  + (Team Project “Model Checking”)

• Technische Universität Wien  + (Technische Universität Wien)
• Technische Universität Wien  + (Technische Universität Wien)
• Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles  + (Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles)
• Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles  + (Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles)
• Temporal Description Logics: A Survey  + (Temporal Description Logics: A Survey)
• Temporal Logics with Local Constraints  + (Temporal Logics with Local Constraints)
• Temporal Logics with Probabilistic Distributions  + (Temporal Logics with Probabilistic Distributions)
• Temporal Logics with Probabilistic Distributions  + (Temporal Logics with Probabilistic Distributions)
• Temporal Query Answering in DL-Lite  + (Temporal Query Answering in DL-Lite)
• Temporal Query Answering in DL-Lite with Negation  + (Temporal Query Answering in DL-Lite with Negation)
• Temporal Query Answering in DL-Lite with Negation  + (Temporal Query Answering in DL-Lite with Negation)
• Temporal Query Answering in EL  + (Temporal Query Answering in EL)
• Temporal Query Answering in EL  + (Temporal Query Answering in EL)
• Temporal Query Answering in EL  + (Temporal Query Answering in EL)
• Temporal Query Answering in a Fuzzy World  + (Temporal Query Answering in a Fuzzy World)
• Temporal Query Answering in the Description Logic DL-Lite  + (Temporal Query Answering in the Description Logic DL-Lite)
• Temporal Query Answering in the Description Logic EL  + (Temporal Query Answering in the Description Logic EL)
• Temporal Query Answering in the Description Logic EL (extended abstract)  + (Temporal Query Answering in the Description Logic EL (extended abstract))
• Temporal Query Answering w.r.t. DL-Lite-Ontologies  + (Temporal Query Answering w.r.t. DL-Lite-Ontologies)
• Temporal Query Entailment in the Description Logic SHQ  + (Temporal Query Entailment in the Description Logic SHQ)
• Temporal Tableaux  + (Temporal Tableaux)
• Temporal constraint satisfaction problems in least fixed point logic  + (Temporal constraint satisfaction problems in least fixed point logic)
• Temporal constraint satisfaction problems in least fixed point logic  + (Temporal constraint satisfaction problems in least fixed point logic)
• Temporal reasoning with DatalogMTL  + (Temporal reasoning with DatalogMTL)