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
- On the Decidability Status of Fuzzy ALC with General Concept Inclusions + (44)
- Deduktives Planen + (44)
- PDL with Intersection and Converse is 2EXP-complete + (4423)
- On a structural property in the state complexity of projected regular languages + (449)
- Automata-based Axiom Pinpointing + (45)
- Efficient OWL Reasoning with Logic Programs - Evaluations + (4524)
- 18th International Conference on Rewriting Techniques and Applications (RTA 2007) + (4533)
- Axiom Pinpointing in General Tableaux + (4548)
- Coordination Control of Distributed Discrete-Event Systems + (456)
- Supervisory Control of Discrete-Event Systems + (456)
- Conservative Extensions in the Lightweight Description Logic EL + (4603)
- Using FCA for Encoding of Closure Operators into Neural Networks + (4604)
- Supporting Lexical Ontology Learning by Relational Exploration + (4604)
- Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web + (4604)
- Reasoning in Semantic Wikis + (4636)
- Pinpointing in the Description Logic EL + (4667)
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies + (47)
- Projection and Scope-Determined Circumscription + (47)
- Conjunctive Query Entailment: Decidable in Spite of O, I, and Q + (477)
- A Matter of Principles: Towards the Largest DLP Possible + (477)
- OntoComP System Description + (477)
- Reasoning With Weighted Ontologies + (477)
- Axiom Pinpointing is Hard + (477)
- Reintroducing CEL as an OWL 2 EL Reasoner + (477)
- On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata + (4783)
- Data Complexity in the EL family of Description Logics + (4790)
- A note on controllability of deterministic context-free systems + (48)
- Supervisory control synthesis of discrete-event systems using a coordination scheme + (48)
- Conjunctive Queries for a Tractable Fragment of OWL 1.1 + (4825)
- Supplementary Proceedings of ICCS'09 + (483)
- Probabilistic and Topological Semantics for Timed Automata + (4855)
- Rewrite Systems for Varieties of Semigroups + (488)
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification + (488)
- Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems + (488)
- Stochastic Game Logic + (49)
- Acquiring Generalized Domain-Range Restrictions + (4933)
- Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement + (4933)
- On the Complexity of Computing Generators of Closed Sets + (4933)
- A Finite Basis for the Set of EL-Implications Holding in a Finite Model + (4933)
- On Decision Problems for Probabilistic Büchi Automata + (4962)
- Semantic Wikipedia + (5)
- Leveraging Non-Lexical Knowledge for the Linked Open Data Web + (5)
- A rule-based ontological framework for the classification of molecules + (5)
- A Multi-Dimensional Terminological Knowledge Representation Language + (5)
- NExpTime-complete Description Logics with Concrete Domains + (5)
- Computing the Least Common Subsumer w.r.t. a Background Terminology + (5)
- Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies + (5)
- Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language + (5)
- From Verification to Synthesis under Cost-Utility Constraints + (5)
- Module Extraction and Incremental Classification: A Pragmatic Approach for EL^+ Ontologies + (5021)
- Intensional Question Answering using ILP: What does an answer mean? + (5039)
- Alternating-Time Stream Logic for Multi-agent Systems + (5052)
