Constraint Logic Programming over Unranked Terms and Hedges with Description Operators

Project Lead

Project Duration

01/04/2012 - 31/03/2015

Publications

2016

CLP(H): Constraint Logic Programming for Hedges

Besik Dundua, Mario Florido, Temur Kutsia, Mircea Marin

Theory and Practice of Logic Programming 16(2), pp. 141-162. 2016. ISSN 1471-0684. [url]
[bib]
@article{RISC5133,
author = {Besik Dundua and Mario Florido and Temur Kutsia and Mircea Marin},
title = {{CLP(H): Constraint Logic Programming for Hedges}},
language = {english},
journal = {Theory and Practice of Logic Programming},
volume = {16},
number = {2},
pages = {141--162},
isbn_issn = {ISSN 1471-0684},
year = {2016},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {22},
url = {http://arxiv.org/abs/1503.00336}
}

2015

Constructing Orthogonal Designs in Powers of Two: Groebner Bases Meet Equational Unification

Ilias Kotsireas, Temur Kutsia, Dimitris E. Simos

In: Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA'15, Maribel Fernandez (ed.), Leibniz International Proceedings in Informatics (LIPIcs) , pp. 241-256. 2015. Schloss Dagstuhl, ISSN 1868-8969. [pdf]
[bib]
@inproceedings{RISC5143,
author = {Ilias Kotsireas and Temur Kutsia and Dimitris E. Simos},
title = {{Constructing Orthogonal Designs in Powers of Two: Groebner Bases Meet Equational 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 = {241--256},
publisher = {Schloss Dagstuhl},
isbn_issn = {ISSN 1868-8969},
year = {2015},
editor = {Maribel Fernandez},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {16}
}

2014

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}
}

Constraint Logic Programming for Hedges: A Semantic Reconstruction

Besik Dundua, Mario Florido, Temur Kutsia, Mircea Marin

In: Proceedings of the Twelfth International Symposium on Functional and Logic Programming, FLOPS 2014, Michael Codish and Eijiro Sumii (ed.), LNCS 8475, pp. 285-301. 2014. Springer, ISBN 978-3-319-07150-3. [pdf]
[bib]
@inproceedings{RISC4964,
author = {Besik Dundua and Mario Florido and Temur Kutsia and Mircea Marin},
title = {{Constraint Logic Programming for Hedges: A Semantic Reconstruction}},
booktitle = {{Proceedings of the Twelfth International Symposium on Functional and Logic Programming, FLOPS 2014}},
language = {english},
series = {LNCS},
volume = {8475},
pages = {285--301},
publisher = {Springer},
isbn_issn = {ISBN 978-3-319-07150-3},
year = {2014},
editor = {Michael Codish and Eijiro Sumii},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {17}
}

Anti-Unification for Unranked Terms and Hedges

Temur Kutsia, Jordi Levy, Mateu Villaret

Journal of Automated Reasoning 52(2), pp. 155-190. 2014. ISSN 0168-7433. [url]
[bib]
@article{RISC4713,
author = {Temur Kutsia and Jordi Levy and Mateu Villaret},
title = {{Anti-Unification for Unranked Terms and Hedges}},
language = {english},
journal = { Journal of Automated Reasoning},
volume = {52},
number = {2},
pages = {155--190},
isbn_issn = {ISSN 0168-7433},
year = {2014},
refereed = {yes},
sponsor = {Austrian Science Fund (FWF) under the project SToUT (P 24087-N18)},
length = {36},
url = {http://dx.doi.org/10.1007/s10817-013-9285-6}
}

2013

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}
}

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/}
}

A Confluent Pattern Calculus with Hedge Variables

Sandra Alves, Besik Dundua, Mario Florido, Temur Kutsia

In: Proceedings of the 2nd International Workshop on Confluence, IWC 2013, Nao Hirokawa, Vincent van Oostrom (ed.), pp. 41-45. 2013. [url]
[bib]
@inproceedings{RISC4743,
author = {Sandra Alves and Besik Dundua and Mario Florido and Temur Kutsia},
title = {{A Confluent Pattern Calculus with Hedge Variables}},
booktitle = {{Proceedings of the 2nd International Workshop on Confluence, IWC 2013}},
language = {english},
pages = {41--45},
isbn_issn = { },
year = {2013},
editor = {Nao Hirokawa and Vincent van Oostrom},
refereed = {yes},
length = {5},
url = {http://www.jaist.ac.jp/~hirokawa/iwc2013/}
}

2012

Solving, Reasoning, and Programming in Common Logic

Temur Kutsia, Mircea Marin

In: Proc. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Andrei Voronkov (ed.), pp. 119-126. 2012. IEEE Computer Society, ISBN 978-0-7695-4934-7. [pdf]
[bib]
@inproceedings{RISC4682,
author = {Temur Kutsia and Mircea Marin},
title = {{Solving, Reasoning, and Programming in Common Logic}},
booktitle = {{Proc. 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012}},
language = {english},
pages = {119--126},
publisher = {IEEE Computer Society},
isbn_issn = {ISBN 978-0-7695-4934-7},
year = {2012},
editor = {Andrei Voronkov},
refereed = {yes},
sponsor = {FWF under the project P 24087-N18},
length = {8}
}

Loading…