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 Data Warehouse Conceptual Data Model for Multidimensional Aggregation +
- A Journey to the Frontiers of Query Rewritability +
- A Modified Supervaluationist Framework for Decision-Making +
- A Semantic Modeling Approach for Video Retrieval by Content +
- Acyclicity Conditions and their Application to Query Answering in Description Logics +
- Admissibility in Probabilistic Argumentation +
- Approximate Computation of Exact Association Rules +
- Big BiRD: A Large, Fine-Grained, Bigram Relatedness Dataset for Examining Semantic Composition +
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract) +
- Classifying Software Bug Reports Using Methods from Formal Concept Analysis +
- Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics +
- Conjunctive Queries for EL with Role Composition +
- Consistency Checking in Applications based on Fuzzy Rules +
- Constructible differentially finite algebraic series in several variables +
- Control of an Engineering-Structured Multilevel Discrete-Event System +
- Coprocessor 2.0 - A flexible CNF Simplifier +
- Declarative Strategies for Agents with Incomplete Knowledge +
- Defaults in Action: Non-monotonic Reasoning About States in Action Calculi +
- Detecting Synonymous Properties by Shared Data-driven Definitions +
- Discovering Implicational Knowledge in Wikidata +
- Efficient OWL Reasoning with Logic Programs - Evaluations +
- Efficient Parallel Dictionary Encoding for RDF Data +
- Exact Learning Description Logic Ontologies from Data Retrieval Examples +
- Experimental Evaluation of General Concept Inclusions Learned from Textual Data +
- Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics +
- Expressing Self-Referential Usage Policies for the Semantic Web +
- Expressiveness of guarded existential rule languages +
- Extending the Combined Approach Beyond Lightweight Description Logics +
- FCPlanner: A Planning Strategy for First-Order MDPs +
- Flag & Check: Data Access with Monadically Defined Queries +
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment +
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report) +
- Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics +
- Intensional Question Answering using ILP: What does an answer mean? +
- Learning Terminological Knowledge with High Confidence from Erroneous Data +
- Modal Logics with Composition on Finite Forests: Expressivity and Complexity +
- Modeling and Querying Video Data: A Hybrid Approach +
- On boolean combinations forming piecewise testable languages +
- On the Succinctness of Closure Operator Representations +
- Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract +
- Practical Reasoning with Nominals in the EL Family of Description Logics +
- RFuzzy---A Framework for Multi-adjoint Fuzzy Logic Programming +
- RFuzzy: An Expressive Simple Fuzzy Compiler +
- Representing and Reasoning on Conceptual Queries Over Image Databases +
- Reusing Ontological Background Knowledge in Semantic Wikis +
- Rushing and Strolling among Answer Sets - Navigation Made Easy +
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints +
- Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints +
- Say "No" to Grounding: An Inference Algorithm for First-Order MDPs +
- Semantic Wikipedia (ESWC2006 demo) +
