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

• Tableau Systems for SHIO and SHIQ  + (Tableau Systems for SHIO and SHIQ)
• Deduction Systems  + (Tableaux 1)
• Deduction Systems  + (Tableaux 2)
• Deduction Systems  + (Tableaux Optimizations)
• 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)
• Problem Solving and Search in Artificial Intelligence  + (Tabu Search)
• Problem Solving and Search in Artificial Intelligence  + (Tabu Search)
• Problem Solving and Search in Artificial Intelligence  + (Tabu Search)
• Problem Solving and Search in Artificial Intelligence  + (Tabu Search)
• Problem Solving and Search in Artificial Intelligence  + (Tabu Search)
• Advanced Problem Solving and Search  + (Tabu Search)
• Advanced Problem Solving and Search  + (Tabu Search)
• Advanced Problem Solving and Search  + (Tabu Search)
• Advanced Problem Solving and Search  + (Tabu Search)
• Advanced Problem Solving and Search  + (Tabu Search)
• Advanced Problem Solving and Search  + (Tabu Search)
• Problem Solving and Search in Artificial Intelligence  + (Tabu Search)
• Advanced Problem Solving and Search  + (Tabu Search)
• Tabu Search Revisited  + (Tabu Search Revisited)
• Problem Solving and Search in Artificial Intelligence  + (Tabu Search, Practical Work)
• 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)
• Taschenbuch der Informatik  + (Taschenbuch der Informatik)

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

• 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)
• Seminar: Knowledge Representation  + (Temporal Logics)
• Temporal Logics with Local Constraints  + (Temporal Logics with Local Constraints)
• 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 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)
• Seminar Logic-Based Knowledge Representation  + (Temporal Reasoning)
• Seminar Logic-Based Knowledge Representation  + (Temporal Reasoning (Lea))
• Temporal Tableaux  + (Temporal Tableaux)
• Temporalising Tractable Description Logics  + (Temporalising Tractable Description Logics)
• Temporalizing Ontology-Based Data Access  + (Temporalizing Ontology-Based Data Access)
• Temporalizing Rewritable Query Languages over Knowledge Bases  + (Temporalizing Rewritable Query Languages over Knowledge Bases)
• Temporally Attributed Description Logics  + (Temporally Attributed Description Logics)
• Tempus Fugit - Towards an Ontology Update Language  + (Tempus Fugit - Towards an Ontology Update Language)
• Term Rewriting Systems  + (Term Rewriting Systems)