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 Concept Language for an engeneering application with part-whole relations +
- A Multi-Dimensional Terminological Knowledge Representation Language +
- A Multi-Dimensional Terminological Knowledge Representation Language +
- A Resource–Oriented Deductive Approach towards Hierarchical Planning +
- A Resource–Oriented Deductive Approach towards Hierarchical Planning +
- Assessment Supported by a Domain Ontology (DOM) +
- Combination Techniques and Decision Problems for Disunification +
- Combination of Constraint Solving Techniques: An Algebraic Point of View +
- Computing Change and Specificity with Equational Logic Programs +
- Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology +
- Constructible differentially finite algebraic series in several variables +
- DOM-ArC: An Active Decision Support System for Quality Assessment of Cases +
- DOM: An Active Assistance System for Architectural and Engineering Design +
- DOM: Domain Ontology Modelling for Architectural Engineering Design +
- Deduktives Planen +
- Development of Objective Functions for Soft Computing in Medical Applications +
- Embedding Defaults into Terminological Representation Systems +
- FABEL-IDEA 2, Intelligente Designunterstützung für Architekten, Version 2: Fallretrieval +
- Metric completion versus ideal completion +
- Objects, Specificity, Logic, and Change +
- On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers +
- Priorities on Defaults with Prerequisites, and their Application in Treating Specificity in Terminological Default Logic +
- Quality Assessment of Design Cases within the DOM Environment +
- Reasoning About Structured Objects: Knowledge Representation Meets Databases +
- Taschenbuch der Informatik +
- Termersetzungssysteme, Skript zur Vorlesung +
- Terminological Logics with Modal Operators +
- Veröffentlichungen in 1995 +
