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 Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL + (Franz)
- Pushing the EL Envelope + (Franz)
- Integrating Description Logics and Action Formalisms for Reasoning about Web Services + (Franz)
- PSPACE Automata with Blocking for Description Logics + (Franz)
- Dismatching and local disunification in EL + (Franz)
- Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles + (Franz)
- Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles + (Franz)
- Extending the Description Logic tEL(deg) with acyclic TBoxes + (Franz)
- Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification + (Franz)
- The Description Logic Handbook: Theory, Implementation and Applications. + (Franz)
- Term Rewriting and All That + (Franz)
- Decidability and Complexity of Fuzzy Description Logics + (Franz)
- Query Rewriting for DL-Lite with n-ary Concrete Domains + (Franz)
- Metric Temporal Description Logics with Interval-Rigid Names + (Franz)
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints + (Franz)
- Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints + (Franz)
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints + (Franz)
- On the Abstract Expressive Power of Description Logics with Concrete Domains + (Franz)
- The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains + (Franz)
- Description Logics That Count, and What They Can and Cannot Count + (Franz)
- On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets + (Franz)
- Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability + (Franz)
- Description Logics that Count, and What They Can and Cannot Count (Extended Abstract) + (Franz)
- On the Complexity and Expressiveness of Description Logics with Counting + (Franz)
- On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version) + (Franz)
- Approximated Determinisation of Weighted Tree Automata + (Frederic)
- Sequentiality of Group-Weighted Tree Automata + (Frederic)
- Paraconsistent OWL and Related Logics + (Frederick)
- Introducing Wikidata to the Linked Data Web + (Fredo)
- Topological Entropy of Formal Languages + (Friedrich Martin)
- Access Policy Design Supported by FCA Methods + (Frithjof)
- BDD-Based Decision Procedures for K + (G.)
- On the State Complexity of the Reverse of R- and J-Trivial Regular Languages + (Galina)
- On a structural property in the state complexity of projected regular languages + (Galina)
- On Properties and State Complexity of Deterministic State-Partition Automata + (Galina)
- On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs + (Galina)
- Complexity in Union-Free Regular Languages + (Galina)
- State Complexity of Projected Languages + (Galina)
- Complexity in Union-Free Regular Languages + (Galina)
- Expressiveness of guarded existential rule languages + (Georg)
- Learning Formal Definitions for Biomedical Concepts + (George)
- Linear Deductive Planning + (Gerd)
- Solving Advanced Argumentation Problems with Answer-Set Programming + (Gerhard)
- Solving Advanced Argumentation Problems with Answer Set Programming + (Gerhard)
- Solving Advanced Argumentation Problems with Answer Set Programming + (Gerhard)
- Reactive multi-context systems: Heterogeneous reasoning in dynamic environments + (Gerhard)
- Advanced Solving Technology for Dynamic and Reactive Applications + (Gerhard)
- Abstract Dialectical Frameworks. An Overview + (Gerhard)
- Abstract Dialectical Frameworks + (Gerhard)
- Inconsistency management in reactive multi-context systems + (Gerhard)
