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

• On Confident GCIs of Finite Interpretations  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• Solving Language Equations and Disequations Using Looping Tree Automata with Colors  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• Most Specific Generalizations w.r.t. General EL-TBoxes  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• LATPub721  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• Learning Formal Definitions for Snomed CT from Text  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• Exploration by Confidence  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• Model Exploration by Confidence with Completely Specified Counterexamples  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• A General Form of Attribute Exploration  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• Hybrid Unification in the Description Logic EL  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• On the Complexity of Temporal Query Answering  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• Conjunctive Query Answering in Rough EL  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• Towards Parallel Repair Using Decompositions  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• Error-Tolerant Reasoning in the Description Logic EL  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• The Complexity of Fuzzy Description Logics over Finite Lattices with Nominals  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• Matching with respect to general concept inclusions in the Description Logic EL  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• Runtime Verification Using a Temporal Description Logic Revisited  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• Exploiting SAT Technology for Axiom Pinpointing  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• Techreport3049  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• On the Complexity and Expressiveness of Description Logics with Counting  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version)  + (Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden)
• On the Decidability of Verifying LTL Properties of Golog Programs  + (Chair of Automata Theory, TU Dresden)
• Temporal Query Answering w.r.t. DL-Lite-Ontologies  + (Chair of Automata Theory, TU Dresden)
• Verification of Golog Programs over Description Logic Actions  + (Chair of Automata Theory, TU Dresden)
• Reasoning with Temporal Properties over Axioms of DL-Lite  + (Chair of Automata Theory, TU Dresden)
• Description Logics of Context with Rigid Roles Revisited  + (Chair of Automata Theory, TU Dresden)

• Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints  + (Computational Logic Group)

• Deciding the Word Problem in the Union of Equational Theories  + (Department of Computer Science, University of Illinois at Urbana-Champaign)
• Combining Equational Theories Sharing Non-Collapse-Free Constructors  + (Department of Computer Science, University of Iowa)
• Terminological Knowledge Representation: A Proposal for a Terminological Logic  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• KRIS: Knowledge Representation and Inference System, System Description  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• Concept Logic  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• A Formal Definition for Expressive Power of Knowledge Representation Languages  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• Terminological Cycles in KL-ONE-based Knowledge Representation Languages  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• A Scheme for Integrating Concrete Domains into Concept Languages  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• Qualifying Number Restrictions in Concept Languages  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• How to Prefer More Specific Defaults in Terminological Default Logic  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• Extensions of Concept Languages for a Mechanical Engineering Application  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• Unification Theory  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• Cardinality Restrictions on Concepts  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• Embedding Defaults into Terminological Representation Systems  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• A Semantics for Open Normal Defaults via a Modified Preferential Approach  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• Combination Techniques and Decision Problems for Disunification  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• Terminological Logics with Modal Operators  + (Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern)
• LATPub37  + (Fachbereich Informatik, Universität Kaiserslautern)
• DOM: Domain Ontology Modelling for Architectural Engineering Design  + (GMD)
• Assessment Supported by a Domain Ontology (DOM)  + (GMD)