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 "Converse" of the Banach Contraction Mapping Theorem +
- A Calculus of Order and Interaction +
- A Local System for Classical Logic +
- A Probabilistic Approach to Description of Molecular Biological Processes on DNA and Their Object Oriented Simulation +
- A Probability Theoretic Analysis of Score Systems +
- A Tableau Algorithm for the Clique Guarded Fragment +
- A Tableau Calculus for Temporal Description Logic: The Constant Domain Case +
- A1-Unification +
- Adding Numbers to the SHIQ Description Logic—First Results +
- An Overview of Tableau Algorithms for Description Logics +
- Approximation and Difference in Description Logics +
- Ausgezeichnete Informatikdisserationen 2000 +
- BCU Mathematics Contest 2001 — Problems and Solutions +
- Combining A1- and AC1-Unification Sharing Unit +
- Combining Constraint Solving +
- Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks +
- DNA-Computing - ein funktionales Modell im laborpraktischen Experiment +
- Description Logics and the Two-Variable Fragment +
- Different Approaches to the Semantics of Workflow +
- Distributed Splicing of RE with 6 Test Tubes +
- Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics +
- Formal Concept Analysis Methods for Dynamic Conceptual Graphs +
- Interval-based Temporal Reasoning with General TBoxes +
- KI 2001: Advances in Artificial Intelligence, Proceedings of the Joint German/Austrian Conference on AI (KI 2001) +
- Kontraktionssätze auf verallgemeinerten metrischen Räumen +
- Logik und Logikprogrammierung +
- Logik und Logikprogrammierung +
- MELL in the Calculus of Structures +
- Matching under Side Conditions in Description Logics +
- Matching under Side Conditions in Description Logics +
- Metric semantics for true concurrent real time +
- Modal Logic and the two-variable fragment +
- Modal Logics and the two-variable fragment +
- Model Checking with Formula-Dependent Abstract Models +
- NExpTime-complete Description Logics with Concrete Domains +
- Non-commutativity and MELL in the Calculus of Structures +
- On Efficient Decision Preserving Translations of Score Systems into Probabilistic Systems. +
- Ontology Reasoning in the SHOQ(D) Description Logic +
- Optimised Reasoning for SHIQ +
- PIT: A System for Reasoning with Probabilities. +
- PSPACE Reasoning for Graded Modal Logics +
- Properties of a Logical System in the Calculus of Structures +
- Robust mobile robot localisation from sparse and noisy proximity readings using Hough transform and probability grids +
- Semantic Operators and Fixed-Point Theory in Logic Programming +
- TBoxes do not yield a compact representation of least common subsumers +
- Tableaux for Temporal Description Logic with Constant Domain +
- The Complexity of Reasoning with Boolean Modal Logics +
- The Hybrid mu-Calculus +
- The Inverse Method Implements the Automata Approach for Modal Satisfiability +
- The Inverse Method Implements the Automata Approach for Modal Satisfiability +
