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
- KRIS: Knowledge Representation and Inference System, System Description + (1990)
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification + (1990)
- Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles + (1990)
- Concept Logic + (1990)
- A Formal Definition for Expressive Power of Knowledge Representation Languages + (1990)
- Terminological Cycles in KL-ONE-based Knowledge Representation Languages + (1990)
- Concept Logic + (1990)
- A Formal Definition for Expressive Power of Knowledge Representation Languages + (1990)
- Rewrite Systems for Varieties of Semigroups + (1990)
- Terminological Cycles in KL-ONE-based Knowledge Representation Languages + (1990)
- Veröffentlichungen in 1990 + (1990)
- Qualifying Number Restrictions in Concept Languages + (1991)
- Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures + (1991)
- A Scheme for Integrating Concrete Domains into Concept Languages + (1991)
- Qualifying Number Restrictions in Concept Languages + (1991)
- On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations + (1991)
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification + (1991)
- KRIS: Knowledge Representation and Inference System, System Description + (1991)
- A Terminological Knowledge Representation System with Complete Inference Algorithms + (1991)
- A Scheme for Integrating Concrete Domains into Concept Languages + (1991)
- Unification in Varieties of Completely Regular Semigroups + (1991)
- Unification Theory + (1991)
- Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems + (1991)
- Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles + (1991)
- Veröffentlichungen in 1991 + (1991)
- The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP + (1991)
- 6th Workshop on Unification + (1992)
- An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on + (1992)
- Embedding Defaults into Terminological Representation Systems + (1992)
- Extensions of Concept Languages for a Mechanical Engineering Application + (1992)
- General A- and AX-Unification via Optimized Combination Procedures + (1992)
- General A- and AX-Unification via Optimized Combination Procedures + (1992)
- How to Prefer More Specific Defaults in Terminological Default Logic + (1992)
- LATPub37 + (1992)
- Terminologische Logiken + (1992)
- Unification Theory + (1992)
- Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures + (1992)
- Veröffentlichungen in 1992 + (1992)
- Extensions of Concept Languages for a Mechanical Engineering Application + (1993)
- A Multi-Dimensional Terminological Knowledge Representation Language + (1993)
- A Multi-Dimensional Terminological Knowledge Representation Language + (1993)
- Cardinality Restrictions on Concepts + (1993)
- Embedding Defaults into Terminological Representation Systems + (1993)
- A Semantics for Open Normal Defaults via a Modified Preferential Approach + (1993)
- Combination Techniques and Decision Problems for Disunification + (1993)
- An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on + (1993)
- Combination Techniques and Decision Problems for Disunification + (1993)
- A Semantics for Open Normal Defaults via a Modified Preferential Approach + (1993)
- How to Prefer More Specific Defaults in Terminological Default Logic + (1993)
- On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations + (1993)
- Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases + (1993)
- Proceedings of the Sixth International Workshop on Unification, Schloß Dagstuhl, July 29–31, 1992 + (1993)
- Veröffentlichungen in 1993 + (1993)
- Disjunction in Resource-Oriented Deductive Planning + (1993)
- Architekturkonzept für FABEL + (1993)
- Anforderungen an die FABEL-Sprache + (1993)
- Fallverwaltung in heterogenen Fallwissensbasen + (1993)
