Nutt, Werner 1956-
Werner Nutt
VIAF ID: 548151170870239090240 (Personal)
Permalink: http://viaf.org/viaf/548151170870239090240
Preferred Forms
- 100 1 _ ‡a Nutt, Werner ‡d 1956-
- 100 0 _ ‡a Werner Nutt
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Adding homomorphisms to commutative, monoidal theories, or: how algebra can help in equational unification | |
Basic Narrowing Revisited | |
Constructive problem solving: a model construction approach towards configuration | |
On abduction and answer generation through constrained resolution | |
A refined architecture for terminological systems terminology=schema + views | |
Subsumption algorithms for concept languages | |
Task acquisition with a description logic reasoner | |
Terminological knowledge representation a proposal for a terminological logic | |
Unification Hierarchy is Undecidable | |
Unification in monoidal theories is solving linear equations over semirings | |
Working notes of the KI'95 Workshop KRDB-95, Reasoning about structured objects |