Search by property

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

• Publications in 2001  + (09:15:38, 24 March 2015)
• Publications in 2000  + (09:16:08, 24 March 2015)
• Publications in 1999  + (09:16:39, 24 March 2015)
• Publications in 1998  + (09:17:10, 24 March 2015)
• Publications in 1997  + (09:17:33, 24 March 2015)
• Publications in 1996  + (09:17:46, 24 March 2015)
• Publications in 1995  + (09:18:04, 24 March 2015)
• Publications in 1994  + (09:18:16, 24 March 2015)
• Publications in 1993  + (09:18:29, 24 March 2015)
• Publications in 1992  + (09:18:42, 24 March 2015)
• Publications in 1991  + (09:18:54, 24 March 2015)
• Publications in 1990  + (09:19:07, 24 March 2015)
• Publications in 1989  + (09:19:23, 24 March 2015)
• Publications in 1988  + (09:19:35, 24 March 2015)
• Publications in 1987  + (09:19:47, 24 March 2015)
• Publications in 1986  + (09:19:58, 24 March 2015)
• Publications in 1985  + (09:20:09, 24 March 2015)
• Foundations of Databases and Query Languages  + (17:33:12, 24 March 2015)
• Unifikation und Reduktionssysteme für Halbgruppenvarietäten  + (13:37:55, 25 March 2015)
• LATPub2  + (13:37:57, 25 March 2015)
• Unification in Commutative Idempotent Monoids  + (13:37:59, 25 March 2015)
• Unification in Varieties of Idempotent Semigroups  + (13:38:00, 25 March 2015)
• Characterizations of Unification Type Zero  + (13:38:02, 25 March 2015)
• Unification in Commutative Theories  + (13:38:04, 25 March 2015)
• The Theory of Idempotent Semigroups is of Unification Type Zero  + (13:38:05, 25 March 2015)

• A Note on Unification Type Zero  + (13:38:07, 25 March 2015)

• Unification Properties of Commutative Theories: A Categorical Treatment  + (13:38:08, 25 March 2015)
• Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems  + (13:38:10, 25 March 2015)
• Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases  + (13:38:12, 25 March 2015)
• Terminological Knowledge Representation: A Proposal for a Terminological Logic  + (13:38:13, 25 March 2015)
• KRIS: Knowledge Representation and Inference System, System Description  + (13:38:15, 25 March 2015)
• Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification  + (13:38:17, 25 March 2015)
• Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles  + (13:38:18, 25 March 2015)
• Concept Logic  + (13:38:20, 25 March 2015)
• A Formal Definition for Expressive Power of Knowledge Representation Languages  + (13:38:22, 25 March 2015)
• Terminological Cycles in KL-ONE-based Knowledge Representation Languages  + (13:38:23, 25 March 2015)
• Concept Logic  + (13:38:25, 25 March 2015)
• A Formal Definition for Expressive Power of Knowledge Representation Languages  + (13:38:27, 25 March 2015)
• Rewrite Systems for Varieties of Semigroups  + (13:38:28, 25 March 2015)
• Terminological Cycles in KL-ONE-based Knowledge Representation Languages  + (13:38:30, 25 March 2015)
• Qualifying Number Restrictions in Concept Languages  + (13:38:31, 25 March 2015)
• Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures  + (13:38:33, 25 March 2015)
• A Scheme for Integrating Concrete Domains into Concept Languages  + (13:38:35, 25 March 2015)
• Qualifying Number Restrictions in Concept Languages  + (13:38:36, 25 March 2015)
• On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations  + (13:38:38, 25 March 2015)
• General A- and AX-Unification via Optimized Combination Procedures  + (13:38:40, 25 March 2015)
• Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification  + (13:38:42, 25 March 2015)
• KRIS: Knowledge Representation and Inference System, System Description  + (13:38:43, 25 March 2015)
• A Terminological Knowledge Representation System with Complete Inference Algorithms  + (13:38:45, 25 March 2015)
• A Scheme for Integrating Concrete Domains into Concept Languages  + (13:38:47, 25 March 2015)
• Unification in Varieties of Completely Regular Semigroups  + (13:38:48, 25 March 2015)