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
- Concept Lattice Orbifolds -- First Steps + (Bernhard)
- Formal Concept Analysis + (Bernhard)
- Explaining Data with Formal Concept Analysis + (Bernhard)
- Hypothesis Finding with Proof Theoretical Appropriateness Criteria + (Bertram)
- 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002 + (Bertram)
- A Probability Theoretic Analysis of Score Systems + (Bertram)
- Minimised Residue Hypotheses in Relevant Logic + (Bertram)
- Conjunctive Query Entailment: Decidable in Spite of O, I, and Q + (Birte)
- Status QIO: Conjunctive Query Entailment is Decidable + (Birte)
- Integrated Metamodeling and Diagnosis in OWL 2 + (Birte)
- Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend! + (Birte)
- Integrated Metamodeling and Diagnosis in OWL 2 + (Birte)
- OWL: Yet to arrive on the Web of Data? + (Birte)
- SPARQL Beyond Subgraph Matching + (Birte)
- Answering conjunctive queries in the SHIQ description logic + (Birte)
- Answering conjunctive queries in the SHIQ description logic + (Birte)
- Replacing SEP-Triplets in SNOMED CT using Tractable Description Logic Operators + (Boontawee)
- A Modularization-based Approach to Finding All Justifications for OWL DL Entailments + (Boontawee)
- Empirical evaluation of reasoning in lightweight DLs on life science ontologies + (Boontawee)
- Module Extraction and Incremental Classification: A Pragmatic Approach for EL^+ Ontologies + (Boontawee)
- Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies + (Boontawee)
- CEX and MEX: Logical Diff and Semantic Module Extraction in a Fragment of OWL + (Boris)
- Formal Properties of Modularisation + (Boris)
- Semantic Modularity and Module Extraction in Description Logics + (Boris)
- Logical Difference and Module Extraction with CEX and MEX + (Boris)
- A Model for Learning Description Logic Ontologies Based on Exact Learning + (Boris)
- Exact Learning of Lightweight Description Logic Ontologies + (Boris)
- Exact Learning Description Logic Ontologies from Data Retrieval Examples + (Boris)
- Exact Learning of Lightweight Description Logic Ontologies + (Boris)
- Model Checking Performability Properties + (Boudewijn R.)
- Defining Relations: a general incremental approach with spatial temporal case studies + (Brandon)
- Vagueness in Predicates and Objects + (Brandon)
- A Database Approach for Modeling and Querying Video Data + (C.)
- A Generic Model for Video Content Based Retrieval + (C.)
- A New Method for Image Segmentation Based on Fuzzy Knowledge + (C.)
- A Tableau Algorithm for the Clique Guarded Fragment + (C.)
- A Tableau Algorithm for the Clique Guarded Fragment + (C.)
- A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version + (C.)
- Concrete Domains and Nominals United. + (C.)
- Fuzzy Reasoning Techniques for the Management of Complex Information in Medicine + (C.)
- Knowledge Representation in a World with Vague Concepts + (C.)
- Medical Terminology Processing for a Tutoring System + (C.)
- Medizinische Aus- und Weiterbildung: Mit dem Computer lernen + (C.)
- Multimedia Technology in Medical Training + (C.)
- Propositional Dynamic Logic with Recursive Programs + (C.)
- Queries in Fuzzy Deductive Databases Using Medical Information + (C.)
- Fallverwaltung und Fallretrieval: Implementierungen und Tests + (C.-H.)
- A Description Logic for Vague Knowledge + (C.B.)
- A Description Logic for Vague Knowledge + (C.B.)
- Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks + (Calvin)
- Capturing Homomorphism-Closed Decidable Queries with Existential Rules + (Camille)
- The WHILE Hierarchy of Program Schemes is Infinite + (Can Adam)
- NExpTime-complete Description Logics with Concrete Domains + (Carsten)
- Reasoning Support for Ontology Design + (Carsten)
- Conservative Extensions in the Lightweight Description Logic EL + (Carsten)
- Conservative Extensions in Expressive Description Logics + (Carsten)
- The Complexity of Conjunctive Query Answering in Expressive Description Logics + (Carsten)
- Two Upper Bounds for Conjunctive Query Answering in SHIQ + (Carsten)
- Temporal Description Logics: A Survey + (Carsten)
- A Suggestion for an n-ary Description Logic + (Carsten)
- Complexity of Terminological Reasoning Revisited + (Carsten)
- Reasoning with Concrete Domains + (Carsten)
- Mary likes all Cats + (Carsten)
- The Complexity of Reasoning with Boolean Modal Logic + (Carsten)
