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 Categorical Characterization of Consistency Results +
- A Concept Language Extended with Different Kinds of Transitive Roles +
- A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages +
- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
- A New Method for Image Segmentation Based on Fuzzy Knowledge +
- Advances in Artificial Intelligence +
- An Abstract Machine for Reasoning about Situations, Actions, and Causality +
- Approximation der Funktion Tp normaler logischer Programme P durch 3-schichtige vorwärtsgerichtete Netze +
- Cardinality Restrictions on Concepts +
- Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning +
- Combination of Compatible Reduction Orderings that are Total on Ground Terms +
- Combination of Compatible Reduction Orderings that are Total on Ground Terms +
- Computing in Civil Engineering +
- Consistency Checking in Applications based on Fuzzy Rules +
- Constraint Equational Logic Programming and Resource-Based Partial Order Planning +
- DOM-ARCADE: Assistance services for construction, evaluation, and adaptation of design layouts +
- Denotational Linear Time Semantics and Sequential Composition +
- Description Logics with Symbolic Number Restrictions +
- Description Logics with Symbolic Number Restrictions +
- Die Beweisentwicklungsumgebung Omega-MKRP +
- Equational Logic and Theories of Action +
- Explicit and Implicit Indeterminism +
- FABEL +
- FABEL +
- Frontiers of Combining Systems +
- Fuzzy Conceptual Knowledge Processing +
- Generating Rational Models +
- Hybrid Knowledge Organization within an Object Framework +
- Hybride Wissensorganisation mittels Objektstrukturen +
- HyperMed: A Hypermedia System for Anatomical Education +
- KI-96: Abvances in Artificial Intelligence +
- KI-96: Lecture Notes in Artificial Intelligence +
- Knowledge Representation in Process Engineering +
- Knowledge Representation in Process Engineering +
- Knowledge Representation in a World with Vague Concepts +
- Linear Deductive Planning +
- Logik-basierte Wissensrepräsentation +
- Metric Completion versus Ideal Completion +
- Multi-Flip Networks: A Parallelization of Local SAT-Algorithms +
- Number Restrictions on Complex Roles in Description Logics +
- Number Restrictions on Complex Roles in Description Logics +
- On topological hierarchies of temporal properties +
- Optimisation Techniques for Combining Constraint Solvers +
- Parallele Lokale Suchverfahren +
- Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation +
- Properties vs. Resources: Solving Simple Frame Problems +
- Rational Models of Normal Logic Programs +
- Rational Models of Normal Logic Programs +
- Rekurrente Neuronale Netze zur Approximation der Semantik akzeptabler logischer Programme +
