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