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
- A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
- Complementation and Inclusion of Weighted Automata on Infinite Trees: Revised Version + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
- Computing Minimal EL-Unifiers is Hard + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
- Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
- Dismatching and Local Disunification in EL + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
- Finding Finite Herbrand Models + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
- Goedel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
- SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
- Subsumption in Finitely Valued Fuzzy EL + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
- Temporal Query Answering in EL + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
- Towards a Tableau Algorithm for Fuzzy ALC with Product T-norm + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
- Undecidability of Fuzzy Description Logics + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
- Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes + (Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden)
- Goedel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property +
- Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes +
- Dismatching and Local Disunification in EL +
- Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices +
- Towards a Tableau Algorithm for Fuzzy ALC with Product T-norm +
- Temporal Query Answering in EL +
- A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +
- Undecidability of Fuzzy Description Logics +
- Subsumption in Finitely Valued Fuzzy EL +
- Computing Minimal EL-Unifiers is Hard +
- Complementation and Inclusion of Weighted Automata on Infinite Trees: Revised Version +
- SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +
- Finding Finite Herbrand Models +
