Query processing and optimization

von Nutt, Werner
Veröffentlicht in Fundamentals of data warehouses (2000)

Unification in monoidal theories is solving linear equations over semirings

von Nutt, Werner
Veröffentlicht 1992

˜Theœ unification hierarchy is undecidable

von Nutt, Werner
Veröffentlicht 1989

Subsumption algorithms for concept languages

von Hollunder, Bernhard
Veröffentlicht 1990

Adding homomorphisms to commutative/monoidal theories or : how algebra can help in equational unification

von Baader, Franz
Veröffentlicht 1990

Supsumption algorithms for concept languages

von Hollunder, Bernhard
Veröffentlicht 1990

On abduction and answer generation through constrained resolution

von Bürckert, Hans-Jürgen
Veröffentlicht 1992

On abduction and answer generation through constrained resolution

von Bürckert, Hans-Jürgen
Veröffentlicht 1992

On abduction and answer generation through constrained resolution

von Bürckert, Hans-Jürgen
Veröffentlicht 1992

Constructive problem solving: a model construction approach towards configuration

von Buchheit, Martin
Veröffentlicht 1995

The unification hierarchy is undecidable

von Nutt, Werner
Veröffentlicht 1989

A BERT-Based Model for Question Answering on Construction Incident Reports

von Mohamed Hassan, Hebatallah A.
Veröffentlicht in NLDB (27. : 2022 : Valencia; Online) Natural language processing and information systems (2022)

UNIV '89 : extended abstracts of the Third International Workshop on Unification, 1989, [Lambrecht, FR Germany, Monday, June 26th - Wednesday, 28th 1989]

Veröffentlicht 1989

Managing and consuming completeness information for RDF data sources

von Darari, Fariz
Veröffentlicht 2017

Basic narrowing revisited

von Nutt, Werner
Veröffentlicht 1987

Modeling epistemic propositions : Workshop during the 17th German Conference on Artificial Intelligence (KI'93), Humboldt University, Berlin, September 13-14, 1993

Veröffentlicht 1993

Order-sorted equational computation

Veröffentlicht 1987