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 Resource–Oriented Deductive Approach towards Hierarchical Planning + (Kerstin)
- Parallel Variable Elimination on CNF Formulas + (Kilian)
- Joint Proceedings of the 1st Joint International Workshop on Semantic Sensor Networks and Terra Cognita (SSN-TC 2015) and the 4th International Workshop on Ordering and Reasoning (OrdRing 2015) + (Kostis)
- Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis + (Larry)
- A Data-Driven Graph Schema + (Larry)
- Efficient Dependency Analysis for Rule-Based Ontologies + (Larry)
- Efficient Dependency Analysis for Existential Rules + (Larry)
- Multi-Agent Opinion Pooling by Voting for Bins: Simulations and Characterization + (Lea)
- Towards Automated Configuration of Systems with Non-Functional Constraints + (Linda)
- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance + (Linda)
- Configuration of Inter-Process Communication with Probabilistic Model Checking + (Linda)
- Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination + (Lisa)
- Efficiently Handling Skew in Outer Joins on Distributed Systems + (Long)
- Robust and Efficient Large-large Table Outer Joins on Distributed Infrastructures + (Long)
- Runtime Characterisation of Triple Stores + (Long)
- QbDJ: A Novel Framework for Handling Skew in Parallel Join Processing on Distributed Memory + (Long)
- Efficient Parallel Dictionary Encoding for RDF Data + (Long)
- A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory + (Long)
- A Fully Parallel Framework for Fast Analyzing RDF Data + (Long)
- Robust and Skew-resistant Parallel Joins in Shared-nothing Systems + (Long)
- Investigating Distributed Approaches to Efficiently Extract Textual Evidences for Biomedical Ontologies + (Long)
- Design and Evaluation of Parallel Hashing over Large-scale Data + (Long)
- A Scalable Analysis Framework for Large-scale RDF Data + (Long)
- High Throughput Indexing for Large-scale Semantic Web Data + (Long)
- Efficient Skew Handling for Outer Joins in a Cloud Computing Environment + (Long)
- Fast Compression of Large Semantic Web Data using X10 + (Long)
- Scale-Out Processing of Large RDF Datasets + (Long)
- Efficient Large Outer Joins over MapReduce + (Long)
- Efficient Data Redistribution to Speedup Big Data Analytics in Large Systems + (Long)
- Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments + (Long)
- Non-monotonic Extensions to Formal Concept Analysis via Object Preferences + (Lucas)
- Ambiguity: What is it that needs representing and what needs resolving? + (Lucía)
- Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms + (Lucía)
- Dealing with Conceptual Indeterminacy: A Framework based on Supervaluation Semantics + (Lucía)
- How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic + (Lucía)
- Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract) + (Lucía)
- Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+ + (Lucía)
- Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities + (Lucía)
- Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information + (Lucía)
- Standpoint Logic: A Logic for Handling Semantic Variability, with Applications to Forestry Information + (Lucía)
- Standpoint Logic: Multi-Perspective Knowledge Representation + (Lucía)
- Talking about Forests: an Example of Sharing Information Expressed with Vague Terms + (Lucía)
- Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL + (Lucía)
- Linear weighted tree automata with storage and inverse linear tree homomorphisms + (Luisa)
- Weighted Automata with Storage + (Luisa)
- Weighted automata with storage + (Luisa)
- A Medvedev Characterization of Recognizable Tree Series + (Luisa)
- Weighted Symbolic Automata with Data Storage + (Luisa)
- A Chomsky-Schützenberger Theorem for Weighted Automata with Storage + (Luisa)
- Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures + (Luisa)
- Global One-Counter Tree Automata + (Luisa)
- Non-Global Parikh Tree Automata + (Luisa)
- Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules + (Lukas)
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies + (Lukas)
- Chase-Based Computation of Cores for Existential Rules + (Lukas)
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report) + (Lukas)
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report) + (Lukas)
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract) + (Lukas)
- Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report) + (Lukas)
- Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract) + (Lukas)
- EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization + (Lukas)
- Formalizing Possibly Infinite Trees of Finite Degree + (Lukas)
