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
- 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)
