W
Wolfram Büttner
Researcher at Siemens
Publications - 11
Citations - 241
Wolfram Büttner is an academic researcher from Siemens. The author has contributed to research in topics: Unification & Resolution (logic). The author has an hindex of 7, co-authored 11 publications receiving 237 citations.
Papers
More filters
Journal ArticleDOI
Embedding boolean expressions into logic programming
Wolfram Büttner,Helmut Simonis +1 more
TL;DR: This paper presents an algorithm to compute the most general unifier of boolean expressions, which is unique, if it exists, and first experiemes with an integration into a PROLOG system are shown.
Journal ArticleDOI
Unification in commutative idempotent monoids
Franz Baader,Wolfram Büttner +1 more
TL;DR: Embedding sets as a datastructure into resolution-based deduction requires a unification algorithm respecting associativity, commutativity and idempotence of the constructor function union, which is presented.
Journal ArticleDOI
Unification in datastructure multisets
TL;DR: This work improves upon earlier approaches by basing (pure) AC unification on a firm theoretical basis and presenting algorithms which fully exploit the properties of the underlying mathematical structure and the high degree of parallelism will become apparent.
Book ChapterDOI
Unification in Finite Algebras is Unitary (
TL;DR: A redefinition of unification is suggested, such that with respect to this view unification in finite algebras becomes unitary.