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 Finite Basis for the Set of EL-Implications Holding in a Finite Model +
- A Modularization-based Approach to Finding All Justifications for OWL DL Entailments +
- A uniform framework for weighted decision diagrams and its implementation +
- ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming +
- Access restriction inside ontologies +
- Access rights and collaborative ontology integration for reuse across security domains +
- Acquiring Generalized Domain-Range Restrictions +
- All Elephants are Bigger than All Mice +
- All Elephants are Bigger than All Mice +
- Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata +
- Alternating-Time Stream Logic for Multi-agent Systems +
- Answer-Set Programming Encodings for Argumentation Frameworks +
- Answer-Set Programming Encodings for Argumentation Frameworks +
- Answering conjunctive queries in the SHIQ description logic +
- Approximate OWL Instance Retrieval with Screech +
- Approximate OWL-Reasoning with SCREECH +
- Approximate OWL-Reasoning with Screech +
- Ausgezeichnete Informatikdissertationen 2007 +
- Automata Can Show PSPACE Results for Description Logics +
- Automata-Based Axiom Pinpointing +
- Automata-based Pinpointing for DLs +
- Award1011 +
- Award1012 +
- Award1013 +
- Awards in 2008 +
- Blocking and Pinpointing in Forest Tableaux +
- CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL +
- Cheap Boolean Role Constructors for Description Logics +
- Cheap Boolean Role Constructors for Description Logics +
- Checking Equivalence for Reo Networks +
- Complexity of Abduction in the EL Family of Lightweight Description Logics +
- Complexity of Subsumption in the EL Family of Description Logics: Acyclic and Cyclic TBoxes +
- Connectionist Model Generation: A First-Order Approach +
- Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL^+ +
- Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog +
- Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog +
- Description Logic Rules +
- Descriptional complexity of multi-parallel grammars +
- Die zwei Kulturen +
- ELP: Tractable Rules for OWL 2 +
- ELP: Tractable Rules for OWL 2 +
- Efficient Feature Parameterisation for Visual SLAM Using Inverse Depth Bundles +
- Empirical evaluation of reasoning in lightweight DLs on life science ontologies +
- Explaining User Errors in Description Logic Knowledge Base Completion +
- Explaining User Errors in Knowledge Base Completion +
- Exploring finite models in the Description Logic EL_gfp +
- Expressive Tractable Description Logics based on SROIQ Rules +
- Extracting Reduced Logic Programs from Artificial Neural Networks +
- Formal Properties of Modularisation +
- Formal Verification for Components and Connectors +
