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