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

• 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)