Search by property
From International Center for Computational Logic
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
- Chase Termination Beyond Polynomial Time + (Hanisch)
- Line Drawing, Leap Years, and Euclid + (Harris)
- A Probabilistic Approach to Description of Molecular Biological Processes on DNA and Their Object Oriented Simulation + (Hatnik)
- Model Checking Performability Properties + (Haverkort)
- MoDDo - a tailored documentation system for model-driven software development + (Heinrich)
- A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository + (Heinrich)
- Convergence Classes and Spaces of Partial Functions + (Heinze)
- On the Complexity of Computing Generators of Closed Sets + (Hermann)
- Exact Learning of Multivalued Dependencies + (Hermo)
- Exact Learning of Multivalued Dependency Formulas + (Hermo)
- Reifying RDF: What Works Well With Wikidata? + (Hernández)
- Fuzzy Conceptual Knowledge Processing + (Herrmann)
- Linear weighted tree automata with storage and inverse linear tree homomorphisms + (Herrmann)
- Weighted Automata with Storage + (Herrmann)
- Weighted automata with storage + (Herrmann)
- A Medvedev Characterization of Recognizable Tree Series + (Herrmann)
- Weighted Symbolic Automata with Data Storage + (Herrmann)
- A Chomsky-Schützenberger Theorem for Weighted Automata with Storage + (Herrmann)
- Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures + (Herrmann)
- Global One-Counter Tree Automata + (Herrmann)
- Non-Global Parikh Tree Automata + (Herrmann)
- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance + (Herrmann)
- Configuration of Inter-Process Communication with Probabilistic Model Checking + (Herrmann)
- Reasoning about Actions Meets Strategic Logics + (Herzig)
- Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers + (Heule)
- Verbunddokumente: Objektmodelle und Implementierungen + (Hiltner)
- Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens + (Hiltner)
- Towards an in-vitro Implementation of a Universal Distributed Splicing Model for DNA Computation + (Hinze)
- An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification + (Hinze)
- Rechnen mit DNA - Eine Einführung in Theorie und Praxis + (Hinze)
- A Tableau Algorithm for the Clique Guarded Fragment + (Hirsch)
- A Tableau Algorithm for the Clique Guarded Fragment + (Hirsch)
- A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version + (Hirsch)
- A categorical view on algebraic lattices in formal concept analysis + (Hitzler)
- Semantic Web - Grundlagen + (Hitzler)
- Foundations of Semantic Web Technologies + (Hitzler)
- Integrated view and comparison of alignment semantics + (Hitzler)
- Report on realizing practical approximate and distributed reasoning for ontologies + (Hitzler)
- Querying formal contexts with answer set programs + (Hitzler)
- Approximate OWL Instance Retrieval with Screech + (Hitzler)
- What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts + (Hitzler)
- DLP isn't so bad after all + (Hitzler)
- Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007 + (Hitzler)
- 语义Web技术基础 + (Hitzler)
- Default reasoning over domains and concept hierarchies + (Hitzler)
- Towards a Systematic Account of Different Logic Programming Semantics + (Hitzler)
- A "Converse" of the Banach Contraction Mapping Theorem + (Hitzler)
- Formal Concept Analysis and Resolution in Algebraic Domains + (Hitzler)
- Towards Nonmonotonic Reasoning on Hierarchical Knowledge + (Hitzler)
- Semantic Operators and Fixed-Point Theory in Logic Programming + (Hitzler)
