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

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