Dr. Alexander Baumgartner

Research Area

Symbolic Computation Techniques for Unranked Terms (SToUT project)

Software

Unification and Anti-Unification Algorithm Library

This library contains unification, matching, and anti-unification algorithms in various theories developed at RISC. Unification with sequence variables. Context sequence matching. Rigid anti-unification for unranked terms and hedges and its experimental extension with commutative symbols. Unranked second-order anti-unification and its ...

Authors: Teimuraz Kutsia, Alexander Baumgartner, David Cerna

More Software Website

Publications

2018

[Baumgartner]

Term-Graph Anti-Unification

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

Technical report no. 18-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2018. [pdf]

[bib]

@techreport{RISC5549,
author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{Term-Graph Anti-Unification}},
language = {english},
number = {18-02},
year = {2018},
length = {19},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Baumgartner]

Term-Graph Anti-Unification

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

In: 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Helene Kirchner (ed.), Leibniz International Proceedings in Informatics (LIPIcs) 108, pp. 9:1-9:17. 2018. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, ISBN 978-3-95977-077-4 ISSN 1868-8969. [url]

[bib]

@inproceedings{RISC5764,
author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{Term-Graph Anti-Unification}},
booktitle = {{3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)}},
language = {english},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {108},
pages = {9:1--9:17},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
isbn_issn = {ISBN 978-3-95977-077-4 ISSN 1868-8969},
year = {2018},
editor = {Helene Kirchner},
refereed = {yes},
length = {17},
url = {http://drops.dagstuhl.de/opus/volltexte/2018/9179}
}

2017

[Baumgartner]

Unranked Second-Order Anti-Unification

Alexander Baumgartner, Temur Kutsia

Information and Computation 255(2), pp. 262-286. 2017. ISSN: 0890-5401. [doi]

[bib]

@article{RISC5192,
author = {Alexander Baumgartner and Temur Kutsia},
title = {{Unranked Second-Order Anti-Unification}},
language = {english},
journal = {Information and Computation},
volume = {255},
number = {2},
pages = {262--286},
isbn_issn = {ISSN: 0890-5401},
year = {2017},
refereed = {yes},
length = {25},
url = {http://doi.org/10.1016/j.ic.2017.01.005}
}

[Baumgartner]

Higher-Order Pattern Anti-Unification in Linear Time

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

Journal of Automated Reasoning 58(2), pp. 293-310. 2017. ISSN 0168-7433. [doi]

[bib]

@article{RISC5337,
author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{Higher-Order Pattern Anti-Unification in Linear Time}},
language = {english},
journal = { Journal of Automated Reasoning},
volume = {58},
number = {2},
pages = {293--310},
isbn_issn = {ISSN 0168-7433},
year = {2017},
refereed = {yes},
length = {18},
url = {http://dx.doi.org/10.1007/s10817-016-9383-3}
}

2015

[Baumgartner]

Nominal Anti-Unification

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

RISC. Technical report no. 15-03, April 2015. [pdf]

[bib]

@techreport{RISC5145,
author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{Nominal Anti-Unification}},
language = {english},
number = {15-03},
year = {2015},
month = {April},
institution = {RISC},
length = {28}
}

[Baumgartner]

Nominal Anti-Unification

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

In: Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA'15, Maribel Fernandez (ed.), Leibniz International Proceedings in Informatics (LIPIcs) , pp. 57-73. 2015. ISSN 1868-8969. [pdf]

[bib]

@inproceedings{RISC5149,
author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{Nominal Anti-Unification}},
booktitle = {{Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA'15}},
language = {english},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
pages = {57--73},
isbn_issn = {ISSN 1868-8969},
year = {2015},
editor = {Maribel Fernandez},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {17}
}

[Baumgartner]

Anti-Unification Algorithms: Design, Analysis, and Implementation

Alexander Baumgartner

RISC, JKU Linz. PhD Thesis. September 2015. [pdf]

[bib]

@phdthesis{RISC5180,
author = {Alexander Baumgartner},
title = {{Anti-Unification Algorithms: Design, Analysis, and Implementation}},
language = {english},
year = {2015},
month = {September},
translation = {0},
school = {RISC, JKU Linz},
length = {169}
}

2014

[Baumgartner]

Unranked Second-Order Anti-Unification

Alexander Baumgartner, Temur Kutsia

RISC, JKU Linz. Technical report no. 14-05, March 2014. [pdf]

[bib]

@techreport{RISC4966,
author = {Alexander Baumgartner and Temur Kutsia},
title = {{Unranked Second-Order Anti-Unification}},
language = {english},
number = {14-05},
year = {2014},
month = {March},
institution = {RISC, JKU Linz},
length = {40}
}

[Baumgartner]

Unranked Second-Order Anti-Unification

Alexander Baumgartner, Temur Kutsia

In: Proceedings of the 21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014 , Ulrich Kohlenbach (ed.), Lecture Notes in Computer Science 8652, pp. 66- 80. 2014. Springer, ISBN 978-3-662-44144-2. [pdf]

[bib]

@inproceedings{RISC5002,
author = {Alexander Baumgartner and Temur Kutsia},
title = {{Unranked Second-Order Anti-Unification}},
booktitle = {{Proceedings of the 21st Workshop on Logic, Language, Information and Computation, WoLLIC 2014 }},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {8652},
pages = {66-- 80},
publisher = {Springer},
isbn_issn = {ISBN 978-3-662-44144-2},
year = {2014},
editor = {Ulrich Kohlenbach},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {15}
}

[Baumgartner]

A Library of Anti-Unification Algorithms

Alexander Baumgartner, Temur Kutsia

Technical report no. 14-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). June 2014. [url] [pdf]

