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 Note on Unification Type Zero + (1988)
- Unification in Commutative Idempotent Monoids + (1988)
- Veröffentlichungen in 1988 + (1988)
- Unifikation und Reduktionssysteme für Halbgruppenvarietäten + (1989)
- Characterizations of Unification Type Zero + (1989)
- Unification in Commutative Theories + (1989)
- Unification Properties of Commutative Theories: A Categorical Treatment + (1989)
- Veröffentlichungen in 1989 + (1989)
- Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353) + (1989)
- Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems + (1990)
- Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases + (1990)
- Terminological Knowledge Representation: A Proposal for a Terminological Logic + (1990)
- 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)
- General A- and AX-Unification via Optimized Combination Procedures + (1992)
- LATPub37 + (1992)
- 6th Workshop on Unification + (1992)
- How to Prefer More Specific Defaults in Terminological Default Logic + (1992)
- Extensions of Concept Languages for a Mechanical Engineering Application + (1992)
