Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)
• For­mal­iz­ing Pos­si­bly In­fi­nite Trees of Finite De­gree  + (Lukas)