[bib]

@techreport{RISC5003,
author = {Alexander Baumgartner and Temur Kutsia},
title = {{A Library of Anti-Unification Algorithms}},
language = {english},
number = {14-07},
year = {2014},
month = {June},
length = {15},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}

[Baumgartner]

A library of anti-unification algorithms

Alexander Baumgartner, Temur Kutsia

In: Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, Eduardo Ferme and Joao Leite (ed.), Lecture Notes in Computer Science , pp. 543-557. 2014. Springer, ISBN 978-3-319-11557-3. [pdf]

[bib]

@inproceedings{RISC5026,
author = {Alexander Baumgartner and Temur Kutsia},
title = {{A library of anti-unification algorithms}},
booktitle = {{Proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014}},
language = {english},
series = {Lecture Notes in Computer Science},
pages = {543--557},
publisher = {Springer},
isbn_issn = {ISBN 978-3-319-11557-3},
year = {2014},
editor = {Eduardo Ferme and Joao Leite},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {15}
}

[Baumgartner]

Nominal anti-unification

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

In: Proceedings of the 28th International Workshop on Unification, UNIF 2014, Temur Kutsia, Christophe Ringeissen (ed.), pp. 62-68. 2014. [pdf]

[bib]

@inproceedings{RISC5028,
author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{Nominal anti-unification}},
booktitle = {{Proceedings of the 28th International Workshop on Unification, UNIF 2014}},
language = {english},
pages = {62--68},
isbn_issn = { },
year = {2014},
editor = {Temur Kutsia and Christophe Ringeissen},
refereed = {yes},
length = {7}
}

2013

[Baumgartner]

A Variant of Higher-Order Anti-Unification

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

In: Proceedings of the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, Femke van Raamsdonk (ed.), Leibniz International Proceedings in Informatics 21, pp. 113-127. 2013. ISBN 978-3-939897-53-8, ISSN 1868-8969. [url]

[bib]

@inproceedings{RISC4739,
author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{A Variant of Higher-Order Anti-Unification}},
booktitle = {{Proceedings of the 24th International Conference on Rewriting Techniques and Applications, RTA 2013}},
language = {english},
series = {Leibniz International Proceedings in Informatics},
volume = {21},
pages = {113--127},
isbn_issn = {ISBN 978-3-939897-53-8, ISSN 1868-8969},
year = {2013},
editor = {Femke van Raamsdonk},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {15},
url = {http://drops.dagstuhl.de/opus/volltexte/2013/4057/pdf/10.pdf}
}

[Baumgartner]

Unranked Anti-Unification with Hedge and Context Variables

Alexander Baumgartner, Temur Kutsia

In: Proceedings of the 27th International Workshop on Unification, UNIF 2013, Barbara Morawska, Konstantin Korovin (ed.), pp. 13-21. 2013. [url]

[bib]

@inproceedings{RISC4742,
author = {Alexander Baumgartner and Temur Kutsia},
title = {{Unranked Anti-Unification with Hedge and Context Variables}},
booktitle = {{Proceedings of the 27th International Workshop on Unification, UNIF 2013}},
language = {english},
pages = {13--21},
isbn_issn = { },
year = {2013},
editor = {Barbara Morawska and Konstantin Korovin},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {8},
url = {http://lat.inf.tu-dresden.de/UNIF2013/}
}

2012

[Baumgartner]

A Variant of Higher-Order Anti-Unification

Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret

Technical report no. 12-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2012. [pdf]

[bib]

@techreport{RISC4675,
author = {Alexander Baumgartner and Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{A Variant of Higher-Order Anti-Unification}},
language = {english},
number = {12-19},
year = {2012},
length = {27},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}