Alexander Baumgartner

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 7

Top Topics

Inductive Logic Programming

Anti Unification

Top Venues

J. Comput. Syst. Sci.

Publications

Pablo Barceló, Alexander Baumgartner, Victor Dalmau, Benny Kimelfeld
Regularizing conjunctive features for classification. J. Comput. Syst. Sci. 119 (2021)
Alexander Baumgartner, Daniele Nantes-Sobrinho
A, C, and AC Nominal Anti-Unification. UNIF (2020)
Pablo Barceló, Alexander Baumgartner, Victor Dalmau, Benny Kimelfeld
Regularizing Conjunctive Features for Classification. PODS (2019)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Term-Graph Anti-Unification. FSCD (2018)
Alexander Baumgartner, Temur Kutsia
Unranked second-order anti-unification. Inf. Comput. 255 (2017)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Higher-Order Pattern Anti-Unification in Linear Time. J. Autom. Reason. 58 (2) (2017)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Anti-Unification. RTA (2015)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
Nominal Anti-Unification. UNIF (2014)
Alexander Baumgartner, Temur Kutsia
A Library of Anti-unification Algorithms. JELIA (2014)
Alexander Baumgartner, Temur Kutsia
Unranked Second-Order Anti-Unification. WoLLIC (2014)
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret
A Variant of Higher-Order Anti-Unification. RTA (2013)
Alexander Baumgartner, Temur Kutsia
Unranked Anti-Unification with Hedge and Context Variables. UNIF@RTA/TLCA (2013)