Alexander Baumgartner

According to our database, Alexander Baumgartner authored at least 9 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Regularizing conjunctive features for classification.

Pablo Barceló, Alexander Baumgartner, Victor Dalmau, Benny Kimelfeld

J. Comput. Syst. Sci., 2021

2020

A, C, and AC Nominal Anti-Unification.

Alexander Baumgartner, Daniele Nantes-Sobrinho

Proceedings of the 34th International Workshop on Unification, 2020

2018

Term-Graph Anti-Unification.

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017

Higher-Order Pattern Anti-Unification in Linear Time.

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

J. Autom. Reason., 2017

Unranked second-order anti-unification.

Alexander Baumgartner, Temur Kutsia

Inf. Comput., 2017

2014

Nominal Anti-Unification.

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

Proceedings of the 28th International Workshop on Unification, 2014

A Library of Anti-unification Algorithms.

Alexander Baumgartner, Temur Kutsia

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

A Variant of Higher-Order Anti-Unification.

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

Unranked Anti-Unification with Hedge and Context Variables.

Alexander Baumgartner, Temur Kutsia

Proceedings of the 27th International Workshop on Unification, 2013