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
- 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)
- Temporal reasoning with DatalogMTL + (Temporal reasoning with DatalogMTL)
- 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)
- Term Rewriting Systems + (Term Rewriting Systems)
- Term Rewriting Systems + (Term Rewriting Systems)
- Term Rewriting Systems + (Term Rewriting Systems)
- Term Rewriting Systems + (Term Rewriting Systems)
- Term Rewriting Systems + (Term Rewriting Systems)
- Term Rewriting and All That + (Term Rewriting and All That)
- Term Rewriting and All That + (Term Rewriting and All That)
- Termersetzungssysteme, Skript zur Vorlesung + (Termersetzungssysteme, Skript zur Vorlesung)
- Terminological Cycles in KL-ONE-based Knowledge Representation Languages + (Terminological Cycles in KL-ONE-based Knowledge Representation Languages)
- Terminological Cycles in KL-ONE-based Knowledge Representation Languages + (Terminological Cycles in KL-ONE-based Knowledge Representation Languages)
- Terminological Cycles in a Description Logic with Existential Restrictions + (Terminological Cycles in a Description Logic with Existential Restrictions)
- Terminological Cycles in a Description Logic with Existential Restrictions + (Terminological Cycles in a Description Logic with Existential Restrictions)
- Terminological Knowledge Representation: A Proposal for a Terminological Logic + (Terminological Knowledge Representation: A Proposal for a Terminological Logic)
- Terminological Logics with Modal Operators + (Terminological Logics with Modal Operators)
- Terminological Logics with Modal Operators + (Terminological Logics with Modal Operators)
- Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams + (Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams)
- Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL + (Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL)
- Terminologische Logiken + (Terminologische Logiken)
