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
- 18th International Conference on Rewriting Techniques and Applications (RTA 2007) +
- A Description Logic of Change +
- A Fully Connectionist Model Generator for Covered First-Order Logic Programs +
- A Tableau Algorithm for DLs with Concrete Domains and GCIs +
- A finite basis for the set of EL-implications holding in a finite model +
- Answering conjunctive queries in the SHIQ description logic +
- Ausgezeichnete Informatikdissertationen 2006 +
- Automatic flow classification using machine learning +
- Award1009 +
- Award1010 +
- Awards in 2007 +
- Axiom Pinpointing in General Tableaux +
- Blocking Automata for PSPACE DLs +
- Completing Description Logic Knowledge Bases using Formal Concept Analysis +
- Completing Description Logic Knowledge Bases using Formal Concept Analysis +
- Complexity Boundaries for Horn Description Logics +
- Complexity of Horn Description Logics +
- Complexity of Planning in Action Formalisms Based on Description Logics +
- Computing the Least Common Subsumer w.r.t. a Background Terminology +
- Conjunctive Queries for EL with Role Composition +
- Conjunctive Queries for a Tractable Fragment of OWL 1.1 +
- Connecting Many-Sorted Theories +
- Conservative Extensions in Expressive Description Logics +
- Conservative Extensions in the Lightweight Description Logic EL +
- Data Complexity in the EL family of DLs +
- Data Complexity in the EL family of Description Logics +
- Description Logics +
- Descriptional Complexity of Generalized Forbidding Grammars +
- Descriptional Complexity of Grammars Regulated by Context Conditions +
- Descriptional complexity of semi-conditional grammars +
- Die Zukunft der Wikis: Semantic Web +
- Efficient OWL Reasoning with Logic Programs - Evaluations +
- Encoding Closure Operators into Neural Networks +
- Extracting Propositional Rules from Feed-forward Neural Networks – A New Decompositional Approach +
- Generalized Domain-Range Restrictions +
- Inverse Roles Make Conjunctive Queries Hard +
- Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? +
- Model Checking Markov Chains with Actions and State Labels +
- Models and temporal logical specifications for timed component connectors +
- Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies +
- Neuro-Symbolic Word Tagging +
- On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata +
- Ontology-based Interpretation of Keywords for Semantic Search +
- PDL with Intersection and Converse is 2EXP-complete +
- Pinpointing in the Description Logic EL +
- Pinpointing in the Description Logic EL +
- Planning in Action Formalisms based on DLs: First Results +
- Practical Reasoning with OWL and Rules +
- Probabilistic and Topological Semantics for Timed Automata +
- Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007 +
