Constraint Logic Programming over Unranked Terms and Hedges with Description Operators
Project Lead
Project Duration
01/04/2012 - 31/03/2015Publications
2016
[Dundua]
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]@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}
}
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}
}
[Schreiner]
Predicting Space Requirements for a Stream Monitor Specification Language
David M. Cerna and Wolfgang Schreiner, Temur Kutsia
In: Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez (ed.), pp. 135-151. 2016. 978-3-319-46981-2. [doi]@inproceedings{RISC5739,
author = {David M. Cerna and Wolfgang Schreiner and Temur Kutsia},
title = {{Predicting Space Requirements for a Stream Monitor Specification Language}},
booktitle = {{Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings}},
language = {english},
pages = {135--151},
isbn_issn = {978-3-319-46981-2},
year = {2016},
editor = {Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez},
refereed = {yes},
length = {17},
url = {https://doi.org/10.1007/978-3-319-46982-9_9}
}
author = {David M. Cerna and Wolfgang Schreiner and Temur Kutsia},
title = {{Predicting Space Requirements for a Stream Monitor Specification Language}},
booktitle = {{Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings}},
language = {english},
pages = {135--151},
isbn_issn = {978-3-319-46981-2},
year = {2016},
editor = {Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez},
refereed = {yes},
length = {17},
url = {https://doi.org/10.1007/978-3-319-46982-9_9}
}
2015
[Kutsia]
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]@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}
}
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
[Baumgartner]
Unranked Second-Order Anti-Unification
Alexander Baumgartner, Temur Kutsia
RISC, JKU Linz. Technical report no. 14-05, March 2014. [pdf]@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}
}
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}
}
[Dundua]
Constraint Logic Programming for Hedges: A Semantic Reconstruction
Besik Dundua, Mario Florido, Temur Kutsia, Mircea Marin
Technical report no. 14-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2014. [pdf]@techreport{RISC4962,
author = {Besik Dundua and Mario Florido and Temur Kutsia and Mircea Marin},
title = {{Constraint Logic Programming for Hedges: A Semantic Reconstruction}},
language = {english},
number = {14-02},
year = {2014},
sponsor = {FWF under the project P 24087-N18},
length = {21},
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)}
}
author = {Besik Dundua and Mario Florido and Temur Kutsia and Mircea Marin},
title = {{Constraint Logic Programming for Hedges: A Semantic Reconstruction}},
language = {english},
number = {14-02},
year = {2014},
sponsor = {FWF under the project P 24087-N18},
length = {21},
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)}
}
[Dundua]
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]@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}
}
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}
}
[Kutsia]
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. [doi]@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}
}
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}
}
[Kutsia]
Proceedings of the 28th International Workshop on Unification, UNIF 2014
Temur Kutsia, Christophe Ringeissen
Technical report no. 14-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2014. [url] [pdf]@techreport{RISC5001,
author = {Temur Kutsia and Christophe Ringeissen},
title = {{Proceedings of the 28th International Workshop on Unification, UNIF 2014}},
language = {english},
number = {14-06},
year = {2014},
length = {0},
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)}
}
author = {Temur Kutsia and Christophe Ringeissen},
title = {{Proceedings of the 28th International Workshop on Unification, UNIF 2014}},
language = {english},
number = {14-06},
year = {2014},
length = {0},
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)}
}
[Kutsia]
Sixth International Symposium on Symbolic Computation in Software Science, SCSS 2014. Short Papers
Temur Kutsia, Andrei Voronkov (eds.)
Technical report no. 14-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2014. [url] [pdf]@techreport{RISC5078,
author = {Temur Kutsia and Andrei Voronkov (eds.)},
title = {{Sixth International Symposium on Symbolic Computation in Software Science, SCSS 2014. Short Papers}},
language = {english},
number = {14-11},
year = {2014},
length = {46},
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)}
}
author = {Temur Kutsia and Andrei Voronkov (eds.)},
title = {{Sixth International Symposium on Symbolic Computation in Software Science, SCSS 2014. Short Papers}},
language = {english},
number = {14-11},
year = {2014},
length = {46},
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)}
}
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]@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}
}
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]@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/}
}
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/}
}
[Dundua]
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]@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/}
}
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/}
}
[Kovacs]
Proceedings of the Fifth International Symposium on Symbolic Computation in Software Science, SCSS 2013
Laura Kovacs, Temur Kutsia (ed.)
Technical report no. 13-06 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2013. [pdf]@techreport{RISC4737,
author = {Laura Kovacs and Temur Kutsia (ed.)},
title = {{Proceedings of the Fifth International Symposium on Symbolic Computation in Software Science, SCSS 2013}},
language = {english},
number = {13-06},
year = {2013},
length = {137},
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)}
}
author = {Laura Kovacs and Temur Kutsia (ed.)},
title = {{Proceedings of the Fifth International Symposium on Symbolic Computation in Software Science, SCSS 2013}},
language = {english},
number = {13-06},
year = {2013},
length = {137},
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)}
}
2012
[Dundua]
A Dynamic Pattern Calculus with Hedge Variables
Sandra Alves, Besik Dundua, Mario Florido, Temur Kutsia
Technical report no. 12-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2012. [pdf]@techreport{RISC4680,
author = {Sandra Alves and Besik Dundua and Mario Florido and Temur Kutsia},
title = {{A Dynamic Pattern Calculus with Hedge Variables}},
language = {english},
number = {12-20},
year = {2012},
length = {26},
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)}
}
author = {Sandra Alves and Besik Dundua and Mario Florido and Temur Kutsia},
title = {{A Dynamic Pattern Calculus with Hedge Variables}},
language = {english},
number = {12-20},
year = {2012},
length = {26},
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)}
}
[Marin]
Solving, Reasoning, and Programming in Common Logic
Temur Kutsia, Mircea Marin
Technical report no. 12-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2012. [pdf]@techreport{RISC4604,
author = {Temur Kutsia and Mircea Marin},
title = {{Solving, Reasoning, and Programming in Common Logic}},
language = {english},
number = {12-15},
year = {2012},
length = {18},
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)}
}
author = {Temur Kutsia and Mircea Marin},
title = {{Solving, Reasoning, and Programming in Common Logic}},
language = {english},
number = {12-15},
year = {2012},
length = {18},
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)}
}
[Marin]
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]@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}
}
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}
}
[Marin]
Regular Expression Order-Sorted Unification and Matching
Temur Kutsia, Mircea Marin
Technical report no. 12-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). 2012. [pdf]@techreport{RISC4685,
author = {Temur Kutsia and Mircea Marin},
title = {{Regular Expression Order-Sorted Unification and Matching}},
language = {english},
number = {12-14},
year = {2012},
length = {46},
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)}
}
author = {Temur Kutsia and Mircea Marin},
title = {{Regular Expression Order-Sorted Unification and Matching}},
language = {english},
number = {12-14},
year = {2012},
length = {46},
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)}
}
