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
- Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics + (BoPe-FroCoS15.pdf)
- Consistency Reasoning in Lattice-Based Fuzzy Description Logics + (BoPe-IJAR14.pdf)
- Algorithms for Reasoning in Very Expressive Description Logics under Infinitely Valued Gödel Semantics + (BoPe-IJAR17.pdf)
- Description Logics over Lattices with Multi-valued Ontologies + (BoPe-IJCAI11.pdf)
- Positive Subsumption in Fuzzy EL with General t-norms + (BoPe-IJCAI13.pdf)
- The Complexity of Lattice-Based Fuzzy Description Logics + (BoPe-JoDS12.pdf)
- Undecidability of Fuzzy Description Logics + (BoPe-KR12.pdf)
- Complementation and Inclusion of Weighted Automata on Infinite Trees + (BoPe-LTCS-10-05.pdf)
- Complementation and Inclusion of Weighted Automata on Infinite Trees: Revised Version + (BoPe-LTCS-11-02.pdf)
- Undecidability of Fuzzy Description Logics + (BoPe-LTCS-11-06.pdf)
- Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices + (BoPe-LTCS-12-04.pdf)
- Finite Lattices Do Not Make Reasoning in ALCI Harder + (BoPe-URSW11.pdf)
- Finite Lattices Do Not Make Reasoning in ALCOI Harder + (BoPe-URSW3.pdf)
- A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices + (BoPeRR12.pdf)
- Temporal Query Answering in the Description Logic EL (extended abstract) + (BoTh-DL15.pdf)
- Temporal Query Answering in DL-Lite with Negation + (BoTh-GCAI15.pdf)
- Temporal Query Answering in the Description Logic EL + (BoTh-IJCAI15.pdf)
- LTL over EL Axioms + (BoTh-LTCS-15-07.pdf)
- Temporal Query Answering in EL + (BoTh-LTCS-15-08.pdf)
- Temporal Query Answering in DL-Lite with Negation + (BoTh-LTCS-15-16.pdf)
- International Tele-Teaching – A Progress Report + (Bohg:05:01.pdf)
- Expressive Non-Monotonic Description Logics Based on Circumscription + (BonattiLutzWolter-LTCS-05-06.ps.gz)
- Expressive Non-Monotonic Description Logics Based on Circumscription + (BonattiLutzWolter.pdf)
- Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis + (Borc-ICFCA13.pdf)
- On Confident GCIs of Finite Interpretations + (Borc-LTCS-12-06.pdf)
- A General Form of Attribute Exploration + (Borc-LTCS-13-02.pdf)
- Model Exploration by Confidence with Completely Specified Counterexamples + (Borc-LTCS-13-11.pdf)
- Exploration by Confidence + (Borch-LTCS-13-04.pdf)
- Fuzzy DLs over Finite Lattices with Nominals + (Borg-DL14.pdf)
- The Complexity of Fuzzy Description Logics over Finite Lattices with Nominals + (Borg-LTCS-14-02.pdf)
- What's not in a name? Initial Explorations of a Structural Approach to Integrating Large Concept Knowledge-Bases + (BorgidaKuesters-DCS-TR-391-1999.ps.gz)
- Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) + (Borgwardt-et-al Horn-DL-Planning Abstract DL2022.pdf)
- Expressivity of Planning with Horn Description Logic Ontologies + (Borgwardt-et-al Horn-DL-planning AAAI-2022 with appendix.pdf)
- The Bayesian Ontology reasoner is BORN! + (Born.pdf)
- User Adaptation in a Web Shop System + (Bornscheuer:00:01.pdf)
- Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals + (Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals.pdf)
- Query Containment for Highly Expressive Datalog Fragments + (Bourhis-Kroetzsch-Rudolph-1406.7801v1.pdf)
- How to Best Nest Regular Path Queries + (Bourhis-Kroetzsch-Rudolph_Nesting-Regular-Path-Queries_DL2014.pdf)
- Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies + (BrTuKu-LTCS-03-02.ps.gz)
- On Subsumption and Instance Problem in ELH w.r.t. General TBoxes + (Brandt-DL-2004.pdf)
- Implementing Matching in ALE—First Results + (Brandt-DL-final-2003.pdf)
- Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and—What Else? + (Brandt-ECAI-2004.pdf)
- Reasoning in ELH w.r.t. General Concept Inclusion Axioms + (Brandt-LTCS-04-03.pdf)
- Subsumption and Instance Problem in ELH w.r.t. General TBoxes + (Brandt-LTCS-04-04.pdf)
- Approximating ALCN-Concept Descriptions + (BrandtKuesters+-DL02.ps.gz)
- Approximation and Difference in Description Logics + (BrandtKuesters+-KR-02.ps.gz)
- Approximation and Difference in Description Logics + (BrandtKuesters+-LTCS-01-06.ps.gz)
- Implementing Matching in ALN + (BrandtLiu-KI2004ADL.pdf)
- Subsumption in EL w.r.t. hybrid TBoxes + (BrandtModel-KI2005.pdf)
- Extensions of Non-standard Inferences to Description Logics with transitive Roles + (BrandtTurhan+LPAR-03.ps.gz)
- Computing least common subsumers for FLE^+ + (BrandtTurhan-DL-03.ps.gz)
